src/Pure/ROOT

--- a/src/Pure/ROOT	Wed Jul 15 11:25:51 2015 +0200
+++ b/src/Pure/ROOT	Thu Jul 16 11:10:57 2015 +0200
@@ -6,6 +6,8 @@
     "General/exn.ML"
     "ML-Systems/compiler_polyml.ML"
     "ML-Systems/exn_trace_polyml-5.5.1.ML"
+    "ML-Systems/ml_debugger_dummy.ML"
+    "ML-Systems/ml_debugger_polyml-5.5.3.ML"
     "ML-Systems/ml_name_space.ML"
     "ML-Systems/ml_positions.ML"
     "ML-Systems/ml_pretty.ML"