diff -r 0c5d1485dea7 -r 8d43e5e0588d lib/jedit/plugin/dockables.xml
--- a/lib/jedit/plugin/dockables.xml	Sat Nov 14 17:49:29 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-<?xml version="1.0"?>
-<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
-<!-- $Id$ -->
-
-<DOCKABLES>
-	<DOCKABLE NAME="isabelle" MOVABLE="TRUE">
-		new isabelle.jedit.IsabelleDock(view, position);
-	</DOCKABLE>
-</DOCKABLES>
-