author | wenzelm |
Mon, 07 Dec 2009 22:40:01 +0100 | |
changeset 34753 | 8a630617faa9 |
parent 34655 | 5fe5e00ec430 |
child 34763 | dc7f5e0d9d27 |
permissions | -rw-r--r-- |
wenzelm@34321 | 1 |
<?xml version="1.0"?> |
wenzelm@34321 | 2 |
|
wenzelm@34321 | 3 |
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> |
wenzelm@34321 | 4 |
|
wenzelm@34321 | 5 |
<DOCKABLES> |
wenzelm@34425 | 6 |
<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE"> |
wenzelm@34321 | 7 |
new isabelle.jedit.OutputDockable(view, position); |
wenzelm@34321 | 8 |
</DOCKABLE> |
wenzelm@34425 | 9 |
<DOCKABLE NAME="isabelle-state" MOVABLE="TRUE"> |
wenzelm@34321 | 10 |
new isabelle.jedit.StateViewDockable(view, position); |
wenzelm@34321 | 11 |
</DOCKABLE> |
immler@34655 | 12 |
<DOCKABLE NAME="isabelle-browser" MOVABLE="TRUE"> |
immler@34655 | 13 |
new isabelle.jedit.BrowseVersionDockable(view, position).peer(); |
immler@34655 | 14 |
</DOCKABLE> |
wenzelm@34321 | 15 |
</DOCKABLES> |