author | wenzelm |
Sun, 13 Jan 2019 13:33:23 +0100 | |
changeset 69643 | 83f15deb2d36 |
parent 68392 | b2510432c94d |
child 69762 | 58fb0d779583 |
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 |
|
62019 | 7 |
plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel |
68392 | 8 |
plugin.isabelle.jedit.Plugin.version=10.0 |
49566
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 |
|
66459 | 12 |
plugin.isabelle.jedit.Plugin.activate=defer |
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 |
62758 | 16 |
plugin.isabelle.jedit.Plugin.depend.0=jdk 1.8 |
68392 | 17 |
plugin.isabelle.jedit.Plugin.depend.1=jedit 05.05.00.00 |
58896 | 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 |
|
61511 | 20 |
plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.8 |
66457
9098c36abd1a
separate base plugin for important services that should be always available, despite startup errors of the main plugin;
wenzelm
parents:
65329
diff
changeset
|
21 |
plugin.isabelle.jedit.Plugin.depend.5=plugin isabelle.jedit_base.Plugin 1.0 |
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 |
|
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
30 |
#menu actions and dockables |
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= \ |
69643 | 33 |
isabelle-export-browser \ |
68067 | 34 |
isabelle.preview \ |
35 |
isabelle.draft \ |
|
36 |
- \ |
|
60749 | 37 |
isabelle-debugger \ |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
38 |
isabelle-documentation \ |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
39 |
isabelle-monitor \ |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
40 |
isabelle-output \ |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
41 |
isabelle-protocol \ |
56879
ee2b61f37ad9
renamed "Find" to "Query", with more general operations;
wenzelm
parents:
56507
diff
changeset
|
42 |
isabelle-query \ |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
43 |
isabelle-raw-output \ |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
44 |
isabelle-simplifier-trace \ |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
45 |
isabelle-sledgehammer \ |
61208 | 46 |
isabelle-state \ |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
47 |
isabelle-symbols \ |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
48 |
isabelle-syslog \ |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
49 |
isabelle-theories \ |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
50 |
isabelle-timing |
60749 | 51 |
isabelle-debugger.label=Debugger panel |
52 |
isabelle-debugger.title=Debugger |
|
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
53 |
isabelle-documentation.label=Documentation panel |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
54 |
isabelle-documentation.title=Documentation |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
55 |
isabelle-graphview.label=Graphview panel |
50454 | 56 |
isabelle-graphview.title=Graphview |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
57 |
isabelle-info.label=Info panel |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
58 |
isabelle-info.title=Info |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
59 |
isabelle-monitor.label=Monitor panel |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
60 |
isabelle-monitor.title=Monitor |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
61 |
isabelle-output.label=Output panel |
34773 | 62 |
isabelle-output.title=Output |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
63 |
isabelle-protocol.label=Protocol panel |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
64 |
isabelle-protocol.title=Protocol |
56879
ee2b61f37ad9
renamed "Find" to "Query", with more general operations;
wenzelm
parents:
56507
diff
changeset
|
65 |
isabelle-query.label=Query panel |
ee2b61f37ad9
renamed "Find" to "Query", with more general operations;
wenzelm
parents:
56507
diff
changeset
|
66 |
isabelle-query.title=Query |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
67 |
isabelle-raw-output.label=Raw Output panel |
37065
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
36817
diff
changeset
|
68 |
isabelle-raw-output.title=Raw Output |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
69 |
isabelle-simplifier-trace.label=Simplifier Trace panel |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
70 |
isabelle-simplifier-trace.title=Simplifier Trace |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
71 |
isabelle-sledgehammer.label=Sledgehammer panel |
52908
3461985dcbc3
dockable window for Sledgehammer, based on asynchronous/parallel query operation;
wenzelm
parents:
52846
diff
changeset
|
72 |
isabelle-sledgehammer.title=Sledgehammer |
61208 | 73 |
isabelle-state.label=State panel |
74 |
isabelle-state.title=State |
|
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
75 |
isabelle-symbols.label=Symbols panel |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
76 |
isabelle-symbols.title=Symbols |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
77 |
isabelle-syslog.label=Syslog panel |
48021
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48020
diff
changeset
|
78 |
isabelle-syslog.title=Syslog |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
79 |
isabelle-theories.label=Theories panel |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50308
diff
changeset
|
80 |
isabelle-theories.title=Theories |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
81 |
isabelle-timing.label=Timing panel |
51533 | 82 |
isabelle-timing.title=Timing |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
83 |
|
34421 | 84 |
#SideKick |
58542 | 85 |
mode.isabelle-news.folding=sidekick |
52539 | 86 |
mode.isabelle-news.sidekick.parser=isabelle-news |
48718 | 87 |
mode.isabelle-options.folding=sidekick |
48717
622251b2b0f1
clarified Sidekick configuration, including minor modes;
wenzelm
parents:
48021
diff
changeset
|
88 |
mode.isabelle-options.sidekick.parser=isabelle-options |
48718 | 89 |
mode.isabelle-root.folding=sidekick |
48717
622251b2b0f1
clarified Sidekick configuration, including minor modes;
wenzelm
parents:
48021
diff
changeset
|
90 |
mode.isabelle-root.sidekick.parser=isabelle-root |
622251b2b0f1
clarified Sidekick configuration, including minor modes;
wenzelm
parents:
48021
diff
changeset
|
91 |
mode.isabelle.customSettings=true |
58698 | 92 |
mode.isabelle.folding=isabelle |
48718 | 93 |
mode.isabelle.sidekick.parser=isabelle |
94 |
mode.isabelle.sidekick.showStatusWindow.label=true |
|
63620 | 95 |
mode.isabelle-ml.folding=sidekick |
63610 | 96 |
mode.isabelle-ml.sidekick.parser=isabelle-ml |
63620 | 97 |
mode.sml.folding=sidekick |
63610 | 98 |
mode.sml.sidekick.parser=isabelle-sml |
58542 | 99 |
mode.bibtex.folding=sidekick |
58526 | 100 |
mode.bibtex.sidekick.parser=bibtex |