File metamath.changes of Package metamath

-------------------------------------------------------------------
Fri Dec 20 22:31:33 UTC 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 20:34:17 UTC 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  1 19:59:45 UTC 2019 - aaronpuchert@alice-dsl.net

- Update to version 0.177.
- Update book to version 20190407.
- Use man page from upstream now.

-------------------------------------------------------------------
Thu Apr  4 20:55:37 UTC 2019 - aaronpuchert@alice-dsl.net

- Change SPDX identifier to GPL-2.0-or-later, as README.TXT states.

-------------------------------------------------------------------
Tue Mar 19 23:32:32 UTC 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 18:08:59 UTC 2019 - aaronpuchert@alice-dsl.net

- Fix version number.

-------------------------------------------------------------------
Sat Mar 16 17:03:35 UTC 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 14:37:53 UTC 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  7 20:45:21 UTC 2019 - aaronpuchert@alice-dsl.net

- Update to version 0.174.
- Package Metamath book separately.

-------------------------------------------------------------------
Tue Jan  8 23:48:34 UTC 2019 - aaronpuchert@alice-dsl.net

- Update to version 0.171.

-------------------------------------------------------------------
Mon Aug  6 21:18:20 UTC 2018 - aaronpuchert@alice-dsl.net

- Update to version 0.163.
- Recommend data package, make it noarch.

-------------------------------------------------------------------
Sun Feb  4 22:58:39 UTC 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  4 19:20:30 UTC 2018 - aaronpuchert@alice-dsl.net

- Update to version 0.161.
- Also build documentation.
- Package data base files separately.

-------------------------------------------------------------------
Tue Oct 24 20:35:00 UTC 2017 - aaronpuchert@alice-dsl.net

- Update version to 0.155.

-------------------------------------------------------------------
Wed Jul 19 14:00:00 UTC 2017 - aaronpuchert@alice-dsl.net

- Really update version to 0.146.

-------------------------------------------------------------------
Wed Jul 19 13:55:00 UTC 2017 - aaronpuchert@alice-dsl.net

- Update version to 0.146.

-------------------------------------------------------------------
Sat Apr 15 11:45:00 UTC 2017 - aaronpuchert@alice-dsl.net

- Update version to 0.139.

-------------------------------------------------------------------
Mon Oct 31 23:27:00 UTC 2016 - aaronpuchert@alice-dsl.net

- Initial release of the package base on version 0.130.