--- a/src/Pure/ROOT.ML Wed Jun 29 15:23:36 2011 +0200
+++ b/src/Pure/ROOT.ML Wed Jun 29 16:31:50 2011 +0200
@@ -44,14 +44,14 @@
use "General/balanced_tree.ML";
use "General/graph.ML";
use "General/linear_set.ML";
+use "General/buffer.ML";
+use "General/xml.ML";
+use "General/xml_data.ML";
+use "General/pretty.ML";
use "General/path.ML";
use "General/url.ML";
-use "General/buffer.ML";
use "General/file.ML";
-use "General/xml.ML";
-use "General/xml_data.ML";
use "General/yxml.ML";
-use "General/pretty.ML";
use "General/long_name.ML";
use "General/binding.ML";