equal
deleted
inserted
replaced
18 plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 4.4.1 |
18 plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 4.4.1 |
19 plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 1.8 |
19 plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 1.8 |
20 plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 0.8 |
20 plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 0.8 |
21 |
21 |
22 #options |
22 #options |
23 plugin.isabelle.jedit.Plugin.option-pane=isabelle |
23 plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering |
24 options.isabelle.label=Isabelle |
24 options.isabelle-general.label=General |
25 options.isabelle.code=new isabelle.jedit.Isabelle_Options(); |
25 options.isabelle-general.code=new isabelle.jedit.Isabelle_Options1(); |
|
26 options.isabelle-rendering.label=Rendering |
|
27 options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2(); |
26 |
28 |
27 #actions |
29 #actions |
28 isabelle.check-buffer.label=Commence full proof checking of current buffer |
30 isabelle.check-buffer.label=Commence full proof checking of current buffer |
29 isabelle.check-buffer.shortcut=C+e SPACE |
31 isabelle.check-buffer.shortcut=C+e SPACE |
30 isabelle.cancel-execution.label=Cancel current proof checking process |
32 isabelle.cancel-execution.label=Cancel current proof checking process |