--- a/src/Pure/ROOT Wed Mar 09 21:01:22 2016 +0100
+++ b/src/Pure/ROOT Thu Mar 10 09:50:53 2016 +0100
@@ -3,8 +3,6 @@
session Pure =
global_theories Pure
files
- "Concurrent/bash.ML"
- "Concurrent/bash_windows.ML"
"Concurrent/cache.ML"
"Concurrent/counter.ML"
"Concurrent/event_timer.ML"
@@ -153,6 +151,8 @@
"Syntax/syntax_trans.ML"
"Syntax/term_position.ML"
"Syntax/type_annotation.ML"
+ "System/bash.ML"
+ "System/bash_windows.ML"
"System/command_line.ML"
"System/invoke_scala.ML"
"System/isabelle_process.ML"