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-data-0.196-bp153.2.1.noarch.rpm :

* Wed Mar 03 2021 Aaron Puchert - Update to version 0.196.
* Fix bug causing new axioms to be used by MINIMIZE_WITH.
* Add \"Claim\" to bib ref types.
* Remove error check for $e <- $f assignments.
* Check for discouragement tags in
*ALT,
*OLD labels in VERIFY MARKUP.
* Add underscore checking in VERIFY MARKUP and add /UNDERSCORE- _SKIP qualifier; also check for trailing space on lines.
* Refine prevention of WRITE SOURCE.../REWRAP from modifying comments containing \"\".
* Allow space in TOOLS> BREAK.
* Add checking for mathbox independence to VERIFY MARKUP; add /MATHBOX_SKIP.
* \"PROVE =\" will now resume the previous MM-PA session if there was one; allow \"~\" to start/end with blank (meaning first/last statement); add \"AATT1234\".
* Add /INCLUDE_MATHBOXES to to IMPROVE; notify user upon ASSIGN from another mathbox.
* Print message when IMPROVE or MINIMIZE_WITH uses another mathbox.
* Add CONJECTURE, RESULT to [bib] keywords.
* Add HELP BIBLIOGRAPHY.
* Added CONCLUSION FACT INTRODUCTION PARAGRAPH SCOLIA SCOLION SUBSECTION TABLE to [bib] keywords.
* Added WRITE SOURCE ... /EXTRACT ....
* Make the output of /EXTRACT stable in the sense that, with the same parameter, extract(extract(file)) = extract(file) except that the date stamp at the top will be updated. (The first extraction even if \"
*\" will usually be different because it discards non-relevant content. Note that the include file directives \"$( $[ Begin...\" etc. and comments with \"$j\" are currently discarded.)
* Add keyword \"htmlexturl\" to $t statement in .mm file.
* Prevent \"htmlexturl\" links from wrapping.
* Temporarily disable /REWRAP until bug fixed.
* Fix bug that deleted comments that were followed by ${, $}, $c, $v, $d on the same line.- Relax dependencies.
* 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