# HG changeset patch
# User wenzelm
# Date 1189019351 -7200
# Node ID afd2be8a9aba02c90bc27ab16d12a641f366ef43
# Parent  e8197c9f1b5cdb2ea2bfda77dada5060e46f9f2f
use preferences.ML: do setmp *here*, to capture intended default values;

diff -r e8197c9f1b5c -r afd2be8a9aba src/Pure/ProofGeneral/ROOT.ML
--- a/src/Pure/ProofGeneral/ROOT.ML	Wed Sep 05 20:48:25 2007 +0200
+++ b/src/Pure/ProofGeneral/ROOT.ML	Wed Sep 05 21:09:11 2007 +0200
@@ -2,7 +2,8 @@
     ID:         $Id$
     Author:     David Aspinall
 
-Proof General interface for Isabelle.
+Proof General interface for Isabelle, both the traditional Emacs version,
+and PGIP experiments.
 *)
 
 use "pgip_types.ML";
@@ -14,16 +15,13 @@
 
 use "pgip_isabelle.ML";
 use "pgml_isabelle.ML";
-use "preferences.ML";
+(use |> setmp proofs 1 |> setmp quick_and_dirty true) "preferences.ML";
 use "pgip_parser.ML";
 
 use "parsing.ML";   (* old version *)
 
 use "pgip_tests.ML";
 
-(use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_pgip.ML";
-(use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_emacs.ML";
+use "proof_general_pgip.ML";
+use "proof_general_emacs.ML";
 
-(* desirable to have tests on UI connection:
-  use "pgip_isabelle_tests.ML"
-*)