-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2016-5db25a3065 2016-09-04 17:38:08.663556 --------------------------------------------------------------------------------
Name : metamath Product : Fedora 25 Version : 0.134 Release : 1.fc25 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.134: - mmwtex.c: added breadcrumbs to theorem pages; - metamath.c, mmcmdl.c, mmhlpb.c, mminou.c,.h: added /TIME to SAVE PROOF, SHOW STATEMENT.../[ALT}HTML, MINIMIZE_WITH -------------------------------------------------------------------------------- References: [ 1 ] Bug #1370745 - metamath-0.134 is available https://bugzilla.redhat.com/show_bug.cgi?id=1370745 -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update metamath' at the command line. For more information, refer to "Managing Software with yum", available at https://docs.fedoraproject.org/yum/. 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 mailing list [email protected] https://lists.fedoraproject.org/admin/lists/[email protected]
