changeset 33836 | da3e88ea6c72 |
parent 33835 | d6134fb5a49f |
parent 33834 | 7c06e19f717c |
child 33837 | a406f447abef |
--- a/lib/jedit/plugin/dockables.xml Sat Nov 21 17:35:55 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> -