-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2017-5daed69f7d 2017-08-31 21:08:10.038967 --------------------------------------------------------------------------------
Name : metamath Product : Fedora 26 Version : 0.149 Release : 1.fc26 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.148: - Many changes to set.mm - Add "Dummy variable x is distinct from all other variables." to proof web page - Hyperlink "Dummy variable(s)" Changes in version 0.149: - add a subsubsection "tiny" header with separator "-.-." to table of contents and theorem list; see HELP WRITE THEOREM_LIST - remove bug check 255 - change mmset.html links to ../mpeuni/mmset.html so they will work in NF Explorer etc. -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1482724 - metamath-0.148 is available https://bugzilla.redhat.com/show_bug.cgi?id=1482724 [ 2 ] Bug #1484389 - metamath-0.149 is available https://bugzilla.redhat.com/show_bug.cgi?id=1484389 --------------------------------------------------------------------------------
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
-
updates＠fedoraproject.org