-------------------------------------------------------------------------------- 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 --------------------------------------------------------------------------------
package-announce@lists.fedoraproject.org