--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2017-f86311a038
2017-05-30 15:08:36.564623
--------------------------------------------------------------------------------
Name : metamath
Product : Fedora 24
Version : 0.144
Release : 1.fc24
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.142: - added "#define DATE_BELOW_PROOF" in mmdata.h that
if uncommented, will enable use of the (soon-to-be obsolete) date below the
proof - fixed memory leaks and warnings found by valgrind. - added xxChanged
flags to statement structure so that any part of the source can be changed -
removed /CLEAN qualifier of WRITE SOURCE - automatically put "(Contributed by
?who?..." during SAVE NEW_PROOF or SAVE PROOF when it is missing - more VERIFY
MARKUP checking. Changes in version 0.143: - added SET CONTRIBUTOR - for
missing "(Contributed by..." use date below proof if it exists, otherwise use
today's date, in order to update old .mm files. - fix memory leaks in ERASE
Changes in version 0.144: - Add "(Revised by..." tag for conversion of legacy
.mm's if there is a 2nd date under the proof
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1450652 - metamath-0.143 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1450652
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade metamath' 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
--------------------------------------------------------------------------------