author | wenzelm |
Wed, 30 Dec 2009 18:22:10 +0100 | |
changeset 34814 | 0b788ea1ceac |
parent 34773 | bb5d68f7fd5e |
child 37065 | 2a73253b5898 |
permissions | -rw-r--r-- |
<?xml version="1.0"?> <!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> <DOCKABLES> <DOCKABLE NAME="isabelle-output" MOVABLE="TRUE"> new isabelle.jedit.Output_Dockable(view, position); </DOCKABLE> <DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE"> new isabelle.jedit.Protocol_Dockable(view, position); </DOCKABLE> </DOCKABLES>