src/Tools/jEdit/plugin/dockables.xml

--- a/src/Tools/jEdit/plugin/dockables.xml	Wed Dec 30 17:48:58 2009 +0100
+++ b/src/Tools/jEdit/plugin/dockables.xml	Wed Dec 30 18:22:10 2009 +0100
@@ -8,7 +8,4 @@
 	<DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE">
 		new isabelle.jedit.Protocol_Dockable(view, position);
 	</DOCKABLE>
-	<DOCKABLE NAME="isabelle-history" MOVABLE="TRUE">
-		new isabelle.jedit.History_Dockable(view, position).peer ();
-	</DOCKABLE>
 </DOCKABLES>
\ No newline at end of file