src/Pure/PIDE/isar_document.ML

--- a/src/Pure/PIDE/isar_document.ML	Sat Sep 03 12:31:27 2011 +0200
+++ b/src/Pure/PIDE/isar_document.ML	Sat Sep 03 18:08:09 2011 +0200
@@ -65,6 +65,15 @@
       in state2 end));
 
 val _ =
+  Isabelle_Process.add_command "Isar_Document.remove_versions"
+    (fn [versions_yxml] => Document.change_state (fn state =>
+      let
+        val versions =
+          YXML.parse_body versions_yxml |>
+            let open XML.Decode in list int end;
+      in Document.remove_versions versions state end));
+
+val _ =
   Isabelle_Process.add_command "Isar_Document.invoke_scala"
     (fn [id, tag, res] => Invoke_Scala.fulfill_method id tag res);