# 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 =