author | wenzelm |
Tue, 26 Mar 2013 11:26:13 +0100 | |
changeset 51533 | 3f6280aedbcc |
parent 50728 | e7b2cfcef94c |
child 52445 | 18a720984855 |
permissions | -rw-r--r-- |
34418 | 1 |
## Isabelle plugin properties |
34520
909b2610da52
recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013);
wenzelm
parents:
34512
diff
changeset
|
2 |
## |
39515 | 3 |
##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100: |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
4 |
|
34418 | 5 |
#identification |
6 |
plugin.isabelle.jedit.Plugin.name=Isabelle |
|
49566
66cbf8bb4693
basic integration of graphview into document model;
wenzelm
parents:
49494
diff
changeset
|
7 |
plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Markus Kaiser, Makarius Wenzel |
66cbf8bb4693
basic integration of graphview into document model;
wenzelm
parents:
49494
diff
changeset
|
8 |
plugin.isabelle.jedit.Plugin.version=1.0.0 |
66cbf8bb4693
basic integration of graphview into document model;
wenzelm
parents:
49494
diff
changeset
|
9 |
plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE |
34418 | 10 |
|
11 |
#system parameters |
|
34803
74ea350c9b2f
back to activate=startup (again) -- ensure that Isabelle_Encoding refers to valid Isabelle.system;
wenzelm
parents:
34773
diff
changeset
|
12 |
plugin.isabelle.jedit.Plugin.activate=startup |
34418 | 13 |
plugin.isabelle.jedit.Plugin.usePluginHome=false |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
14 |
|
34418 | 15 |
#dependencies |
49566
66cbf8bb4693
basic integration of graphview into document model;
wenzelm
parents:
49494
diff
changeset
|
16 |
plugin.isabelle.jedit.Plugin.depend.0=jdk 1.7 |
50306 | 17 |
plugin.isabelle.jedit.Plugin.depend.1=jedit 05.00.00.00 |
18 |
plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.0 |
|
50728 | 19 |
plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.1 |
50306 | 20 |
plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.4 |
50728 | 21 |
plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.highlight.HighlightPlugin 1.9.10 |
34418 | 22 |
|
34420 | 23 |
#options |
49354 | 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(); |
|
34420 | 29 |
|
34421 | 30 |
#menu actions |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
31 |
plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
32 |
plugin.isabelle.jedit.Plugin.menu= \ |
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
33 |
isabelle.monitor-panel \ |
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
34 |
isabelle.output-panel \ |
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
35 |
isabelle.protocol-panel \ |
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
36 |
isabelle.raw-output-panel \ |
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
37 |
isabelle.readme-panel \ |
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
38 |
isabelle.symbols-panel \ |
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
39 |
isabelle.syslog-panel \ |
51533 | 40 |
isabelle.theories-panel \ |
41 |
isabelle.timing-panel |
|
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
42 |
isabelle.monitor-panel.label=Monitor panel |
39617 | 43 |
isabelle.output-panel.label=Output panel |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
44 |
isabelle.protocol-panel.label=Protocol panel |
39617 | 45 |
isabelle.raw-output-panel.label=Raw Output panel |
48014
63021e59cbf0
separate README dockable, which allows to make it more prominent first and remove it later;
wenzelm
parents:
45446
diff
changeset
|
46 |
isabelle.readme-panel.label=README panel |
50143
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49726
diff
changeset
|
47 |
isabelle.symbols-panel.label=Symbols panel |
48021
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48020
diff
changeset
|
48 |
isabelle.syslog-panel.label=Syslog panel |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
49 |
isabelle.theories-panel.label=Theories panel |
51533 | 50 |
isabelle.timing-panel.label=Timing panel |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
51 |
|
34421 | 52 |
#dockables |
50454 | 53 |
isabelle-graphview.title=Graphview |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
54 |
isabelle-info.title=Info |
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
55 |
isabelle-monitor.title=Monitor |
34773 | 56 |
isabelle-output.title=Output |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
57 |
isabelle-protocol.title=Protocol |
37065
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
36817
diff
changeset
|
58 |
isabelle-raw-output.title=Raw Output |
48014
63021e59cbf0
separate README dockable, which allows to make it more prominent first and remove it later;
wenzelm
parents:
45446
diff
changeset
|
59 |
isabelle-readme.title=README |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
60 |
isabelle-symbols.title=Symbols |
48021
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48020
diff
changeset
|
61 |
isabelle-syslog.title=Syslog |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
62 |
isabelle-theories.title=Theories |
51533 | 63 |
isabelle-timing.title=Timing |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
64 |
|
34421 | 65 |
#SideKick |
48718 | 66 |
mode.isabelle-options.folding=sidekick |
48717
622251b2b0f1
clarified Sidekick configuration, including minor modes;
wenzelm
parents:
48021
diff
changeset
|
67 |
mode.isabelle-options.sidekick.parser=isabelle-options |
48718 | 68 |
mode.isabelle-root.folding=sidekick |
48717
622251b2b0f1
clarified Sidekick configuration, including minor modes;
wenzelm
parents:
48021
diff
changeset
|
69 |
mode.isabelle-root.sidekick.parser=isabelle-root |
622251b2b0f1
clarified Sidekick configuration, including minor modes;
wenzelm
parents:
48021
diff
changeset
|
70 |
mode.isabelle.customSettings=true |
622251b2b0f1
clarified Sidekick configuration, including minor modes;
wenzelm
parents:
48021
diff
changeset
|
71 |
mode.isabelle.folding=sidekick |
48718 | 72 |
mode.isabelle.sidekick.parser=isabelle |
73 |
mode.isabelle.sidekick.showStatusWindow.label=true |
|
74 |
mode.ml.sidekick.parser=isabelle |
|
75 |
sidekick.parser.isabelle.label=Isabelle |
|
48717
622251b2b0f1
clarified Sidekick configuration, including minor modes;
wenzelm
parents:
48021
diff
changeset
|
76 |