diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-31 13:03:00 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-31 13:03:00 +0000 |
commit | 267c47d5d5a31f652e50ae03961906ec0c49bb85 (patch) | |
tree | 4c4dbcfe0a84afe3ff8d2342a2db13ef22cbe8cf /CHANGES | |
parent | 99e6cf34190f03fa9450a60176688d7ae3367030 (diff) |
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 17 |
1 files changed, 6 insertions, 11 deletions
@@ -8,6 +8,11 @@ * Summary of Changes for Proof General 3.5pre from 3.4 +** GNU Emacs compatibility, simplified font-lock, handling nested comments + +*** Numerous improvements, credit to Stefan Monnier. + + ** Generic changes *** Parsing internals changed: minor user visible differences @@ -15,16 +20,6 @@ Please report any problems/annoyances which may be unexpected. NB: Not yet enabled for Isabelle/Isar. -*** Colour improvements - - -** GNU Emacs compatibility improvements - -*** Several improvements, credit to Stefan Monnier. - - -** Coq -*** Improvements to syntax handling from Stefan Monnier (nested comments) +** Colour improvements - |