src/Tools/jEdit/src/actions.xml

simplified directory structure;

<?xml version="1.0"?>
<!DOCTYPE ACTIONS SYSTEM "actions.dtd">

<ACTIONS>
	<ACTION NAME="isabelle.session-panel">
		<CODE>
			wm.addDockableWindow("isabelle-session");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.output-panel">
		<CODE>
			wm.addDockableWindow("isabelle-output");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.raw-output-panel">
		<CODE>
			wm.addDockableWindow("isabelle-raw-output");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.protocol-panel">
		<CODE>
			wm.addDockableWindow("isabelle-protocol");
		</CODE>
	</ACTION>
</ACTIONS>