| author | immler@in.tum.de |
| Fri, 22 May 2009 13:43:35 +0200 | |
| changeset 34566 | 0c1c8f8ee384 |
| parent 34546 | b32b20f0692f |
| child 34571 | b517d0607297 |
| permissions | -rw-r--r-- |
| wenzelm@34421 | 1 |
## Isabelle plugin properties |
| wenzelm@34523 | 2 |
## |
| wenzelm@34523 | 3 |
##:encoding=ISO-8859-1: |
| wenzelm@34321 | 4 |
|
| wenzelm@34421 | 5 |
#identification |
| wenzelm@34421 | 6 |
plugin.isabelle.jedit.Plugin.name=Isabelle |
| immler@34545 | 7 |
plugin.isabelle.jedit.Plugin.author=Johannes H�lzl, Fabian Immler, Makarius Wenzel |
| wenzelm@34421 | 8 |
plugin.isabelle.jedit.Plugin.version=0.0.1 |
| wenzelm@34424 | 9 |
plugin.isabelle.jedit.Plugin.description=Isabelle/Isar live document editing |
| wenzelm@34421 | 10 |
|
| wenzelm@34421 | 11 |
#system parameters |
| wenzelm@34523 | 12 |
# jEdit only needs to load the plugin the first time the user accesses it |
| wenzelm@34523 | 13 |
# the presence of this property (activate=defer) also tells jEdit the plugin is using the new API |
| immler@34546 | 14 |
# plugin.isabelle.jedit.Plugin.activate=defer |
| immler@34546 | 15 |
# |
| immler@34546 | 16 |
# for some reasons, activate=defer does not work when jEdit is run from Netbeans |
| immler@34546 | 17 |
plugin.isabelle.jedit.Plugin.activate=startup |
| wenzelm@34421 | 18 |
plugin.isabelle.jedit.Plugin.usePluginHome=false |
| immler@34515 | 19 |
plugin.isabelle.jedit.Plugin.jars=Pure.jar core-renderer.jar scala-library.jar |
| wenzelm@34321 | 20 |
|
| wenzelm@34421 | 21 |
#dependencies |
| wenzelm@34421 | 22 |
plugin.isabelle.jedit.Plugin.depend.0=jdk 1.5 |
| wenzelm@34421 | 23 |
plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.14.00 |
| wenzelm@34421 | 24 |
plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7 |
| wenzelm@34421 | 25 |
plugin.isabelle.jedit.Plugin.depend.3=plugin sidekick.SideKickPlugin 0.7.6 |
| immler@34566 | 26 |
plugin.isabelle.jedit.Plugin.depend.4=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1 |
| wenzelm@34421 | 27 |
|
| wenzelm@34423 | 28 |
#options |
| wenzelm@34423 | 29 |
plugin.isabelle.jedit.Plugin.option-pane=isabelle |
| wenzelm@34423 | 30 |
options.isabelle.label=Isabelle |
| wenzelm@34423 | 31 |
options.isabelle.code=new isabelle.jedit.OptionPane(); |
| wenzelm@34423 | 32 |
options.isabelle.font-path.title=Font Path |
| wenzelm@34423 | 33 |
options.isabelle.font-size.title=Font Size |
| immler@34515 | 34 |
options.isabelle.font-size=18 |
| wenzelm@34423 | 35 |
|
| wenzelm@34424 | 36 |
#menu actions |
| wenzelm@34321 | 37 |
plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
| wenzelm@34430 | 38 |
plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-state isabelle.show-output isabelle.show-scroller |
| wenzelm@34430 | 39 |
isabelle.activate.label=Activate current buffer |
| wenzelm@34430 | 40 |
isabelle.show-state.label=Show State |
| wenzelm@34424 | 41 |
isabelle.show-output.label=Show Output |
| wenzelm@34424 | 42 |
isabelle.show-scroller.label=Show Scroller |
| wenzelm@34321 | 43 |
|
| wenzelm@34424 | 44 |
#dockables |
| wenzelm@34424 | 45 |
isabelle-output.title=Isabelle Output |
| wenzelm@34424 | 46 |
isabelle-state.title=Isabelle State |
| wenzelm@34424 | 47 |
isabelle-scroller.title=Isabelle Scroller |
| wenzelm@34321 | 48 |
|
| wenzelm@34424 | 49 |
#SideKick |
| immler@34396 | 50 |
sidekick.parser.isabelle.label=Isabelle |
| wenzelm@34423 | 51 |
mode.isabelle.sidekick.parser=isabelle |
| wenzelm@34423 | 52 |
mode.ml.sidekick.parser=isabelle |