src/Pure/ProofGeneral/ROOT.ML

--- a/src/Pure/ProofGeneral/ROOT.ML	Fri Jul 06 17:21:18 2007 +0200
+++ b/src/Pure/ProofGeneral/ROOT.ML	Fri Jul 06 17:52:52 2007 +0200
@@ -6,14 +6,14 @@
 *)
 
 use "pgip_types.ML";
+use "pgml.ML";
 use "pgip_markup.ML";
 use "pgip_input.ML";
 use "pgip_output.ML";
 use "pgip.ML";
-use "pgml.ML";
 
 use "pgip_isabelle.ML";
-(*use "pgml_isabelle.ML";*)
+use "pgml_isabelle.ML";
 use "preferences.ML";
 use "parsing.ML";