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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
