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

Lars Noschinski noschinl at in.tum.de
Tue Jan 13 10:03:44 CET 2015

Previous message (by thread): [isabelle-dev] [isabelle] Sublocale, subclass and execution.
Next message (by thread): [isabelle-dev] Shortcuts for \<^sub> and \<^sup>?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

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). Is there any other shortcut for these?

  -- Lars

Previous message (by thread): [isabelle-dev] [isabelle] Sublocale, subclass and execution.
Next message (by thread): [isabelle-dev] Shortcuts for \<^sub> and \<^sup>?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list