author | wenzelm |
Mon, 27 Sep 2010 21:16:42 +0200 | |
changeset 39734 | 47f5a8c92666 |
parent 39702 | d7c256cb2797 |
child 40339 | 088e5adca5ad |
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 |
|
34571 | 7 |
plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel |
34879 | 8 |
plugin.isabelle.jedit.Plugin.version=0.1.0 |
9 |
plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof document editing |
|
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 |
34752 | 16 |
plugin.isabelle.jedit.Plugin.depend.0=jdk 1.6 |
34879 | 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 |
|
34418 | 22 |
|
34420 | 23 |
#options |
24 |
plugin.isabelle.jedit.Plugin.option-pane=isabelle |
|
25 |
options.isabelle.label=Isabelle |
|
34760 | 26 |
options.isabelle.code=new isabelle.jedit.Isabelle_Options(); |
34617
8d2c49605685
simplified option pane: proper logic title, hardwired font path;
wenzelm
parents:
34571
diff
changeset
|
27 |
options.isabelle.logic.title=Logic |
36814
dc85664dbf6d
support Isabelle plugin properties with defaults;
wenzelm
parents:
34879
diff
changeset
|
28 |
options.isabelle.relative-font-size.title=Relative Font Size |
dc85664dbf6d
support Isabelle plugin properties with defaults;
wenzelm
parents:
34879
diff
changeset
|
29 |
options.isabelle.relative-font-size=100 |
37201
8517a650cfdc
control tooltip font via Swing HTML, with tooltip-font-size property;
wenzelm
parents:
37065
diff
changeset
|
30 |
options.isabelle.tooltip-font-size.title=Tooltip Font Size |
37203
c4261f3bbdd7
more flexibile font size via CSS <style> instead of old <font> element;
wenzelm
parents:
37201
diff
changeset
|
31 |
options.isabelle.tooltip-font-size=10 |
38854
eb6a35be18ca
Isabelle/jEdit property for global tooltip dismiss delay;
wenzelm
parents:
37203
diff
changeset
|
32 |
options.isabelle.tooltip-dismiss-delay.title=Tooltip Dismiss Delay (global) |
eb6a35be18ca
Isabelle/jEdit property for global tooltip dismiss delay;
wenzelm
parents:
37203
diff
changeset
|
33 |
options.isabelle.tooltip-dismiss-delay=8000 |
34820
a8ba6cde13e9
basic setup for synchronous / modal (!) prover startup;
wenzelm
parents:
34814
diff
changeset
|
34 |
options.isabelle.startup-timeout=10000 |
39734 | 35 |
options.isabelle.auto-start.title=Auto Start |
39702 | 36 |
options.isabelle.auto-start=true |
34420 | 37 |
|
34421 | 38 |
#menu actions |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
39 |
plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
39630
44181423183a
explicit Session.Phase indication with associated event bus;
wenzelm
parents:
39617
diff
changeset
|
40 |
plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel |
39617 | 41 |
isabelle.session-panel.label=Prover Session panel |
42 |
isabelle.output-panel.label=Output panel |
|
43 |
isabelle.raw-output-panel.label=Raw Output panel |
|
44 |
isabelle.protocol-panel.label=Protocol panel |
|
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
45 |
|
34421 | 46 |
#dockables |
39617 | 47 |
isabelle-session.title=Prover Session |
34773 | 48 |
isabelle-output.title=Output |
37065
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
36817
diff
changeset
|
49 |
isabelle-raw-output.title=Raw Output |
34773 | 50 |
isabelle-protocol.title=Protocol |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
51 |
|
34421 | 52 |
#SideKick |
34393 | 53 |
sidekick.parser.isabelle.label=Isabelle |
34420 | 54 |
mode.isabelle.sidekick.parser=isabelle |
55 |
mode.ml.sidekick.parser=isabelle |
|
34568
b517d0607297
implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents:
34563
diff
changeset
|
56 |
|
b517d0607297
implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents:
34563
diff
changeset
|
57 |
#Hyperlinks |
b517d0607297
implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents:
34563
diff
changeset
|
58 |
mode.isabelle.hyperlink.source=isabelle |