src/Tools/jEdit/src/dockables.xml

--- a/src/Tools/jEdit/src/dockables.xml	Wed Nov 21 11:08:56 2012 +0100
+++ b/src/Tools/jEdit/src/dockables.xml	Wed Nov 21 10:51:12 2012 +0100
@@ -26,4 +26,7 @@
 	<DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE">
 		new isabelle.jedit.Protocol_Dockable(view, position);
 	</DOCKABLE>
+	<DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE">
+		new isabelle.jedit.Symbols_Dockable(view, position);
+	</DOCKABLE>
 </DOCKABLES>
\ No newline at end of file