src/Pure/Isar/isar.scala
changeset 31797 203d5e61e3bc
parent 29313 6852248da4b4
child 32448 a89f876731c5
equal deleted inserted replaced
31796:117300d72398 31797:203d5e61e3bc
     5 */
     5 */
     6 
     6 
     7 package isabelle
     7 package isabelle
     8 
     8 
     9 
     9 
    10 class Isar(isabelle_system: IsabelleSystem, results: EventBus[IsabelleProcess.Result], args: String*)
    10 class Isar(isabelle_system: Isabelle_System,
    11   extends IsabelleProcess(isabelle_system, results, args: _*)
    11     results: EventBus[Isabelle_Process.Result], args: String*)
       
    12   extends Isabelle_Process(isabelle_system, results, args: _*)
    12 {
    13 {
    13   /* basic editor commands */
    14   /* basic editor commands */
    14 
    15 
    15   def create_command(id: String, text: String) =
    16   def create_command(id: String, text: String) =
    16     output_sync("Isar.command " + IsabelleSyntax.encode_string(id) + " " +
    17     output_sync("Isar.command " + IsabelleSyntax.encode_string(id) + " " +