# HG changeset patch
# User aspinall
# Date 1183576774 -7200
# Node ID 37532c9df22c1fd634a9de98fd35f9344bacb3c9
# Parent  6be49c181c667147812ec72d775e84c752fbc8ed
Use pgml

diff -r 6be49c181c66 -r 37532c9df22c src/Pure/ProofGeneral/ROOT.ML
--- 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";