CHANGES


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

Summary of Changes since Proof General 2.0
------------------------------------------

* Documentation improvements

* Support for x-symbol package to beautify 
  input and output with special fonts.
  Patches for Isabelle provided by David von Oheimb.
  (incomplete)

* Bug fix for Isabelle theory file mode.

* Bug fix for long-lines with funny characters causing
  ^G's in Solaris.

* Bug fix for case-insensitive matching.  Added 
  proof-case-fold-search configuration variable to
  allow for proof script languages with case-insensitive 
  syntax.