moved General/xml.ML to Tools/xml.ML;
actually use pgml.ML;

--- a/src/Pure/ProofGeneral/pgip_standalone.ML	Sat Jul 07 00:15:00 2007 +0200
+++ b/src/Pure/ProofGeneral/pgip_standalone.ML	Sat Jul 07 00:15:02 2007 +0200
@@ -29,13 +29,14 @@
 use "General/file.ML";     (* used directly *)
 use "General/buffer.ML";
 use "General/symbol.ML";
-use "General/xml.ML";      (* used directly *)
 use "General/url.ML";      (* used directly *)
+use "Tools/xml.ML";        (* used directly *)
 
 
 (* Our code *)
 
 use "ProofGeneral/pgip_types.ML";
+use "ProofGeneral/pgml.ML";
 use "ProofGeneral/pgip_markup.ML";
 use "ProofGeneral/pgip_input.ML";
 use "ProofGeneral/pgip_output.ML";