src/Pure/PIDE/protocol.scala

--- a/src/Pure/PIDE/protocol.scala	Thu Apr 05 13:01:54 2012 +0200
+++ b/src/Pure/PIDE/protocol.scala	Thu Apr 05 14:14:51 2012 +0200
@@ -191,10 +191,9 @@
 
   /* document versions */
 
-  def cancel_execution()
-  {
-    input("Document.cancel_execution")
-  }
+  def discontinue_execution() { input("Document.discontinue_execution") }
+
+  def cancel_execution() { input("Document.cancel_execution") }
 
   def update_perspective(old_id: Document.Version_ID, new_id: Document.Version_ID,
     name: Document.Node.Name, perspective: Command.Perspective)