equal
deleted
inserted
replaced
6 |
6 |
7 package isabelle.proofdocument |
7 package isabelle.proofdocument |
8 |
8 |
9 |
9 |
10 import scala.actors.Actor._ |
10 import scala.actors.Actor._ |
|
11 |
|
12 object Session |
|
13 { |
|
14 case object Global_Settings |
|
15 } |
11 |
16 |
12 |
17 |
13 class Session(system: Isabelle_System) |
18 class Session(system: Isabelle_System) |
14 { |
19 { |
15 /* unique ids */ |
20 /* unique ids */ |
57 def input(change: Change) { session_actor ! change } |
62 def input(change: Change) { session_actor ! change } |
58 |
63 |
59 |
64 |
60 /* pervasive event buses */ |
65 /* pervasive event buses */ |
61 |
66 |
62 val global_settings = new Event_Bus[Unit] |
67 val global_settings = new Event_Bus[Session.Global_Settings.type] |
63 val raw_results = new Event_Bus[Isabelle_Process.Result] |
68 val raw_results = new Event_Bus[Isabelle_Process.Result] |
64 val results = new Event_Bus[Command] |
69 val results = new Event_Bus[Command] |
65 |
70 |
66 val command_change = new Event_Bus[Command] |
71 val command_change = new Event_Bus[Command] |
67 val document_change = new Event_Bus[Proof_Document] |
72 val document_change = new Event_Bus[Proof_Document] |