--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2019-7953fd86ee
2019-12-20 01:13:42.588444
--------------------------------------------------------------------------------
Name : metamath
Product : Fedora 30
Version : 0.180
Release : 1.fc30
URL :
http://us.metamath.org/
Summary : Construct mathematics from basic axioms
Description :
Metamath is a tiny language that can express theorems in abstract
mathematics, accompanied by proofs that can be verified by a computer
program. Metamath lets you see mathematics developed in complete detail
from first principles, with absolute rigor.
--------------------------------------------------------------------------------
Update Information:
Changes in version 0.180: - Update iset.mm to 8-Dec-2019 version - Update
set.mm to 1-Dec-2019 version - mmpars.c - fix "line 0" in error msg when label
clashes with math symbol - mmhlpa.c - improve TOOLS> HELP INSERT, DELETE -
mminou.c - change bug 1511 to error message - mmwtex.c - trigger Most Recent
link on mmtheorems.html when there is a mathbox statement (currently set.mm and
iset.mm). - mmhlpa.c - improve help for TOOLS> DELETE and SUBSTITUTE. - mmwtex.c
- change "htmlHome" in warnings to "htmlhome". Changes in version
0.179: -
metamath.c - MINIMIZE_WITH axiom trace now starts from current NEW_PROOF instead
of SAVEd proof. - metamath.c - make sure traceback flags are cleared after
MINIMIZE_WITH - mmhlpa.c - add url pointer to HELP WRITE SOURCE /SPLIT -
mmhlpa.c - clarify HELP WRITE SOURCE /REWRAP - mmdata.c - add bug check info for
user - mmcmds.c - use '|->' (not 'e.') as syntax hint for maps-to -
mmwtex.c -
remove extraneous </TD>.
--------------------------------------------------------------------------------
ChangeLog:
* Tue Dec 10 2019 Jerry James <loganjerry(a)gmail.com> - 0.180-1
- Version 0.180
* Sat Nov 30 2019 Jerry James <loganjerry(a)gmail.com> - 0.179-1
- Version 0.179
* Tue Aug 13 2019 Jerry James <loganjerry(a)gmail.com> - 0.178-1
- New upstream version
* Thu Jul 25 2019 Fedora Release Engineering <releng(a)fedoraproject.org> - 0.177-2
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Sun Apr 28 2019 Jerry James <loganjerry(a)gmail.com> - 0.177-1
- New upstream version
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2019-7953fd86ee' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------