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