Revisions of metamath
Wolfgang Engel (bigironman)
accepted
request 881183
from
Aaron Puchert (aaronpuchert)
(revision 2)
- Update to version 0.196.
Wolfgang Engel (bigironman)
committed
(revision 1)
osc copypac from project:openSUSE:Leap:15.2 package:metamath revision:1, using expand
Displaying all 2 revisions