diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-04-07 14:28:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-04-07 14:28:27 +0000 |
| commit | 207fad4cdad17e6b12152d6c9bcdca466d7d0b46 (patch) | |
| tree | 3544cc407a528f227e11f35b8e8f97c8d47bc5e3 /CHANGES | |
| parent | 25771d50dd03b2831db0f236ade7860ca412e67f (diff) | |
Merged changes sent by Patrick Loiseleur.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -2,7 +2,7 @@ Summary of Changes for Proof General 2.1 ---------------------------------------- * Documentation improvements. - Text added for Coq mode. + Information added for Coq mode. * In proof-site.el, the environment variable PROOFGENERAL_ASSISTANTS is examined for the default value of proof-assistants. This @@ -14,6 +14,9 @@ Summary of Changes for Proof General 2.1 Patches for Isabelle provided by David von Oheimb. (currently incomplete) +* Improvements to Coq mode: better recognition of + Coq syntax, support for proof-shell-restart-cmd. + * Bug fix for templates in Isabelle theory file mode. * Bug fix for long-lines with funny characters causing |