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)