Menu

Version 1.4.2

Version 1.4.2 of Proof Assistant has been released! This version includes mainly bug fixes, which I will list here.

  • A number of problems with parsing have been fixed, including correct parsing of quantifiers and correct parsing of formulas with spaces (which were sometimes throwing bracket matching errors).
  • Pressing X to close the window now saves settings.
  • A bug where existential introduction would fail to recognise that a line matched has been fixed.
  • There was a bug with TeX code input in \sequent format, when there were no premises. This has now been fixed and works.
  • The TeX code output has been tweaked to hopefully accommodate larger font sizes.

A new feature added is that, upon opening a file, its premises and conclusion are copied to the New Proof dialogue.

Posted by Declan Thompson 2014-08-15

Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.