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