src/Pure/ROOT

--- a/src/Pure/ROOT	Sun Aug 05 13:23:54 2012 +0200
+++ b/src/Pure/ROOT	Sun Aug 05 13:42:21 2012 +0200
@@ -178,6 +178,7 @@
     "Syntax/syntax_trans.ML"
     "Syntax/term_position.ML"
     "System/build.ML"
+    "System/command_line.ML"
     "System/invoke_scala.ML"
     "System/isabelle_process.ML"
     "System/isabelle_system.ML"