Summary of Changes for Proof General 3.1 from 3.0
=================================================


Generic Changes
---------------

Minor bug fix for duplicated short output.
 (set proof-shell-eager-annotation-start-length appropriately)

Bug fix with .thy files and X-Symbol mode: subsequently visited
 theory files would have X-Symbols broken.  (NB: Fix in progress)

Bug fix for FSF Emacs 20.5.  (Emacs would freeze when starting proof
assistant due to character matching problem).





Coq Changes
-----------


LEGO Changes
------------


Isabelle Changes
----------------


Isar Changes
------------

Minor syntax tweaks.




Only in the developers' release
-------------------------------

* Provisional instantiation of Proof General for
  Plastic (http://www.dur.ac.uk/CARG/plastic.html)
  by Paul Callaghan <P.C.Callaghan@durham.ac.uk>.


Internal changes for developers to note
---------------------------------------