This NEWS file records important changes.

  Copyright (C) 2012, 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.

Updates in Version 1.7
 * Rules updated - bugs fixed.
 * Goal windows display title of proof
 * Subproof bug fixed.
 * Isar interoperability improved.
