lib/jedit/plugin/dockables.xml

pretty_ml/ml_pretty: proper handling of markup and string length;

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

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