diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 11:46:09 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 11:46:09 +0000 |
commit | ddb9645d8a827cf8a47b60fbcd21a690653d736f (patch) | |
tree | ef1935cc8b1476fb25b2378816dbc5b71162b40b /CHANGES | |
parent | bb125f935d2f634ced1c0650f11640f1411f8774 (diff) |
Updated for 3.6 release
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 15 |
1 files changed, 13 insertions, 2 deletions
@@ -1,9 +1,20 @@ -*- outline -*- -* Summary of Changes for Proof General 3.5 from 3.4 - See also etc/release-log.txt for minor patches. +* Summary of Changes for Proof General 3.6 from 3.5 + +*** Improved compatibility with Coq 8 + +*** Support for forthcoming Isabelle versions + +Menu function to display and print drafts of buffer contents. +Support latest PGIP version inside Isabelle for settings +configuration. + + +* Summary of Changes for Proof General 3.5 from 3.4 + ** Generic changes *** Support for Speedbar and Index menu ("Imenu") |