This NEWS file records important changes.

  Copyright (C) 2012, 2013 Ian Dunn.

  Copying and distribution of this file, with or without modification,
  are permitted in any medium without royalty provided the copyright
  notice and this notice are preserved.

2.1

  * Fixed up bugs in the customization dialog.

  * Added a customization option for the grade server's password.

  * Fixed up bugs in submission process.

  * Added ability to import proofs into current proof.

  * Fixed up bugs in grading flag.

  * Changed validity indicators from text to icons.

  * Fixed up processing bugs.

2.0

  * Added customization dialog.

  * Reinstated grading flag.

  * Internal representation of connectives now CLI connectives.

  * Connectives represented externally with pixbufs.

  * Submission option.

  * Lemma file names added to rules menu.

  * Loads the manual from the web if it isn't found offline.

1.8

  * Added LaTeX conversion functionality.

  * Stricter syntax checking.

  * Parenthesis parsing fixed up.

  * Fixed selection bug.

  * Temporarily removed grade flag.

  * Added text checking flag.

1.7

  * Built Windows version.

  * Goal window now displays its proof name.

  * The rules have been touched up, removing a lot of bugs

  * Subproofs are corrected, and no longer crash when several are made.

  * Isar interoperability has been improved.
