src/Pure/System/session.scala

 
 
   /* actor messages */
 
   private case class Start(args: List[String])
-  private case object Cancel_Execution
   private case class Change(
     doc_edits: List[Document.Edit_Command],
     previous: Document.Version,
     version: Document.Version)
   private case class Messages(msgs: List[Isabelle_Process.Message])

             handle_raw_edits(Nil)
           }
           global_options.event(Session.Global_Options(options))
           reply(())
 
-        case Cancel_Execution if prover.isDefined =>
-          prover.get.cancel_execution()
-
         case Session.Raw_Edits(edits) if prover.isDefined =>
           handle_raw_edits(edits)
           reply(())
 
         case Session.Dialog_Result(id, serial, result) if prover.isDefined =>

     commands_changed_buffer !? Stop
     change_parser !? Stop
     session_actor !? Stop
   }
 
-  def cancel_execution() { session_actor ! Cancel_Execution }
-
   def update(edits: List[Document.Edit_Text])
   { if (!edits.isEmpty) session_actor !? Session.Raw_Edits(edits) }
 
   def update_options(options: Options)
   { session_actor !? Update_Options(options) }