src/Tools/jEdit/plugin/actions.xml

--- a/src/Tools/jEdit/plugin/actions.xml	Sat May 22 20:37:59 2010 +0200
+++ b/src/Tools/jEdit/plugin/actions.xml	Sat May 22 20:59:55 2010 +0200
@@ -15,6 +15,11 @@
 			wm.addDockableWindow("isabelle-output");
 		</CODE>
 	</ACTION>
+	<ACTION NAME="isabelle.show-raw-output">
+		<CODE>
+			wm.addDockableWindow("isabelle-raw-output");
+		</CODE>
+	</ACTION>
 	<ACTION NAME="isabelle.show-protocol">
 		<CODE>
 			wm.addDockableWindow("isabelle-protocol");