--- a/src/Tools/jEdit/src/Isabelle.props Fri Nov 30 21:30:24 2012 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props Fri Nov 30 21:47:44 2012 +0100
@@ -27,9 +27,7 @@
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