Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
science
metamath
metamath.changes
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File metamath.changes of Package metamath
------------------------------------------------------------------- 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.
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor