[isabelle] Isabelle2016-RC5 superscript/subscript



Just switched to RC5. First thing I noticed was that Ctrl+E Uparrow and
Ctrl+E Downarrow do not work for me anymore. I don't think that I
changed any settings between RC4 and RC5.

Cheers,
Tom




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.