aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-08-30 17:40:12 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-08-30 17:40:12 +0000
commitd2d539facd7a239a09cb43fa06ec8cfc34388eea (patch)
tree049cdb5c2705cef1c47d49313281b211d081dea2 /CHANGES
parent347fafc730e5ee97957208f6d3fe79566da61da7 (diff)
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES7
1 files changed, 7 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index eb7ea16b..de2d5ee5 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,6 +8,13 @@
* 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