blob: 49626359d8dbb5162ea221fa1ea97beb7f8f35fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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.
|
