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 /CHANGES | |
| parent | 41542208cdf5437bf7604d042779d5ac9d7684a8 (diff) | |
*** empty log message ***
Diffstat (limited to 'CHANGES')
| -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 |