author | wenzelm |
Tue, 08 Dec 2009 23:45:42 +0100 | |
changeset 34773 | bb5d68f7fd5e |
parent 34760 | dc7f5e0d9d27 |
child 34803 | 74ea350c9b2f |
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 |
## |
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 | 5 |
#identification |
6 |
plugin.isabelle.jedit.Plugin.name=Isabelle |
|
34571 | 7 |
plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel |
34418 | 8 |
plugin.isabelle.jedit.Plugin.version=0.0.1 |
34760 | 9 |
plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof processing |
34418 | 10 |
|
11 |
#system parameters |
|
34726
da2bd88f6cdd
regular activate=defer -- may debug remotely, no need to run under netbeans;
wenzelm
parents:
34652
diff
changeset
|
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 |
34752 | 16 |
plugin.isabelle.jedit.Plugin.depend.0=jdk 1.6 |
17 |
plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.17.00 |
|
34418 | 18 |
plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7 |
19 |
plugin.isabelle.jedit.Plugin.depend.3=plugin sidekick.SideKickPlugin 0.7.6 |
|
34563 | 20 |
plugin.isabelle.jedit.Plugin.depend.4=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1 |
34418 | 21 |
|
34420 | 22 |
#options |
23 |
plugin.isabelle.jedit.Plugin.option-pane=isabelle |
|
24 |
options.isabelle.label=Isabelle |
|
34760 | 25 |
options.isabelle.code=new isabelle.jedit.Isabelle_Options(); |
34617
8d2c49605685
simplified option pane: proper logic title, hardwired font path;
wenzelm
parents:
34571
diff
changeset
|
26 |
options.isabelle.logic.title=Logic |
34420 | 27 |
options.isabelle.font-size.title=Font Size |
34752 | 28 |
options.isabelle.font-size=14 |
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 |
34773 | 32 |
plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-output isabelle.show-protocol isabelle.show-history |
34427 | 33 |
isabelle.activate.label=Activate current buffer |
34773 | 34 |
isabelle.show-output.label=Show Output |
35 |
isabelle.show-protocol.label=Show Protocol |
|
34760 | 36 |
isabelle.show-history.label=Show History |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
37 |
|
34421 | 38 |
#dockables |
34773 | 39 |
isabelle-output.title=Output |
40 |
isabelle-protocol.title=Protocol |
|
34760 | 41 |
isabelle-history.title=History |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
42 |
|
34421 | 43 |
#SideKick |
34393 | 44 |
sidekick.parser.isabelle.label=Isabelle |
34420 | 45 |
mode.isabelle.sidekick.parser=isabelle |
46 |
mode.ml.sidekick.parser=isabelle |
|
34568
b517d0607297
implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents:
34563
diff
changeset
|
47 |
|
b517d0607297
implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents:
34563
diff
changeset
|
48 |
#Hyperlinks |
b517d0607297
implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents:
34563
diff
changeset
|
49 |
mode.isabelle.hyperlink.source=isabelle |