src/Pure/proof_general.ML
changeset 17469 4524bf3026d3
parent 17417 c56f4809fc6d
child 17520 8581c151adea
     1.1 --- a/src/Pure/proof_general.ML	Sat Sep 17 18:11:28 2005 +0200
     1.2 +++ b/src/Pure/proof_general.ML	Sat Sep 17 18:11:29 2005 +0200
     1.3 @@ -2,20 +2,9 @@
     1.4      ID:         $Id$
     1.5      Author:     David Aspinall and Markus Wenzel
     1.6  
     1.7 -Isabelle configuration for Proof General (see http://proofgeneral.inf.ed.ac.uk)
     1.8 -Includes support for PGIP control language for Isabelle/Isar.
     1.9 -
    1.10 -===========================================================================
    1.11 -NOTE: With this version you will lose support for the Isabelle
    1.12 -settings menu in the currently released version of Proof General (3.5).
    1.13 -No other changes should be visible in the Emacs interface.
    1.14 -
    1.15 -The 3.6pre pre-release versions of Emacs Proof General now support the
    1.16 -new PGIP format for preferences and restore the settings menu.
    1.17 -Please visit http://proofgeneral.inf.ed.ac.uk/develdownload
    1.18 -===========================================================================
    1.19 -
    1.20 -STATUS: this version is an experimental version that supports PGIP 2.X.
    1.21 +Isabelle configuration for Proof General (see
    1.22 +http://proofgeneral.inf.ed.ac.uk).  Also includes experimental support
    1.23 +for PGIP control language for Isabelle/Isar (PGIP 2.X).
    1.24  *)
    1.25  
    1.26  signature PROOF_GENERAL =