aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-04-07 09:42:02 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-04-07 09:42:02 +0000
commit556e84c80c3bf9a49cf300572c1854ed2f05597b (patch)
tree9b33fecebb34ea0bf93f0c6d4bc61503210ff319 /CHANGES
parent71f0f60954301df47a19e1b6778fb2348ab257a1 (diff)
Fixed up proof-shell-proof-completed mess nicely.
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES5
1 files changed, 4 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index ae9d43fe..42e74a44 100644
--- a/CHANGES
+++ b/CHANGES
@@ -21,12 +21,15 @@
** Coq Changes
-
** LEGO Changes
** Isabelle Changes
+*** Fix for stack overflow in regexp which occurred with large proof states
+
** Isar Changes
** Changes for developers to note
+*** No need for match string 1 in proof-shell-proof-completed
+