--- a/src/Tools/jEdit/src/jEdit.props Fri Dec 14 12:16:08 2012 +0100
+++ b/src/Tools/jEdit/src/jEdit.props Fri Dec 14 12:18:51 2012 +0100
@@ -191,8 +191,8 @@
isabelle.control-bold.shortcut=C+e RIGHT
isabelle.control-isub.label=Control subscript
isabelle.control-isub.shortcut=C+e DOWN
-isabelle.control-isup.label=Control superscript
-isabelle.control-isup.shortcut=C+e UP
+isabelle.control-sup.label=Control superscript
+isabelle.control-sup.shortcut=C+e UP
isabelle.control-reset.label=Control reset
isabelle.control-reset.shortcut=C+e LEFT
isabelle.decrease-font-size.label=Decrease font size