src/Tools/jEdit/src/actions.xml

remove Library/Diagonalize.thy, because Library/Nat_Bijection.thy includes all the same functionality

<?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>
	<ACTION NAME="isabelle.input-sub">
	  <CODE>
	    isabelle.jedit.Isabelle.input_sub(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.input-sup">
	  <CODE>
	    isabelle.jedit.Isabelle.input_sup(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.input-isub">
	  <CODE>
	    isabelle.jedit.Isabelle.input_isub(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.input-isup">
	  <CODE>
	    isabelle.jedit.Isabelle.input_isup(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.input-bsub">
	  <CODE>
	    isabelle.jedit.Isabelle.input_bsub(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.input-bsup">
	  <CODE>
	    isabelle.jedit.Isabelle.input_bsup(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.input-bold">
	  <CODE>
	    isabelle.jedit.Isabelle.input_bold(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.check-buffer">
	  <CODE>
	    isabelle.jedit.Isabelle.check_buffer(buffer);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.cancel-execution">
	  <CODE>
	    isabelle.jedit.Isabelle.cancel_execution();
	  </CODE>
	</ACTION>
</ACTIONS>