src/Pure/ROOT

--- a/src/Pure/ROOT	Mon Aug 17 23:16:03 2015 +0200
+++ b/src/Pure/ROOT	Mon Aug 17 23:45:12 2015 +0200
@@ -34,6 +34,7 @@
     "ML-Systems/universal.ML"
     "ML-Systems/unsynchronized.ML"
     "ML-Systems/use_context.ML"
+    "ML-Systems/windows_polyml.ML"
 
 session Pure =
   global_theories Pure
@@ -69,9 +70,11 @@
     "ML-Systems/universal.ML"
     "ML-Systems/unsynchronized.ML"
     "ML-Systems/use_context.ML"
+    "ML-Systems/windows_polyml.ML"
 
     "Concurrent/bash.ML"
     "Concurrent/bash_sequential.ML"
+    "Concurrent/bash_windows.ML"
     "Concurrent/cache.ML"
     "Concurrent/counter.ML"
     "Concurrent/event_timer.ML"