--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/jedit/plugin/dockables.xml	Sun Jan 06 16:57:25 2008 +0100
@@ -0,0 +1,10 @@
+<?xml version="1.0"?>
+<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
+<!-- $Id$ -->
+
+<DOCKABLES>
+	<DOCKABLE NAME="isabelle" MOVABLE="TRUE">
+		new isabelle.IsabelleDock(view, position);
+	</DOCKABLE>
+</DOCKABLES>
+