src/Pure/PIDE/protocol.scala

--- a/src/Pure/PIDE/protocol.scala	Mon Jul 29 12:50:16 2013 +0200
+++ b/src/Pure/PIDE/protocol.scala	Mon Jul 29 13:00:36 2013 +0200
@@ -319,8 +319,6 @@
 
   def discontinue_execution() { protocol_command("Document.discontinue_execution") }
 
-  def cancel_execution() { protocol_command("Document.cancel_execution") }
-
   def update(old_id: Document_ID.Version, new_id: Document_ID.Version,
     edits: List[Document.Edit_Command])
   {