diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2006-09-12 12:58:00 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2006-09-12 12:58:00 +0000 |
| commit | 6dfe42be80842cabb3fda2a9c7fdb204f770780f (patch) | |
| tree | 242562cb54237d0707512220dea8f7bcca07725f /CHANGES | |
| parent | 2773fa648f0ed7a9324faa2e9c681c674f9f08b9 (diff) | |
Updated.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -17,10 +17,11 @@ interface wrapper. Several fixes. Also, removed support for Coq 6, 7. -*** Support for Isabelle2005. +*** Support for Isabelle2005 and current development version of Isabelle. Additional menu functions and PGIP support for settings configuration -controlled by Isabelle. +now controlled directly by Isabelle. Support for Unicode-safe +interaction (`proof-shell-unicode' variable). Isabelle2004 should still be functional with this version of Proof General. Support for Isabelle 2003 has been removed. @@ -28,7 +29,7 @@ General. Support for Isabelle 2003 has been removed. *** Miscellaneous fixes -Including patches from Stefan Monnier. +Including numerous improvements from Stefan Monnier. ** Changes for Coq @@ -145,7 +146,7 @@ function `proof-layout-windows' which displays windows in a default form for the current display mode. This uses a vertical-horizontal split scheme for three-pane mode (due to Pierre Courtieu), but three-pane mode also works with three-way horizontal split as before. -But see note in BUGS for remaining issues. +See note in BUGS for remaining issues. *** More example proofs included |