--- a/src/Pure/ROOT Mon Apr 04 14:53:30 2016 +0200
+++ b/src/Pure/ROOT Mon Apr 04 15:35:24 2016 +0200
@@ -154,6 +154,7 @@
"System/bash.ML"
"System/bash_windows.ML"
"System/command_line.ML"
+ "System/distribution.ML"
"System/invoke_scala.ML"
"System/isabelle_process.ML"
"System/isabelle_system.ML"