diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-10-14 12:49:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-10-14 12:49:34 +0000 |
| commit | 280ba03f4778c35f74b8f35de981b807e8ccae1f (patch) | |
| tree | cf8a1a0b617572ce2003e1a598487274f12ff685 /CHANGES | |
| parent | 22a42a12676490fe865baad82fef28e74571a84e (diff) | |
Bump doc version numbers to 4.2pre.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -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 |