--- a/src/Tools/jEdit/src/jEdit.props Tue Dec 04 19:10:14 2012 +0100
+++ b/src/Tools/jEdit/src/jEdit.props Tue Dec 04 22:14:59 2012 +0100
@@ -183,7 +183,9 @@
isabelle-readme.dock-position=bottom
isabelle-symbols.dock-position=bottom
isabelle-theories.dock-position=bottom
+isabelle.cancel-execution.label=Cancel execution
isabelle.cancel-execution.shortcut=C+e BACK_SPACE
+isabelle.check-buffer.label=Commence full checking
isabelle.check-buffer.shortcut=C+e SPACE
isabelle.control-bold.label=Control bold
isabelle.control-bold.shortcut=C+e RIGHT