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, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel |
|
8 plugin.isabelle.jedit.Plugin.version=11.2 |
|
9 plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE |
|
10 |
|
11 #system parameters |
|
12 plugin.isabelle.jedit.Plugin.activate=defer |
|
13 plugin.isabelle.jedit.Plugin.usePluginHome=false |
|
14 |
|
15 #dependencies |
|
16 plugin.isabelle.jedit.Plugin.depend.0=jdk 11 |
|
17 plugin.isabelle.jedit.Plugin.depend.1=jedit 05.05.00.00 |
|
18 plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.1.4 |
|
19 plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.3 |
|
20 plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.8 |
|
21 plugin.isabelle.jedit.Plugin.depend.5=plugin isabelle.jedit_base.Plugin 1.0 |
|
22 |
|
23 #options |
|
24 plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering |
|
25 options.isabelle-general.label=General |
|
26 options.isabelle-general.code=new isabelle.jedit.Isabelle_Options1(); |
|
27 options.isabelle-rendering.label=Rendering |
|
28 options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2(); |
|
29 |
|
30 #menu actions and dockables |
|
31 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
|
32 plugin.isabelle.jedit.Plugin.menu= \ |
|
33 isabelle-export-browser \ |
|
34 isabelle-session-browser \ |
|
35 isabelle.preview \ |
|
36 isabelle.draft \ |
|
37 isabelle.java-monitor \ |
|
38 - \ |
|
39 isabelle-debugger \ |
|
40 isabelle-documentation \ |
|
41 isabelle-monitor \ |
|
42 isabelle-output \ |
|
43 isabelle-protocol \ |
|
44 isabelle-query \ |
|
45 isabelle-raw-output \ |
|
46 isabelle-simplifier-trace \ |
|
47 isabelle-sledgehammer \ |
|
48 isabelle-state \ |
|
49 isabelle-symbols \ |
|
50 isabelle-syslog \ |
|
51 isabelle-theories \ |
|
52 isabelle-timing |
|
53 isabelle-debugger.label=Debugger panel |
|
54 isabelle-debugger.title=Debugger |
|
55 isabelle-documentation.label=Documentation panel |
|
56 isabelle-documentation.title=Documentation |
|
57 isabelle-graphview.label=Graphview panel |
|
58 isabelle-graphview.title=Graphview |
|
59 isabelle-info.label=Info panel |
|
60 isabelle-info.title=Info |
|
61 isabelle-monitor.label=Monitor panel |
|
62 isabelle-monitor.title=Monitor |
|
63 isabelle-output.label=Output panel |
|
64 isabelle-output.title=Output |
|
65 isabelle-protocol.label=Protocol panel |
|
66 isabelle-protocol.title=Protocol |
|
67 isabelle-query.label=Query panel |
|
68 isabelle-query.title=Query |
|
69 isabelle-raw-output.label=Raw Output panel |
|
70 isabelle-raw-output.title=Raw Output |
|
71 isabelle-simplifier-trace.label=Simplifier Trace panel |
|
72 isabelle-simplifier-trace.title=Simplifier Trace |
|
73 isabelle-sledgehammer.label=Sledgehammer panel |
|
74 isabelle-sledgehammer.title=Sledgehammer |
|
75 isabelle-state.label=State panel |
|
76 isabelle-state.title=State |
|
77 isabelle-symbols.label=Symbols panel |
|
78 isabelle-symbols.title=Symbols |
|
79 isabelle-syslog.label=Syslog panel |
|
80 isabelle-syslog.title=Syslog |
|
81 isabelle-theories.label=Theories panel |
|
82 isabelle-theories.title=Theories |
|
83 isabelle-timing.label=Timing panel |
|
84 isabelle-timing.title=Timing |
|
85 |
|
86 #SideKick |
|
87 mode.isabelle-news.folding=sidekick |
|
88 mode.isabelle-news.sidekick.parser=isabelle-news |
|
89 mode.isabelle-options.folding=sidekick |
|
90 mode.isabelle-options.sidekick.parser=isabelle-options |
|
91 mode.isabelle-root.folding=sidekick |
|
92 mode.isabelle-root.sidekick.parser=isabelle-root |
|
93 mode.isabelle.customSettings=true |
|
94 mode.isabelle.folding=isabelle |
|
95 mode.isabelle.sidekick.parser=isabelle |
|
96 mode.isabelle.sidekick.showStatusWindow.label=true |
|
97 mode.isabelle-ml.folding=sidekick |
|
98 mode.isabelle-ml.sidekick.parser=isabelle-ml |
|
99 mode.sml.folding=sidekick |
|
100 mode.sml.sidekick.parser=isabelle-sml |
|
101 mode.bibtex.folding=sidekick |
|
102 mode.bibtex.sidekick.parser=bibtex |
|
103 sidekick.parser.isabelle.label=isabelle |
|
104 sidekick.parser.isabelle-context.label=isabelle-context |
|
105 sidekick.parser.isabelle-markup.label=isabelle-markup |
|
106 sidekick.parser.isabelle-ml.label=isabelle-ml |
|
107 sidekick.parser.isabelle-sml.label=isabelle-sml |
|
108 sidekick.parser.isabelle-news.label=isabelle-news |
|
109 sidekick.parser.isabelle-options.label=isabelle-options |
|
110 sidekick.parser.isabelle-root.label=isabelle-root |
|
111 sidekick.parser.bibtex.label=bibtex |
|