From 6dfe42be80842cabb3fda2a9c7fdb204f770780f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 12 Sep 2006 12:58:00 +0000 Subject: Updated. --- CHANGES | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index f24fa00f..78356075 100644 --- a/CHANGES +++ b/CHANGES @@ -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 -- cgit v1.2.3