equal
deleted
inserted
replaced
4 Isar document model. |
4 Isar document model. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
|
9 import scala.actors.Actor |
9 |
10 |
10 class Isar(isabelle_system: Isabelle_System, |
11 |
11 results: EventBus[Isabelle_Process.Result], args: String*) |
12 class Isar(isabelle_system: Isabelle_System, receiver: Actor, args: String*) |
12 extends Isabelle_Process(isabelle_system, results, args: _*) |
13 extends Isabelle_Process(isabelle_system, receiver, args: _*) |
13 { |
14 { |
14 /* basic editor commands */ |
15 /* basic editor commands */ |
15 |
16 |
16 def create_command(id: String, text: String) = |
17 def create_command(id: String, text: String) = |
17 output_sync("Isar.command " + Isabelle_Syntax.encode_string(id) + " " + |
18 output_sync("Isar.command " + Isabelle_Syntax.encode_string(id) + " " + |