src/Pure/IsaMakefile
changeset 45709 87017fcbad83
parent 45672 a497c5d4a523
child 45860 93eda35a8377
     1.1 --- a/src/Pure/IsaMakefile	Thu Dec 01 13:34:16 2011 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Thu Dec 01 14:29:14 2011 +0100
     1.3 @@ -154,9 +154,9 @@
     1.4    ML/ml_syntax.ML					\
     1.5    ML/ml_thms.ML						\
     1.6    PIDE/document.ML					\
     1.7 -  PIDE/isabelle_document.ML				\
     1.8    PIDE/isabelle_markup.ML				\
     1.9    PIDE/markup.ML					\
    1.10 +  PIDE/protocol.ML					\
    1.11    PIDE/xml.ML						\
    1.12    PIDE/yxml.ML						\
    1.13    Proof/extraction.ML					\