Revisions of metamath
Yuchen Lin (maxlin_factory)
accepted
request 996238
from
Yuchen Lin (maxlin_factory)
(revision 4)
Automatically create request by update submitter. This is going to update package to openSUSE:Backports:SLE-15-SP5 from openSUSE:Factory. Please review this change and decline it if Leap do not need it.
Yuchen Lin (maxlin_factory)
accepted
request 956015
from
Aaron Puchert (aaronpuchert)
(revision 2)
- Update to version 0.198.
* Put two spaces between $c,v on same line in /rewrap.
* Fix cosmetic bug in WRITE SOURCE ... /REWRAP that prevented end
of sentence (e.g. period) from appearing in column 79, thus
causing some lines to be shorter than necessary.
- Use tarballs from GitHub because they have versioned URLs.
- Drop data package. There are no (recent) releases and the files
are just taken verbatim from https://github.com/metamath/set.mm
anyway. Users will likely want to work on these in their home
directory anyway, since they're not libraries.
- Only suggest the book to install.
Wolfgang Engel (bigironman)
committed
(revision 1)
osc copypac from project:openSUSE:Backports:SLE-15-SP3 package:metamath revision:2
Displaying all 4 revisions
