src/Tools/jEdit/src/Isabelle.props

 options.isabelle-general.code=new isabelle.jedit.Isabelle_Options1();
 options.isabelle-rendering.label=Rendering
 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.increase-font-size.shortcut2=C+EQUALS
 isabelle.decrease-font-size.label=Decrease font size