diff options
| -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 |