changeset 34318 | c13e168a8ae6 |
child 34342 | b2781f2cd80a |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/jEdit/plugin/dockables.xml Sun Oct 19 16:51:55 2008 +0200 @@ -0,0 +1,12 @@ +<?xml version="1.0"?> + +<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> + +<DOCKABLES> + <DOCKABLE NAME="Isabelle_output"> + new isabelle.jedit.OutputDockable(view, position); + </DOCKABLE> + <DOCKABLE NAME="Isabelle_state"> + new isabelle.jedit.StateViewDockable(view, position); + </DOCKABLE> +</DOCKABLES> \ No newline at end of file