# HG changeset patch
# User wenzelm
# Date 1233076511 -3600
# Node ID f084db5d20f1d7501ced8cee90e83708a0ddc681
# Parent  f97b764f956f9bb0efd5840c95de198808a40b19
misc tuning;

diff -r f97b764f956f -r f084db5d20f1 src/Tools/jEdit/src/prover/Prover.scala
--- 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)
   }