dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
search field for symbols
<?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.syslog-panel">
<CODE>
wm.addDockableWindow("isabelle-syslog");
</CODE>
</ACTION>
<ACTION NAME="isabelle.readme-panel">
<CODE>
wm.addDockableWindow("isabelle-readme");
</CODE>
</ACTION>
<ACTION NAME="isabelle.output-panel">
<CODE>
wm.addDockableWindow("isabelle-output");
</CODE>
</ACTION>
<ACTION NAME="isabelle.graphview-panel">
<CODE>
wm.addDockableWindow("isabelle-graphview");
</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.symbols-panel">
<CODE>
wm.addDockableWindow("isabelle-symbols");
</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>