lib/jedit/plugin/dockables.xml

tuned structures in arith_data.ML

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

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