src/Tools/jEdit/plugin/dockables.xml
author wenzelm
Sun, 19 Oct 2008 18:27:30 +0200
changeset 34320 883dc8fc3328
parent 34318 c13e168a8ae6
child 34342 b2781f2cd80a
permissions -rw-r--r--
basic Netbeans project setup;

<?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>