tuned;

--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Jan 11 19:33:53 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Jan 11 21:48:12 2009 +0100
@@ -78,7 +78,7 @@
     buffer.setTokenMarker(token_marker)
 
     // register for new declarations
-    prover.decl_info += (pair => pair match {case (a,b) => token_marker += (a,b)})
+    prover.decl_info += (pair => token_marker += (pair._1, pair._2))
 
   }