support Protocol.Dialog action hyperlink. Isabelle can provide dialogs via Prover Output, where user can select some option. When selected, the option is sent back to the prover and the presentation changes.