Revisions of metamath
Dominique Leuenberger (dimstar_suse)
accepted
request 974104
from
Aaron Puchert (aaronpuchert)
(revision 7)
- Disable build of metamath-book on Tumbleweed: it doesn't build with TeXlive 2022 because of what seems to be a bug in texlive-tabu. (gh#metamath/metamath-book#235) - Use symbolic dependencies for required TeX packages.
Dominique Leuenberger (dimstar_suse)
accepted
request 946709
from
Aaron Puchert (aaronpuchert)
(revision 6)
- 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.
Dominique Leuenberger (dimstar_suse)
accepted
request 876628
from
Aaron Puchert (aaronpuchert)
(revision 5)
- Update to version 0.196. - Relax dependencies.
Dominique Leuenberger (dimstar_suse)
accepted
request 759050
from
Aaron Puchert (aaronpuchert)
(revision 4)
- Update to version 0.180.
Dominique Leuenberger (dimstar_suse)
accepted
request 733250
from
Aaron Puchert (aaronpuchert)
(revision 3)
- Update to version 0.178. - Update book to version 20190602. - Remove Windows executable from sources before building.
Dominique Leuenberger (dimstar_suse)
accepted
request 711918
from
Aaron Puchert (aaronpuchert)
(revision 2)
- Update to version 0.177. - Update book to version 20190407. - Use man page from upstream now.
Dominique Leuenberger (dimstar_suse)
accepted
request 691613
from
Aaron Puchert (aaronpuchert)
(revision 1)
- Initial release of the package based on version 0.175. - Initial release of the Metamath book from 2019-03-07. - Use date as version number for Metamath book, because it isn't versioned alongside the program. - Add a brief manual page. - Change SPDX identifier to GPL-2.0-or-later, as README.TXT states.
Displaying all 7 revisions