1 ## Isabelle plugin properties |
|
2 ## |
|
3 ##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100: |
|
4 |
|
5 #identification |
|
6 plugin.isabelle.jedit.Plugin.name=Isabelle |
|
7 plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel |
|
8 plugin.isabelle.jedit.Plugin.version=0.1.0 |
|
9 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof document editing |
|
10 |
|
11 #system parameters |
|
12 plugin.isabelle.jedit.Plugin.activate=startup |
|
13 plugin.isabelle.jedit.Plugin.usePluginHome=false |
|
14 |
|
15 #dependencies |
|
16 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.6 |
|
17 plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.99.00 |
|
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 |
|
20 plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 0.8 |
|
21 plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1 |
|
22 |
|
23 #options |
|
24 plugin.isabelle.jedit.Plugin.option-pane=isabelle |
|
25 options.isabelle.label=Isabelle |
|
26 options.isabelle.code=new isabelle.jedit.Isabelle_Options(); |
|
27 options.isabelle.logic.title=Logic |
|
28 options.isabelle.relative-font-size.title=Relative Font Size |
|
29 options.isabelle.relative-font-size=100 |
|
30 options.isabelle.tooltip-font-size.title=Tooltip Font Size |
|
31 options.isabelle.tooltip-font-size=10 |
|
32 options.isabelle.tooltip-margin.title=Tooltip Margin |
|
33 options.isabelle.tooltip-margin=40 |
|
34 options.isabelle.tooltip-dismiss-delay.title=Tooltip Dismiss Delay (global) |
|
35 options.isabelle.tooltip-dismiss-delay=8.0 |
|
36 options.isabelle.startup-timeout=25.0 |
|
37 options.isabelle.auto-start.title=Auto Start |
|
38 options.isabelle.auto-start=true |
|
39 |
|
40 #menu actions |
|
41 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
|
42 plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel |
|
43 isabelle.session-panel.label=Prover Session panel |
|
44 isabelle.output-panel.label=Output panel |
|
45 isabelle.raw-output-panel.label=Raw Output panel |
|
46 isabelle.protocol-panel.label=Protocol panel |
|
47 |
|
48 #dockables |
|
49 isabelle-session.title=Prover Session |
|
50 isabelle-output.title=Output |
|
51 isabelle-raw-output.title=Raw Output |
|
52 isabelle-protocol.title=Protocol |
|
53 |
|
54 #SideKick |
|
55 sidekick.parser.isabelle.label=Isabelle |
|
56 mode.isabelle.sidekick.parser=isabelle |
|
57 mode.ml.sidekick.parser=isabelle |
|
58 |
|
59 #Hyperlinks |
|
60 mode.isabelle.hyperlink.source=isabelle |
|