Revisions of metamath

Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 974104 from Aaron Puchert's avatar 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's avatar Dominique Leuenberger (dimstar_suse) accepted request 946709 from Aaron Puchert's avatar 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's avatar Dominique Leuenberger (dimstar_suse) accepted request 876628 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 5)
- Update to version 0.196.
- Relax dependencies.
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 759050 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 4)
- Update to version 0.180.
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 733250 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 3)
- Update to version 0.178.
- Update book to version 20190602.
- Remove Windows executable from sources before building.
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 711918 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 2)
- Update to version 0.177.
- Update book to version 20190407.
- Use man page from upstream now.
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 691613 from Aaron Puchert's avatar 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
openSUSE Build Service is sponsored by