src/Tools/jEdit/plugin/Isabelle.props
author wenzelm
Mon, 31 May 2010 09:47:41 +0200
changeset 37203 c4261f3bbdd7
parent 37201 8517a650cfdc
child 38854 eb6a35be18ca
permissions -rw-r--r--
more flexibile font size via CSS <style> instead of old <font> element; preformatted text;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34418
5f25eb86c6a0 renamed IsabellePlugin to Isabelle;
wenzelm
parents: 34393
diff changeset
     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
##
909b2610da52 recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013);
wenzelm
parents: 34512
diff changeset
     3
##:encoding=ISO-8859-1:
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
     4
34418
5f25eb86c6a0 renamed IsabellePlugin to Isabelle;
wenzelm
parents: 34393
diff changeset
     5
#identification
5f25eb86c6a0 renamed IsabellePlugin to Isabelle;
wenzelm
parents: 34393
diff changeset
     6
plugin.isabelle.jedit.Plugin.name=Isabelle
34571
ea86cc4e04c7 recovered iso-latin-1 text;
wenzelm
parents: 34568
diff changeset
     7
plugin.isabelle.jedit.Plugin.author=Johannes Hlzl, Fabian Immler, Makarius Wenzel
34879
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
     8
plugin.isabelle.jedit.Plugin.version=0.1.0
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
     9
plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof document editing
34418
5f25eb86c6a0 renamed IsabellePlugin to Isabelle;
wenzelm
parents: 34393
diff changeset
    10
5f25eb86c6a0 renamed IsabellePlugin to Isabelle;
wenzelm
parents: 34393
diff changeset
    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
5f25eb86c6a0 renamed IsabellePlugin to Isabelle;
wenzelm
parents: 34393
diff changeset
    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
5f25eb86c6a0 renamed IsabellePlugin to Isabelle;
wenzelm
parents: 34393
diff changeset
    15
#dependencies
34752
e20ef5b33d17 misc updates;
wenzelm
parents: 34726
diff changeset
    16
plugin.isabelle.jedit.Plugin.depend.0=jdk 1.6
34879
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
    17
plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.99.00
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
    18
plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 4.4.1
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
    19
plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 1.8
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
    20
plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 0.8
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
    21
plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1
34418
5f25eb86c6a0 renamed IsabellePlugin to Isabelle;
wenzelm
parents: 34393
diff changeset
    22
34420
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    23
#options
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    24
plugin.isabelle.jedit.Plugin.option-pane=isabelle
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    25
options.isabelle.label=Isabelle
34760
dc7f5e0d9d27 misc modernization of names;
wenzelm
parents: 34752
diff changeset
    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
34820
a8ba6cde13e9 basic setup for synchronous / modal (!) prover startup;
wenzelm
parents: 34814
diff changeset
    32
options.isabelle.startup-timeout=10000
34420
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    33
34421
c57a53d4469a added author field;
wenzelm
parents: 34420
diff changeset
    34
#menu actions
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    35
plugin.isabelle.jedit.Plugin.menu.label=Isabelle
37065
2a73253b5898 separate event bus and dockable for raw output (stdout);
wenzelm
parents: 36817
diff changeset
    36
plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-output isabelle.show-raw-output isabelle.show-protocol
34427
46aff93a5863 tuned order of menu items;
wenzelm
parents: 34421
diff changeset
    37
isabelle.activate.label=Activate current buffer
34773
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34760
diff changeset
    38
isabelle.show-output.label=Show Output
37065
2a73253b5898 separate event bus and dockable for raw output (stdout);
wenzelm
parents: 36817
diff changeset
    39
isabelle.show-raw-output.label=Show Raw Output
34773
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34760
diff changeset
    40
isabelle.show-protocol.label=Show Protocol
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    41
34421
c57a53d4469a added author field;
wenzelm
parents: 34420
diff changeset
    42
#dockables
34773
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34760
diff changeset
    43
isabelle-output.title=Output
37065
2a73253b5898 separate event bus and dockable for raw output (stdout);
wenzelm
parents: 36817
diff changeset
    44
isabelle-raw-output.title=Raw Output
34773
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34760
diff changeset
    45
isabelle-protocol.title=Protocol
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    46
34421
c57a53d4469a added author field;
wenzelm
parents: 34420
diff changeset
    47
#SideKick
34393
f0e1608a774f basic tree structure for sidekick
immler@in.tum.de
parents: 34342
diff changeset
    48
sidekick.parser.isabelle.label=Isabelle
34420
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    49
mode.isabelle.sidekick.parser=isabelle
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    50
mode.ml.sidekick.parser=isabelle
34568
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34563
diff changeset
    51
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34563
diff changeset
    52
#Hyperlinks
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34563
diff changeset
    53
mode.isabelle.hyperlink.source=isabelle