pool/metamath
SHA256
17
0
Fork 2
Code Issues Pull Requests Activity
Files
factory
metamath/metamath.changes

187 lines
7.4 KiB
Plaintext
Raw Permalink Blame History

-------------------------------------------------------------------
Sat Apr 30 12:04:31 UTC 2022 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- 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.
-------------------------------------------------------------------
Sat Jan 15 20:44:21 UTC 2022 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- 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.
-------------------------------------------------------------------
Wed Mar 3 22:52:42 UTC 2021 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- 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 "<HTML>".
* 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 "@1234".
* 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 <label-list> 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 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.
Reference in New Issue View Git Blame Copy Permalink