25 options.isabelle-general.code=new isabelle.jedit.Isabelle_Options1(); |
25 options.isabelle-general.code=new isabelle.jedit.Isabelle_Options1(); |
26 options.isabelle-rendering.label=Rendering |
26 options.isabelle-rendering.label=Rendering |
27 options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2(); |
27 options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2(); |
28 |
28 |
29 #actions |
29 #actions |
|
30 isabelle.check-buffer.label=Commence full proof checking of current buffer |
|
31 isabelle.check-buffer.shortcut=C+e SPACE |
|
32 isabelle.cancel-execution.label=Cancel current proof checking process |
|
33 isabelle.cancel-execution.shortcut=C+e BACK_SPACE |
30 isabelle.increase-font-size.label=Increase font size |
34 isabelle.increase-font-size.label=Increase font size |
31 isabelle.increase-font-size.shortcut=C+PLUS |
35 isabelle.increase-font-size.shortcut=C+PLUS |
32 isabelle.decrease-font-size.label=Decrease font size |
36 isabelle.decrease-font-size.label=Decrease font size |
33 isabelle.decrease-font-size.shortcut=C+MINUS |
37 isabelle.decrease-font-size.shortcut=C+MINUS |
34 isabelle.check-buffer.label=Commence full proof checking of current buffer |
|
35 isabelle.check-buffer.shortcut=C+e SPACE |
|
36 isabelle.cancel-execution.label=Cancel current proof checking process |
|
37 isabelle.cancel-execution.shortcut=C+e BACK_SPACE |
|
38 isabelle.control-isub.label=Control subscript |
38 isabelle.control-isub.label=Control subscript |
39 isabelle.control-isub.shortcut=C+e DOWN |
39 isabelle.control-isub.shortcut=C+e DOWN |
40 isabelle.control-isup.label=Control superscript |
40 isabelle.control-isup.label=Control superscript |
41 isabelle.control-isup.shortcut=C+e UP |
41 isabelle.control-isup.shortcut=C+e UP |
42 isabelle.control-bold.label=Control bold |
42 isabelle.control-bold.label=Control bold |