diff -r f3bbb9ca57d6 -r f8c1a5b9488f src/Pure/ROOT
--- a/src/Pure/ROOT	Wed Aug 08 15:58:40 2012 +0200
+++ b/src/Pure/ROOT	Wed Aug 08 17:49:56 2012 +0200
@@ -1,4 +1,4 @@
-session RAW in "." =
+session RAW =
   files
     "General/exn.ML"
     "ML-Systems/compiler_polyml.ML"
@@ -19,7 +19,7 @@
     "ML-Systems/unsynchronized.ML"
     "ML-Systems/use_context.ML"
 
-session Pure in "." =
+session Pure =
   theories Pure
   files
     "General/exn.ML"