--- a/src/Tools/jEdit/src/Isabelle.props Sun Nov 25 21:35:29 2012 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props Sun Nov 25 21:40:34 2012 +0100
@@ -27,14 +27,14 @@
options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2();
#actions
+isabelle.check-buffer.label=Commence full proof checking of current buffer
+isabelle.check-buffer.shortcut=C+e SPACE
+isabelle.cancel-execution.label=Cancel current proof checking process
+isabelle.cancel-execution.shortcut=C+e BACK_SPACE
isabelle.increase-font-size.label=Increase font size
isabelle.increase-font-size.shortcut=C+PLUS
isabelle.decrease-font-size.label=Decrease font size
isabelle.decrease-font-size.shortcut=C+MINUS
-isabelle.check-buffer.label=Commence full proof checking of current buffer
-isabelle.check-buffer.shortcut=C+e SPACE
-isabelle.cancel-execution.label=Cancel current proof checking process
-isabelle.cancel-execution.shortcut=C+e BACK_SPACE
isabelle.control-isub.label=Control subscript
isabelle.control-isub.shortcut=C+e DOWN
isabelle.control-isup.label=Control superscript