diff -r c57a53d4469a -r d5a41da986c3 src/Tools/jEdit/plugin/actions.xml
--- a/src/Tools/jEdit/plugin/actions.xml	Sat Dec 20 17:14:27 2008 +0100
+++ b/src/Tools/jEdit/plugin/actions.xml	Sat Dec 20 17:16:29 2008 +0100
@@ -1,20 +1,20 @@
 <ACTIONS>
-	<ACTION NAME="Isabelle.show-output">
+	<ACTION NAME="isabelle.show-output">
 		<CODE>
-			wm.addDockableWindow("Isabelle_output");
+			wm.addDockableWindow("isabelle-output");
 		</CODE>
 	</ACTION>
-	<ACTION NAME="Isabelle.show-state">
+	<ACTION NAME="isabelle.show-state">
 		<CODE>
-			wm.addDockableWindow("Isabelle_state");
+			wm.addDockableWindow("isabelle-state");
 		</CODE>
 	</ACTION>
-    <ACTION NAME="Isabelle.show-scroller">
+    <ACTION NAME="isabelle.show-scroller">
 		<CODE>
-			wm.addDockableWindow("Isabelle_scroller");
+			wm.addDockableWindow("isabelle-scroller");
 		</CODE>
 	</ACTION>
-	<ACTION NAME="Isabelle.activate">
+	<ACTION NAME="isabelle.activate">
 		<CODE>
 			isabelle.jedit.Plugin$.MODULE$.plugin().install(view);
 		</CODE>