FEDORA-2019-a77f593658

enhancement update in Fedora 29 for metamath

Status: stable 2 days ago

Changes in version 0.178:

  • eliminate redundant fopen in fSafeOpen
  • Added error check for >1 line section name or missing closing decoration line in getSectionHeadings()
  • Added /ALLOW_NEW_AXIOMS, renamed /ALLOW_GROWTH to /MAY_GROW
  • Added /NO_VERSIONING to WRITE THEOREM_LIST
  • Changed line of dashes between SHOW STATEMENT output from hardcoded 79 to current screenWidth
  • Update nf.mm to 3-Aug-2019 version
  • Update iset.mm to 11-Aug-2019 version
  • Update set.mm to 12-Aug-2019 version

Comments 7

This update has been submitted for testing by jjames.

This update's test gating status has been changed to 'waiting'.

This update's test gating status has been changed to 'ignored'.

This update has been pushed to testing.

This update can be pushed to stable now if the maintainer wishes

This update has been submitted for stable by bodhi.

This update has been pushed to stable.

Add Comment & Feedback

Please login to add feedback.

Content Type
RPM
Status
stable
Test Gating
Submitted by
Update Type
enhancement
Update Severity
unspecified
Karma
0
stable threshold: 3
unstable threshold: -3
Autopush (karma)
Enabled
Autopush (time)
Enabled
Dates
submitted 10 days ago
in testing 9 days ago
in stable 2 days ago

Automated Test Results