Summary of Changes for Proof General 2.1
----------------------------------------

* Documentation improvements.   Text added for Coq mode.

* 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.

* Other minor bug fixes.