diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-11-15 11:40:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-11-15 11:40:38 +0000 |
| commit | 0d6be0aee27af7773714e2baa7ce344c11b41f53 (patch) | |
| tree | 8c8c9993f3685fa1b997a5bf2230680874841b6a /CHANGES | |
| parent | bb24683e8c062a56a24704fb2cda90539d05356d (diff) | |
Suggest PG 4.1.1 will be released next
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -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 |