lib/jedit/plugin/dockables.xml

separate channel for Quickcheck evaluations

<?xml version="1.0"?>
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
<!-- $Id$ -->

<DOCKABLES>
	<DOCKABLE NAME="isabelle" MOVABLE="TRUE">
		new isabelle.jedit.IsabelleDock(view, position);
	</DOCKABLE>
</DOCKABLES>