author | wenzelm |
Sun, 24 Aug 2008 18:11:20 +0200 | |
changeset 27985 | fb774d10ea4c |
parent 25851 | 606850a6fc1a |
child 27994 | da9d38dcced3 |
permissions | -rw-r--r-- |
wenzelm@25851 | 1 |
## Isabelle plugin properties |
wenzelm@25851 | 2 |
## $Id$ |
wenzelm@25851 | 3 |
|
wenzelm@25851 | 4 |
#identification |
wenzelm@27985 | 5 |
plugin.isabelle.jedit.IsabellePlugin.name = Isabelle |
wenzelm@27985 | 6 |
plugin.isabelle.jedit.IsabellePlugin.author = Makarius |
wenzelm@27985 | 7 |
plugin.isabelle.jedit.IsabellePlugin.version = 0.0.1 |
wenzelm@27985 | 8 |
plugin.isabelle.jedit.IsabellePlugin.description = Basic Isabelle support |
wenzelm@25851 | 9 |
|
wenzelm@25851 | 10 |
#system parameters |
wenzelm@27985 | 11 |
plugin.isabelle.jedit.IsabellePlugin.activate = defer |
wenzelm@27985 | 12 |
plugin.isabelle.jedit.IsabellePlugin.usePluginHome = false |
wenzelm@25851 | 13 |
|
wenzelm@25851 | 14 |
#dependencies |
wenzelm@27985 | 15 |
plugin.isabelle.jedit.IsabellePlugin.depend.0 = jdk 1.5 |
wenzelm@27985 | 16 |
plugin.isabelle.jedit.IsabellePlugin.depend.1 = jedit 04.03.00.00 |
wenzelm@27985 | 17 |
plugin.isabelle.jedit.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7 |
wenzelm@27985 | 18 |
plugin.isabelle.jedit.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4 |
wenzelm@27985 | 19 |
plugin.isabelle.jedit.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.4 |
wenzelm@25851 | 20 |
|
wenzelm@25851 | 21 |
#dockable component |
wenzelm@25851 | 22 |
isabelle.label = Isabelle |
wenzelm@25851 | 23 |
isabelle.title = Isabelle |
wenzelm@25851 | 24 |
isabelle.longtitle = Basic Isabelle process |
wenzelm@25851 | 25 |