--- a/src/Pure/IsaMakefile Tue Nov 29 06:09:41 2011 +0100
+++ b/src/Pure/IsaMakefile Tue Nov 29 19:49:36 2011 +0100
@@ -80,10 +80,8 @@
General/graph.ML \
General/heap.ML \
General/integer.ML \
- General/isabelle_markup.ML \
General/linear_set.ML \
General/long_name.ML \
- General/markup.ML \
General/name_space.ML \
General/ord_list.ML \
General/output.ML \
@@ -156,7 +154,9 @@
ML/ml_syntax.ML \
ML/ml_thms.ML \
PIDE/document.ML \
+ PIDE/isabelle_markup.ML \
PIDE/isar_document.ML \
+ PIDE/markup.ML \
PIDE/xml.ML \
PIDE/yxml.ML \
Proof/extraction.ML \