author | immler@in.tum.de |
Sat, 28 Mar 2009 15:40:47 +0100 | |
changeset 34543 | b32b20f0692f |
parent 34422 | d5a41da986c3 |
child 34652 | 5fe5e00ec430 |
permissions | -rw-r--r-- |
<?xml version="1.0"?> <!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> <DOCKABLES> <DOCKABLE NAME="isabelle-output" MOVABLE="TRUE"> new isabelle.jedit.OutputDockable(view, position); </DOCKABLE> <DOCKABLE NAME="isabelle-state" MOVABLE="TRUE"> new isabelle.jedit.StateViewDockable(view, position); </DOCKABLE> <DOCKABLE NAME="isabelle-scroller" MOVABLE="TRUE"> new isabelle.jedit.ScrollerDockable(view, position); </DOCKABLE> </DOCKABLES>