--- a/src/Tools/jEdit/src/jEdit.props Mon Jul 29 19:55:38 2013 +0200
+++ b/src/Tools/jEdit/src/jEdit.props Mon Jul 29 20:34:53 2013 +0200
@@ -185,10 +185,10 @@
isabelle-readme.dock-position=bottom
isabelle-symbols.dock-position=bottom
isabelle-theories.dock-position=right
-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.execution-range-none.label=Check nothing
+isabelle.execution-range-none.shortcut=C+e BACK_SPACE
+isabelle.execution-range-visible=Check visible parts of theories
+isabelle.execution-range-visible.shortcut=C+e SPACE
isabelle.control-bold.label=Control bold
isabelle.control-bold.shortcut=C+e RIGHT
isabelle.control-isub.label=Control subscript