1 ## Isabelle plugin properties |
1 ## Isabelle plugin properties |
2 |
2 |
3 #identification |
3 #identification |
4 plugin.isabelle.jedit.Plugin.name=Isabelle |
4 plugin.isabelle.jedit.Plugin.name=Isabelle |
|
5 plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel |
5 plugin.isabelle.jedit.Plugin.version=0.0.1 |
6 plugin.isabelle.jedit.Plugin.version=0.0.1 |
6 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar proof document support |
7 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar live document editing |
7 |
8 |
8 #system parameters |
9 #system parameters |
9 plugin.isabelle.jedit.Plugin.activate=defer |
10 plugin.isabelle.jedit.Plugin.activate=defer |
10 plugin.isabelle.jedit.Plugin.usePluginHome=false |
11 plugin.isabelle.jedit.Plugin.usePluginHome=false |
11 plugin.isabelle.jedit.Plugin.jars=isabelle-Pure.jar core-renderer.jar scala-library.jar |
12 plugin.isabelle.jedit.Plugin.jars=isabelle-Pure.jar core-renderer.jar scala-library.jar |
22 options.isabelle.code=new isabelle.jedit.OptionPane(); |
23 options.isabelle.code=new isabelle.jedit.OptionPane(); |
23 options.isabelle.font-path.title=Font Path |
24 options.isabelle.font-path.title=Font Path |
24 options.isabelle.font-size.title=Font Size |
25 options.isabelle.font-size.title=Font Size |
25 options.isabelle.font-size=14 |
26 options.isabelle.font-size=14 |
26 |
27 |
27 #menu |
28 #menu actions |
28 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
29 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
29 plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate Isabelle.show-scroller |
30 plugin.isabelle.jedit.Plugin.menu=isabelle.show-output isabelle.show-state isabelle.activate isabelle.show-scroller |
|
31 isabelle.show-output.label=Show Output |
|
32 isabelle.show-state.label=Show State |
|
33 isabelle.show-scroller.label=Show Scroller |
|
34 isabelle.activate.label=Activate current buffer |
30 |
35 |
31 Isabelle.show-output.label=Show Output |
36 #dockables |
32 Isabelle.show-state.label=Show State |
37 isabelle-output.title=Isabelle Output |
33 Isabelle.show-scroller.label=Show Scroller |
38 isabelle-state.title=Isabelle State |
34 Isabelle.activate.label=Activate current buffer |
39 isabelle-scroller.title=Isabelle Scroller |
35 |
40 |
36 Isabelle_output.title=Isabelle Output |
41 #SideKick |
37 Isabelle_state.title=Isabelle State |
|
38 Isabelle_scroller.title=Isabelle Scroller |
|
39 |
|
40 sidekick.parser.isabelle.label=Isabelle |
42 sidekick.parser.isabelle.label=Isabelle |
41 mode.isabelle.sidekick.parser=isabelle |
43 mode.isabelle.sidekick.parser=isabelle |
42 mode.ml.sidekick.parser=isabelle |
44 mode.ml.sidekick.parser=isabelle |