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

Makarius makarius at sketis.net
Thu Jan 15 15:59:37 CET 2015


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?

Maybe there is some conflict of new vs. old properties and keymaps.


 	Makarius



More information about the isabelle-dev mailing list