|
1 ## Isabelle plugin properties |
|
2 |
|
3 #identification |
|
4 plugin.isabelle.jedit.Plugin.name=Isabelle |
|
5 plugin.isabelle.jedit.Plugin.version=0.0.1 |
|
6 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar proof document support |
|
7 |
|
8 #system parameters |
|
9 plugin.isabelle.jedit.Plugin.activate=startup |
|
10 plugin.isabelle.jedit.Plugin.option-pane=isabelle |
|
11 plugin.isabelle.jedit.Plugin.usePluginHome=false |
|
12 plugin.isabelle.jedit.Plugin.jars=isabelle-Pure.jar core-renderer.jar scala-library.jar |
|
13 |
|
14 #dependencies |
|
15 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.5 |
|
16 plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.14.00 |
|
17 plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7 |
|
18 plugin.isabelle.jedit.Plugin.depend.3=plugin sidekick.SideKickPlugin 0.7.6 |
|
19 |
|
20 #menu |
|
21 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
|
22 plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate Isabelle.show-scroller |
|
23 |
|
24 Isabelle.show-output.label=Show Output |
|
25 Isabelle.show-state.label=Show State |
|
26 Isabelle.show-scroller.label=Show Scroller |
|
27 Isabelle.activate.label=Activate current buffer |
|
28 |
|
29 Isabelle_output.title=Isabelle Output |
|
30 Isabelle_state.title=Isabelle State |
|
31 Isabelle_scroller.title=Isabelle Scroller |
|
32 |
|
33 #options |
|
34 options.isabelle.label=Isabelle |
|
35 options.isabelle.code=new isabelle.jedit.OptionPane(); |
|
36 options.isabelle.font-path.title=Font Path |
|
37 options.isabelle.font-size.title=Font Size |
|
38 options.isabelle.font-size=14 |
|
39 |
|
40 sidekick.parser.isabelle.label=Isabelle |
|
41 mode.text.sidekick.parser=isabelle |