wenzelm@34760: <?xml version="1.0"?>
wenzelm@34760: <!DOCTYPE ACTIONS SYSTEM "actions.dtd">
wenzelm@34760: 
wenzelm@34318: <ACTIONS>
wenzelm@39515: 	<ACTION NAME="isabelle.session-panel">
wenzelm@39515: 		<CODE>
wenzelm@39515: 			wm.addDockableWindow("isabelle-session");
wenzelm@39515: 		</CODE>
wenzelm@39515: 	</ACTION>
wenzelm@39617: 	<ACTION NAME="isabelle.output-panel">
wenzelm@34760: 		<CODE>
wenzelm@34773: 			wm.addDockableWindow("isabelle-output");
wenzelm@34760: 		</CODE>
wenzelm@34760: 	</ACTION>
wenzelm@39617: 	<ACTION NAME="isabelle.raw-output-panel">
wenzelm@37065: 		<CODE>
wenzelm@37065: 			wm.addDockableWindow("isabelle-raw-output");
wenzelm@37065: 		</CODE>
wenzelm@37065: 	</ACTION>
wenzelm@39617: 	<ACTION NAME="isabelle.protocol-panel">
wenzelm@34760: 		<CODE>
wenzelm@34773: 			wm.addDockableWindow("isabelle-protocol");
wenzelm@34760: 		</CODE>
wenzelm@34760: 	</ACTION>
wenzelm@44238: 	<ACTION NAME="isabelle.input-sub">
wenzelm@44238: 	  <CODE>
wenzelm@44238: 	    isabelle.jedit.Isabelle.input_sub(textArea);
wenzelm@44238: 	  </CODE>
wenzelm@44238: 	</ACTION>
wenzelm@44238: 	<ACTION NAME="isabelle.input-sup">
wenzelm@44238: 	  <CODE>
wenzelm@44238: 	    isabelle.jedit.Isabelle.input_sup(textArea);
wenzelm@44238: 	  </CODE>
wenzelm@44238: 	</ACTION>
wenzelm@44238: 	<ACTION NAME="isabelle.input-isub">
wenzelm@44238: 	  <CODE>
wenzelm@44238: 	    isabelle.jedit.Isabelle.input_isub(textArea);
wenzelm@44238: 	  </CODE>
wenzelm@44238: 	</ACTION>
wenzelm@44238: 	<ACTION NAME="isabelle.input-isup">
wenzelm@44238: 	  <CODE>
wenzelm@44238: 	    isabelle.jedit.Isabelle.input_isup(textArea);
wenzelm@44238: 	  </CODE>
wenzelm@44238: 	</ACTION>
wenzelm@44238: 	<ACTION NAME="isabelle.input-bsub">
wenzelm@44238: 	  <CODE>
wenzelm@44238: 	    isabelle.jedit.Isabelle.input_bsub(textArea);
wenzelm@44238: 	  </CODE>
wenzelm@44238: 	</ACTION>
wenzelm@44238: 	<ACTION NAME="isabelle.input-bsup">
wenzelm@44238: 	  <CODE>
wenzelm@44238: 	    isabelle.jedit.Isabelle.input_bsup(textArea);
wenzelm@44238: 	  </CODE>
wenzelm@44238: 	</ACTION>
wenzelm@44238: 	<ACTION NAME="isabelle.input-bold">
wenzelm@44238: 	  <CODE>
wenzelm@44238: 	    isabelle.jedit.Isabelle.input_bold(textArea);
wenzelm@44238: 	  </CODE>
wenzelm@44238: 	</ACTION>
wenzelm@44238: 
wenzelm@34318: </ACTIONS>