--- a/src/Tools/jEdit/src/prover/Prover.scala Mon Sep 07 23:42:20 2009 +0200
+++ b/src/Tools/jEdit/src/prover/Prover.scala Mon Sep 07 23:54:53 2009 +0200
@@ -46,12 +46,12 @@
/* outer syntax keywords and completion */
+ @volatile private var _command_decls = Map[String, String]()
+ def command_decls() = _command_decls
+
@volatile private var _keyword_decls = Set[String]()
def keyword_decls() = _keyword_decls
- @volatile private var _command_decls = Map[String, String]()
- def command_decls() = _command_decls
-
@volatile private var _completion = Isabelle.completion
def completion() = _completion