From 280ba03f4778c35f74b8f35de981b807e8ccae1f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 14 Oct 2011 12:49:34 +0000 Subject: Bump doc version numbers to 4.2pre. --- CHANGES | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index a882f69a..79677e27 100644 --- a/CHANGES +++ b/CHANGES @@ -3,6 +3,17 @@ 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 + +** Generic/misc changes + +*** Compilation fixes for Emacs 24. + +*** Fix "pgshell" mode for shell/CLI prover interaction + + * Changes of Proof General 4.1 from Proof General 4.0 ** Generic changes -- cgit v1.2.3