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.