src/Pure/ROOT

--- a/src/Pure/ROOT	Sun Nov 25 18:50:13 2012 +0100
+++ b/src/Pure/ROOT	Sun Nov 25 19:49:24 2012 +0100
@@ -144,7 +144,6 @@
     "ML/ml_thms.ML"
     "PIDE/command.ML"
     "PIDE/document.ML"
-    "PIDE/isabelle_markup.ML"
     "PIDE/markup.ML"
     "PIDE/protocol.ML"
     "PIDE/sendback.ML"