[isabelle-dev] Shortcuts for \<^sub> and \<^sup>?

Lars Noschinski noschinl at in.tum.de
Fri Jan 16 09:34:45 CET 2015

On 15.01.2015 15:59, Makarius wrote:
> On Tue, 13 Jan 2015, Lars Noschinski wrote:
>> in Isabelle 2014, on can enter \<^sub> and \<^sup> via C+e DOWN and C+e
>> UP, respectively. In 91649ea1b32c, these shortcuts don't work anymore
>> (at least for me).
> This should still work.  Can you try it with a clean
> $ISABELLE_HOME_USER/jedit directory?
Indeed, this works. My configuration still had

    isabelle.control-isub.shortcut=C+e DOWN

instead of

    isabelle.control-sub.shortcut=C+e DOWN

  -- Lars

More information about the isabelle-dev mailing list