src/Tools/jEdit/src/actions.xml

--- a/src/Tools/jEdit/src/actions.xml	Mon Sep 21 17:59:21 2015 +0200
+++ b/src/Tools/jEdit/src/actions.xml	Mon Sep 21 20:21:29 2015 +0200
@@ -32,7 +32,7 @@
 	    isabelle.jedit.Isabelle.toggle_node_required(view);
 	  </CODE>
 	</ACTION>
-	<ACTION NAME="isabelle-update-state">
+	<ACTION NAME="isabelle.update-state">
 	  <CODE>
 	    isabelle.jedit.Isabelle.update_state(view);
 	  </CODE>