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