4 |
4 |
5 #identification |
5 #identification |
6 plugin.isabelle.jedit.Plugin.name=Isabelle |
6 plugin.isabelle.jedit.Plugin.name=Isabelle |
7 plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel |
7 plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel |
8 plugin.isabelle.jedit.Plugin.version=0.0.1 |
8 plugin.isabelle.jedit.Plugin.version=0.0.1 |
9 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar live document editing |
9 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof processing |
10 |
10 |
11 #system parameters |
11 #system parameters |
12 plugin.isabelle.jedit.Plugin.activate=defer |
12 plugin.isabelle.jedit.Plugin.activate=defer |
13 plugin.isabelle.jedit.Plugin.usePluginHome=false |
13 plugin.isabelle.jedit.Plugin.usePluginHome=false |
14 plugin.isabelle.jedit.Plugin.jars= |
|
15 |
14 |
16 #dependencies |
15 #dependencies |
17 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.6 |
16 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.6 |
18 plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.17.00 |
17 plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.17.00 |
19 plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7 |
18 plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7 |
21 plugin.isabelle.jedit.Plugin.depend.4=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1 |
20 plugin.isabelle.jedit.Plugin.depend.4=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1 |
22 |
21 |
23 #options |
22 #options |
24 plugin.isabelle.jedit.Plugin.option-pane=isabelle |
23 plugin.isabelle.jedit.Plugin.option-pane=isabelle |
25 options.isabelle.label=Isabelle |
24 options.isabelle.label=Isabelle |
26 options.isabelle.code=new isabelle.jedit.OptionPane(); |
25 options.isabelle.code=new isabelle.jedit.Isabelle_Options(); |
27 options.isabelle.logic.title=Logic |
26 options.isabelle.logic.title=Logic |
28 options.isabelle.font-size.title=Font Size |
27 options.isabelle.font-size.title=Font Size |
29 options.isabelle.font-size=14 |
28 options.isabelle.font-size=14 |
30 |
29 |
31 #menu actions |
30 #menu actions |
32 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
31 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
33 plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-state isabelle.show-output isabelle.show-browser |
32 plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-results isabelle.show-raw-output isabelle.show-history |
34 isabelle.activate.label=Activate current buffer |
33 isabelle.activate.label=Activate current buffer |
35 isabelle.show-state.label=Show State |
34 isabelle.show-results.label=Show Results |
36 isabelle.show-output.label=Show Output |
35 isabelle.show-raw-output.label=Show Raw Output |
37 isabelle.show-browser.label=Show Version-Browser |
36 isabelle.show-history.label=Show History |
38 |
37 |
39 #dockables |
38 #dockables |
40 isabelle-output.title=Isabelle Output |
39 isabelle-results.title=Results |
41 isabelle-state.title=Isabelle State |
40 isabelle-raw-output.title=Raw Output |
42 isabelle-browser.title=Isabelle Browse-Version |
41 isabelle-history.title=History |
43 |
42 |
44 #SideKick |
43 #SideKick |
45 sidekick.parser.isabelle.label=Isabelle |
44 sidekick.parser.isabelle.label=Isabelle |
46 mode.isabelle.sidekick.parser=isabelle |
45 mode.isabelle.sidekick.parser=isabelle |
47 mode.ml.sidekick.parser=isabelle |
46 mode.ml.sidekick.parser=isabelle |