author | immler@in.tum.de |
Sun, 11 Jan 2009 13:16:35 +0100 | |
changeset 34465 | ccadbf63e320 |
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>