| author | wenzelm |
| Mon, 25 Aug 2008 21:58:54 +0200 | |
| changeset 27994 | da9d38dcced3 |
| parent 27985 | fb774d10ea4c |
| child 27997 | 64957539cdf4 |
| 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@25851 | 19 |
|
| wenzelm@25851 | 20 |
#dockable component |
| wenzelm@25851 | 21 |
isabelle.label = Isabelle |
| wenzelm@25851 | 22 |
isabelle.title = Isabelle |
| wenzelm@25851 | 23 |
isabelle.longtitle = Basic Isabelle process |
| wenzelm@25851 | 24 |
|
| wenzelm@27994 | 25 |
#menu |
| wenzelm@27994 | 26 |
plugin.isabelle.jedit.IsabellePlugin.menu-item = isabelle |
| wenzelm@27994 | 27 |
|
| wenzelm@27994 | 28 |
|
| wenzelm@27994 | 29 |
#Isabelle options |
| wenzelm@27994 | 30 |
isabelle.print-modes = no_brackets no_type_brackets xsymbols |
| wenzelm@27994 | 31 |
isabelle.logic = |