tuned comments;
Sat, 17 Sep 2005 18:11:29 +0200
changeset 17469 4524bf3026d3
parent 17468 7c040a5fd171
child 17470 6e9d910c3837
tuned comments;
--- a/src/Pure/proof_general.ML	Sat Sep 17 18:11:28 2005 +0200
+++ b/src/Pure/proof_general.ML	Sat Sep 17 18:11:29 2005 +0200
@@ -2,20 +2,9 @@
     ID:         $Id$
     Author:     David Aspinall and Markus Wenzel
-Isabelle configuration for Proof General (see http://proofgeneral.inf.ed.ac.uk)
-Includes support for PGIP control language for Isabelle/Isar.
-NOTE: With this version you will lose support for the Isabelle
-settings menu in the currently released version of Proof General (3.5).
-No other changes should be visible in the Emacs interface.
-The 3.6pre pre-release versions of Emacs Proof General now support the
-new PGIP format for preferences and restore the settings menu.
-Please visit http://proofgeneral.inf.ed.ac.uk/develdownload
-STATUS: this version is an experimental version that supports PGIP 2.X.
+Isabelle configuration for Proof General (see
+http://proofgeneral.inf.ed.ac.uk).  Also includes experimental support
+for PGIP control language for Isabelle/Isar (PGIP 2.X).
 signature PROOF_GENERAL =