SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
.
* Fix \"line 0\" in error msg when label clashes with math symbol.
* Improve TOOLS> HELP INSERT, DELETE.
* Change bug 1511 to error message.
* Trigger Most Recent link on mmtheorems.html when there is a mathbox statement (currently set.mm and iset.mm).
* Improve help for TOOLS> DELETE and SUBSTITUTE.
* Change \"htmlHome\" in warnings to \"htmlhome\".
* Wed Sep 25 2019 Aaron Puchert - Update to version 0.178.- Update book to version 20190602.- Remove Windows executable from sources before building.
* Wed May 01 2019 aaronpuchertAATTalice-dsl.net- Update to version 0.177.- Update book to version 20190407.- Use man page from upstream now.
* Thu Apr 04 2019 aaronpuchertAATTalice-dsl.net- Change SPDX identifier to GPL-2.0-or-later, as README.TXT states.
* Tue Mar 19 2019 aaronpuchertAATTalice-dsl.net- Fix dependency versions - since the book has a different version, we need to be careful which version we refer to.
* Sat Mar 16 2019 aaronpuchertAATTalice-dsl.net- Fix version number.
* Sat Mar 16 2019 Jan Engelhardt - Remove %if..%endif guards that do not change the build result.- Itemize the list in the description.
* Sat Mar 16 2019 aaronpuchertAATTalice-dsl.net- Update to version 0.175.- Update Metamath book to version 20190307.- Use date as version number for Metamath book, because it isn\'t versioned alongside the program.- Move source links into comments, as they aren\'t stable. They always point to the latest version, which isn\'t compatible with download_files service runs.
* Thu Mar 07 2019 aaronpuchertAATTalice-dsl.net- Update to version 0.174.- Package Metamath book separately.
* Tue Jan 08 2019 aaronpuchertAATTalice-dsl.net- Update to version 0.171.
* Mon Aug 06 2018 aaronpuchertAATTalice-dsl.net- Update to version 0.163.- Recommend data package, make it noarch.
* Sun Feb 04 2018 aaronpuchertAATTalice-dsl.net- Add a brief manual page.- Do not build LaTeX docs on SLES, because TeXlive doesn\'t seem up to the task there.
* Sun Feb 04 2018 aaronpuchertAATTalice-dsl.net- Update to version 0.161.- Also build documentation.- Package data base files separately.
* Tue Oct 24 2017 aaronpuchertAATTalice-dsl.net- Update version to 0.155.
* Wed Jul 19 2017 aaronpuchertAATTalice-dsl.net- Really update version to 0.146.
* Wed Jul 19 2017 aaronpuchertAATTalice-dsl.net- Update version to 0.146.
* Sat Apr 15 2017 aaronpuchertAATTalice-dsl.net- Update version to 0.139.
* Mon Oct 31 2016 aaronpuchertAATTalice-dsl.net- Initial release of the package base on version 0.130.
Changelog for metamath-book-20190602-bp152.1.52.noarch.rpm :

* Fri Dec 20 2019 Aaron Puchert - Update to version 0.180.
* MINIMIZE_WITH axiom trace now starts from current NEW_PROOF instead of SAVEd proof.
* Make sure traceback flags are cleared after MINIMIZE_WITH.
* Add url pointer to HELP WRITE SOURCE /SPLIT.
* Clarify HELP WRITE SOURCE /REWRAP.
* Add bug check info for user.
* Use \'|->\' (not \'e.\') as syntax hint for maps-to.
* Remove extraneous
 
ICM