diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-09 23:14:32 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-09 23:14:32 +0000 |
commit | b7e1c74fb9a0410c992a7469c292e06b82a89bdf (patch) | |
tree | ea0cc9fbfd7cac67f18391a122f3f1f810d29856 | |
parent | 41542208cdf5437bf7604d042779d5ac9d7684a8 (diff) |
*** empty log message ***
-rw-r--r-- | CHANGES | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -59,6 +59,8 @@ ** Isabelle/Isar changes +*** Support undo back into completed proofs (linear_undo). + *** Electric terminator works without inserting terminator *** Line numbers reported during script management |