FEDORA-2017-231eba5601 created by jjames 4 years ago for Fedora 25
stable

Changes in version 0.150:

  • fix hyperlink for Distinct variable etc. lists so that it will point to mmset.html on other Explorers like NF.
  • Move the "Dummy variables..." to print after the "Proof of Theorem..." line.

How to install

sudo dnf upgrade --advisory=FEDORA-2017-231eba5601

This update has been submitted for testing by jjames.

4 years ago

This update has been pushed to testing.

4 years ago

This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes

4 years ago

This update has been submitted for stable by jjames.

4 years ago

This update has been pushed to stable.

4 years ago

Please login to add feedback.

Metadata
Type
enhancement
Severity
low
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
4 years ago
in testing
4 years ago
in stable
4 years ago
BZ#1485749 metamath-0.150 is available
0
0

Automated Test Results