<?xml version="1.0"?>
<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
<ACTIONS>
<ACTION NAME="isabelle.set-continuous-checking">
<CODE>
isabelle.jedit.Isabelle.set_continuous_checking();
</CODE>
</ACTION>
<ACTION NAME="isabelle.reset-continuous-checking">
<CODE>
isabelle.jedit.Isabelle.reset_continuous_checking();
</CODE>
</ACTION>
<ACTION NAME="isabelle.toggle-continuous-checking">
<CODE>
isabelle.jedit.Isabelle.toggle_continuous_checking();
</CODE>
</ACTION>
<ACTION NAME="isabelle.set-node-required">
<CODE>
isabelle.jedit.Isabelle.set_node_required(view);
</CODE>
</ACTION>
<ACTION NAME="isabelle.reset-node-required">
<CODE>
isabelle.jedit.Isabelle.reset_node_required(view);
</CODE>
</ACTION>
<ACTION NAME="isabelle.toggle-node-required">
<CODE>
isabelle.jedit.Isabelle.toggle_node_required(view);
</CODE>
</ACTION>
<ACTION NAME="isabelle.update-state">
<CODE>
isabelle.jedit.Isabelle.update_state(view);
</CODE>
</ACTION>
<ACTION NAME="isabelle.reset-font-size">
<CODE>
isabelle.jedit.Isabelle.reset_font_size();
</CODE>
</ACTION>
<ACTION NAME="isabelle.increase-font-size">
<CODE>
isabelle.jedit.Isabelle.increase_font_size();
</CODE>
</ACTION>
<ACTION NAME="isabelle.increase-font-size2">
<CODE>
isabelle.jedit.Isabelle.increase_font_size();
</CODE>
</ACTION>
<ACTION NAME="isabelle.decrease-font-size">
<CODE>
isabelle.jedit.Isabelle.decrease_font_size();
</CODE>
</ACTION>
<ACTION NAME="isabelle.decrease-font-size2">
<CODE>
isabelle.jedit.Isabelle.decrease_font_size();
</CODE>
</ACTION>
<ACTION NAME="isabelle.complete">
<CODE>
isabelle.jedit.Isabelle.complete(view, false);
</CODE>
</ACTION>
<ACTION NAME="isabelle.complete-word">
<CODE>
isabelle.jedit.Isabelle.complete(view, true);
</CODE>
</ACTION>
<ACTION NAME="isabelle.control-sub">
<CODE>
isabelle.jedit.Isabelle.control_sub(textArea);
</CODE>
</ACTION>
<ACTION NAME="isabelle.control-sup">
<CODE>
isabelle.jedit.Isabelle.control_sup(textArea);
</CODE>
</ACTION>
<ACTION NAME="isabelle.control-bold">
<CODE>
isabelle.jedit.Isabelle.control_bold(textArea);
</CODE>
</ACTION>
<ACTION NAME="isabelle.control-reset">
<CODE>
isabelle.jedit.Isabelle.control_reset(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.include-word">
<CODE>
isabelle.jedit.Isabelle.update_dictionary(textArea, true, false);
</CODE>
</ACTION>
<ACTION NAME="isabelle.include-word-permanently">
<CODE>
isabelle.jedit.Isabelle.update_dictionary(textArea, true, true);
</CODE>
</ACTION>
<ACTION NAME="isabelle.exclude-word">
<CODE>
isabelle.jedit.Isabelle.update_dictionary(textArea, false, false);
</CODE>
</ACTION>
<ACTION NAME="isabelle.exclude-word-permanently">
<CODE>
isabelle.jedit.Isabelle.update_dictionary(textArea, false, true);
</CODE>
</ACTION>
<ACTION NAME="isabelle.reset-words">
<CODE>
isabelle.jedit.Isabelle.reset_dictionary();
</CODE>
</ACTION>
<ACTION NAME="isabelle.toggle-breakpoint">
<CODE>
isabelle.jedit.Isabelle.toggle_breakpoint(textArea);
</CODE>
</ACTION>
<ACTION NAME="isabelle.options">
<CODE>
isabelle.jedit.Isabelle.plugin_options(view);
</CODE>
</ACTION>
</ACTIONS>