Hello community, here is the log from the commit of package metamath for openSUSE:Factory checked in at 2019-12-24 14:29:54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/metamath (Old) and /work/SRC/openSUSE:Factory/.metamath.new.6675 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "metamath" Tue Dec 24 14:29:54 2019 rev:4 rq:759050 version:unknown Changes: -------- --- /work/SRC/openSUSE:Factory/metamath/metamath.changes 2019-09-30 15:58:02.717432772 +0200 +++ /work/SRC/openSUSE:Factory/.metamath.new.6675/metamath.changes 2019-12-24 14:29:58.490576087 +0100 @@ -1,0 +2,20 @@ +Fri Dec 20 22:31:33 UTC 2019 - Aaron Puchert <[email protected]> + +- 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". + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ metamath.spec ++++++ --- /var/tmp/diff_new_pack.TX6NeF/_old 2019-12-24 14:30:00.826577217 +0100 +++ /var/tmp/diff_new_pack.TX6NeF/_new 2019-12-24 14:30:00.826577217 +0100 @@ -1,7 +1,7 @@ # # spec file for package metamath # -# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany. +# Copyright (c) 2019 SUSE LLC # Copyright (c) 2016-2019 by Aaron Puchert # # All modifications and additions to the file contributed by third parties @@ -28,12 +28,12 @@ # Global definitions Name: metamath -Version: 0.178 +Version: 0.180 Release: 0 Summary: Formal proof verifier and proof assistant License: GPL-2.0-or-later Group: Productivity/Scientific/Math -Url: http://us.metamath.org/ +URL: http://us.metamath.org/ # Source links aren't stable. (They always points to the latest version.) # http://us.metamath.org/downloads/metamath.tar.bz2 Source0: %{name}.tar.bz2 ++++++ metamath.tar.bz2 ++++++ /work/SRC/openSUSE:Factory/metamath/metamath.tar.bz2 /work/SRC/openSUSE:Factory/.metamath.new.6675/metamath.tar.bz2 differ: char 11, line 1
