diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-30 12:50:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-30 12:50:35 +0000 |
| commit | 1478a03a2cf50159ba0f4b59e567f3112b7c767c (patch) | |
| tree | c95e2d5cb7705d2fa43a54cc6b739266f6e939ff /CHANGES | |
| parent | a7edc01f146ad2101c3bc0642cc06b2b5517a017 (diff) | |
Updated.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -9,5 +9,13 @@ * Summary of Changes for Proof General 3.5pre from 3.4 - << No changes yet >> +** GNU Emacs compatibility improvements +*** Several improvements, credit to Stefan Monnier. + + +** Coq + +*** Improvements to syntax handling from Stefan Monnier (nested comments) + + |