Use pgml

--- a/src/Pure/ProofGeneral/ROOT.ML	Wed Jul 04 17:21:02 2007 +0200
+++ b/src/Pure/ProofGeneral/ROOT.ML	Wed Jul 04 21:19:34 2007 +0200
@@ -10,8 +10,10 @@
 use "pgip_input.ML";
 use "pgip_output.ML";
 use "pgip.ML";
+use "pgml.ML";
 
 use "pgip_isabelle.ML";
+(*use "pgml_isabelle.ML";*)
 use "preferences.ML";
 use "parsing.ML";