diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-01 23:18:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-01 23:18:45 +0000 |
| commit | 1774e2a7aad0605627dd1bc43552889e6268df8c (patch) | |
| tree | 7b7674515caebeb777c870801b33f602c0a31222 /CHANGES | |
| parent | 1756a6cc395e656ed8c0ae4bac5b9d12985a74ed (diff) | |
Updates
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -1,6 +1,6 @@ -*- outline -*- -* Summary of Changes for Proof General 4.0 from 3.7.X +* Main Changes for Proof General 4.0 from 3.7.X ** Generic changes @@ -34,4 +34,12 @@ *** Electric terminator works without inserting terminator +*** Line numbers reported during script management + +*** Sync problems with bad input prevented by command wrapping + + +** Coq changes + +*** Holes mode can be turned on/off |