* Fri Dec 20 2019 Aaron Puchert <aaronpuchert@alice-dsl.net>
- 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 </TD>.
* 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 <aaronpuchert@alice-dsl.net>
- Update to version 0.178.
- Update book to version 20190602.
- Remove Windows executable from sources before building.
* Wed May 01 2019 aaronpuchert@alice-dsl.net
- Update to version 0.177.
- Update book to version 20190407.
- Use man page from upstream now.
* Thu Apr 04 2019 aaronpuchert@alice-dsl.net
- Change SPDX identifier to GPL-2.0-or-later, as README.TXT states.
* Tue Mar 19 2019 aaronpuchert@alice-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 aaronpuchert@alice-dsl.net
- Fix version number.
* Sat Mar 16 2019 Jan Engelhardt <jengelh@inai.de>
- Remove %if..%endif guards that do not change the build result.
- Itemize the list in the description.
* Sat Mar 16 2019 aaronpuchert@alice-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 aaronpuchert@alice-dsl.net
- Update to version 0.174.
- Package Metamath book separately.
* Tue Jan 08 2019 aaronpuchert@alice-dsl.net
- Update to version 0.171.
* Mon Aug 06 2018 aaronpuchert@alice-dsl.net
- Update to version 0.163.
- Recommend data package, make it noarch.
* Sun Feb 04 2018 aaronpuchert@alice-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 aaronpuchert@alice-dsl.net
- Update to version 0.161.
- Also build documentation.
- Package data base files separately.
* Tue Oct 24 2017 aaronpuchert@alice-dsl.net
- Update version to 0.155.
* Wed Jul 19 2017 aaronpuchert@alice-dsl.net
- Really update version to 0.146.
* Wed Jul 19 2017 aaronpuchert@alice-dsl.net
- Update version to 0.146.
* Sat Apr 15 2017 aaronpuchert@alice-dsl.net
- Update version to 0.139.
* Mon Oct 31 2016 aaronpuchert@alice-dsl.net
- Initial release of the package base on version 0.130.