stable

metamath-0.149-1.fc25

FEDORA-2017-88ab7c23dd created by jjames 7 years ago for Fedora 25

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.

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2017-88ab7c23dd

This update has been submitted for testing by jjames.

7 years ago

This update has been pushed to testing.

7 years ago

jjames edited this update.

New build(s):

  • metamath-0.149-1.fc25

Removed build(s):

  • metamath-0.148-1.fc25

Karma has been reset.

7 years ago

This update has been submitted for testing by jjames.

7 years ago

This update has been pushed to testing.

7 years ago

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

7 years ago

This update has been submitted for stable by jjames.

7 years ago

This update has been pushed to stable.

7 years ago

Please log in to add feedback.

Metadata
Type
enhancement
Severity
low
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
7 years ago
in testing
7 years ago
in stable
7 years ago
modified
7 years ago
BZ#1482724 metamath-0.148 is available
0
0
BZ#1484389 metamath-0.149 is available
0
0

Automated Test Results