# HG changeset patch
# User wenzelm
# Date 1126973489 -7200
# Node ID 4524bf3026d38f7c4ade2a2c6753a78a992a16d6
# Parent  7c040a5fd171acf90046b34e76d5c0e4bfd34b25
tuned comments;

diff -r 7c040a5fd171 -r 4524bf3026d3 src/Pure/proof_general.ML
--- 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 =