From 1774e2a7aad0605627dd1bc43552889e6268df8c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 1 Sep 2009 23:18:45 +0000 Subject: Updates --- CHANGES | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 3366a4ac..ca1b43d9 100644 --- a/CHANGES +++ b/CHANGES @@ -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 -- cgit v1.2.3