1 <?xml version="1.0"?>
2 <!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
3 <!-- $Id$ -->
4
5 <DOCKABLES>
6 <DOCKABLE NAME="isabelle" MOVABLE="TRUE">
7 new isabelle.jedit.IsabelleDock(view, position);
8 </DOCKABLE>
9 </DOCKABLES>
10