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 | |
| parent | 99e6cf34190f03fa9450a60176688d7ae3367030 (diff) | |
Updated.
| -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 - |