src/Pure/Isar/isar.scala
changeset 31797 203d5e61e3bc
parent 29313 6852248da4b4
child 32448 a89f876731c5
     1.1 --- a/src/Pure/Isar/isar.scala	Thu Jun 25 13:24:45 2009 +0200
     1.2 +++ b/src/Pure/Isar/isar.scala	Thu Jun 25 13:25:35 2009 +0200
     1.3 @@ -7,8 +7,9 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -class Isar(isabelle_system: IsabelleSystem, results: EventBus[IsabelleProcess.Result], args: String*)
     1.8 -  extends IsabelleProcess(isabelle_system, results, args: _*)
     1.9 +class Isar(isabelle_system: Isabelle_System,
    1.10 +    results: EventBus[Isabelle_Process.Result], args: String*)
    1.11 +  extends Isabelle_Process(isabelle_system, results, args: _*)
    1.12  {
    1.13    /* basic editor commands */
    1.14