# HG changeset patch
# User wenzelm
# Date 1252360493 -7200
# Node ID 740755bfef08e36090ef97824c9083bbbdff964b
# Parent  8d41024ade63805310e532713ae4c733a08a37a2
tuned;

diff -r 8d41024ade63 -r 740755bfef08 src/Tools/jEdit/src/prover/Prover.scala
--- 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