--- a/src/Tools/jEdit/plugin/dockables.xml Wed Jun 08 17:01:07 2011 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,17 +0,0 @@
-<?xml version="1.0"?>
-<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
-
-<DOCKABLES>
- <DOCKABLE NAME="isabelle-session" MOVABLE="TRUE">
- new isabelle.jedit.Session_Dockable(view, position);
- </DOCKABLE>
- <DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
- new isabelle.jedit.Output_Dockable(view, position);
- </DOCKABLE>
- <DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">
- new isabelle.jedit.Raw_Output_Dockable(view, position);
- </DOCKABLE>
- <DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE">
- new isabelle.jedit.Protocol_Dockable(view, position);
- </DOCKABLE>
-</DOCKABLES>
\ No newline at end of file