--- a/src/Pure/IsaMakefile Wed Apr 04 14:00:47 2012 +0200
+++ b/src/Pure/IsaMakefile Wed Apr 04 14:19:47 2012 +0200
@@ -155,6 +155,7 @@
ML/ml_parse.ML \
ML/ml_syntax.ML \
ML/ml_thms.ML \
+ PIDE/command.ML \
PIDE/document.ML \
PIDE/isabelle_markup.ML \
PIDE/markup.ML \