--- a/src/Tools/jEdit/src/prover/Prover.scala Tue Jan 27 17:22:55 2009 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala Tue Jan 27 18:15:11 2009 +0100
@@ -20,11 +20,6 @@
class Prover(isabelle_system: IsabelleSystem)
{
- private var process: Isar = null
-
- private val commands = new mutable.HashMap[IsarDocument.Command_ID, Command]
-
-
/* outer syntax keywords */
val decl_info = new EventBus[(String, String)]
@@ -60,6 +55,11 @@
/* event handling */
+ private var process: Isar = null
+
+ private val commands = new mutable.HashMap[IsarDocument.Command_ID, Command]
+
+
private var initialized = false
val activated = new EventBus[Unit]
@@ -164,8 +164,7 @@
def start(logic: String) {
- val results = new EventBus[IsabelleProcess.Result]
- results += handle_result
+ val results = new EventBus[IsabelleProcess.Result] + handle_result
results.logger = Log.log(Log.ERROR, null, _)
process = new Isar(isabelle_system, results, "-m", "xsymbols", logic)
}