src/Pure/PIDE/isar_document.ML
changeset 44676 7de87f1ae965
parent 44673 2fa51ac191bc
child 44979 68b990e950b1
     1.1 --- a/src/Pure/PIDE/isar_document.ML	Sat Sep 03 19:47:31 2011 +0200
     1.2 +++ b/src/Pure/PIDE/isar_document.ML	Sat Sep 03 21:15:35 2011 +0200
     1.3 @@ -71,7 +71,9 @@
     1.4          val versions =
     1.5            YXML.parse_body versions_yxml |>
     1.6              let open XML.Decode in list int end;
     1.7 -      in Document.remove_versions versions state end));
     1.8 +        val state1 = Document.remove_versions versions state;
     1.9 +        val _ = Output.raw_message Markup.removed_versions versions_yxml;
    1.10 +      in state1 end));
    1.11  
    1.12  val _ =
    1.13    Isabelle_Process.add_command "Isar_Document.invoke_scala"