src/Pure/ROOT

--- a/src/Pure/ROOT	Tue Mar 18 17:53:40 2014 +0100
+++ b/src/Pure/ROOT	Tue Mar 18 18:09:31 2014 +0100
@@ -162,6 +162,7 @@
     "PIDE/protocol.ML"
     "PIDE/query_operation.ML"
     "PIDE/resources.ML"
+    "PIDE/session.ML"
     "PIDE/xml.ML"
     "PIDE/yxml.ML"
     "Proof/extraction.ML"
@@ -190,7 +191,6 @@
     "System/isar.ML"
     "System/message_channel.ML"
     "System/options.ML"
-    "System/session.ML"
     "System/system_channel.ML"
     "Thy/html.ML"
     "Thy/latex.ML"