diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-09-30 16:43:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-09-30 16:43:40 +0000 |
| commit | db6904e6ede82c75e4b6189155d8260d0016377c (patch) | |
| tree | 4ae2ff8fa0ac469977459e3ece6c338633e8793b | |
| parent | 4ff424d86b5369d049891851778afa49b2e90bb6 (diff) | |
Updated
| -rw-r--r-- | CHANGES | 15 |
1 files changed, 10 insertions, 5 deletions
@@ -17,15 +17,20 @@ interface wrapper. Several fixes. Also, removed support for Coq 6, 7. -*** Support for forthcoming Isabelle versions +*** Support for Isabelle2005. + +Additional menu functions and PGIP support for settings configuration +controlled by Isabelle. + +Isabelle2004 should still be functional with this version of Proof +General. Support for Isabelle 2003 has been removed. -Menu function to display and print drafts of buffer contents. -Support latest PGIP version inside Isabelle for settings -configuration. *** Miscellaneous fixes -Patches from Stefan Monnier. +Including patches from Stefan Monnier. + + * Summary of Changes for Proof General 3.5 from 3.4 |