From 0d6be0aee27af7773714e2baa7ce344c11b41f53 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 15 Nov 2011 11:40:38 +0000 Subject: Suggest PG 4.1.1 will be released next --- CHANGES | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 79677e27..2a61b8b4 100644 --- a/CHANGES +++ b/CHANGES @@ -4,8 +4,7 @@ This is a summary of main changes. For details, please see the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. - -* Changes of Proof General 4.2 from Proof General 4.1 +* Changes of Proof General 4.1.1 from Proof General 4.1 ** Generic/misc changes @@ -13,6 +12,12 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. *** Fix "pgshell" mode for shell/CLI prover interaction +** Coq changes + +*** Indentation improvements using SMIE + +*** Minor parsing fixes + * Changes of Proof General 4.1 from Proof General 4.0 -- cgit v1.2.3