-*- outline -*-

---   This is a development release of Proof General,     ---
---   some features may be incomplete or buggy.  Please   ---
---   report any problems to support@proofgeneral.org,    ---
---   thanks.  Check files BUGS and <prover>/BUGS first.  ---


* Summary of Changes for Proof General 3.5pre from 3.4

** Generic changes

*** Parsing internals changed: minor user visible differences

Please report any problems/annoyances.   
Not yet enabled for Isabelle/Isar.


** GNU Emacs compatibility improvements

*** Several improvements, credit to Stefan Monnier.


** Coq

*** Improvements to syntax handling from Stefan Monnier (nested comments)