FEDORA-2019-a77f593658 created by jjames 5 months ago for Fedora 29
stable

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

How to install

sudo dnf upgrade --advisory=FEDORA-2019-a77f593658

This update has been submitted for testing by jjames.

5 months ago

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

5 months ago

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

5 months ago

This update has been pushed to testing.

5 months ago

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

5 months ago

This update has been submitted for stable by bodhi.

5 months ago

This update has been pushed to stable.

5 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
5 months ago
in testing
5 months ago
in stable
5 months ago

Automated Test Results