CHANGES


1
2
3
4
5
6
7
8
9

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)