[isabelle-dev] Shortcuts for \<^sub> and \<^sup>?
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
More information about the isabelle-dev