1 ## Isabelle plugin properties |
1 ## Isabelle plugin properties |
2 ## $Id$ |
2 ## $Id$ |
3 |
3 |
4 #identification |
4 #identification |
5 plugin.isabelle.IsabellePlugin.name = Isabelle |
5 plugin.isabelle.jedit.IsabellePlugin.name = Isabelle |
6 plugin.isabelle.IsabellePlugin.author = Makarius |
6 plugin.isabelle.jedit.IsabellePlugin.author = Makarius |
7 plugin.isabelle.IsabellePlugin.version = 0.0.1 |
7 plugin.isabelle.jedit.IsabellePlugin.version = 0.0.1 |
8 plugin.isabelle.IsabellePlugin.description = Basic Isabelle support |
8 plugin.isabelle.jedit.IsabellePlugin.description = Basic Isabelle support |
9 |
9 |
10 #system parameters |
10 #system parameters |
11 plugin.isabelle.IsabellePlugin.activate = defer |
11 plugin.isabelle.jedit.IsabellePlugin.activate = defer |
12 plugin.isabelle.IsabellePlugin.usePluginHome = false |
12 plugin.isabelle.jedit.IsabellePlugin.usePluginHome = false |
13 |
13 |
14 #dependencies |
14 #dependencies |
15 plugin.isabelle.IsabellePlugin.depend.0 = jdk 1.5 |
15 plugin.isabelle.jedit.IsabellePlugin.depend.0 = jdk 1.5 |
16 plugin.isabelle.IsabellePlugin.depend.1 = jedit 04.03.00.00 |
16 plugin.isabelle.jedit.IsabellePlugin.depend.1 = jedit 04.03.00.00 |
17 plugin.isabelle.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7 |
17 plugin.isabelle.jedit.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7 |
18 plugin.isabelle.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4 |
18 plugin.isabelle.jedit.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4 |
19 plugin.isabelle.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.4 |
19 plugin.isabelle.jedit.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.4 |
20 |
20 |
21 #dockable component |
21 #dockable component |
22 isabelle.label = Isabelle |
22 isabelle.label = Isabelle |
23 isabelle.title = Isabelle |
23 isabelle.title = Isabelle |
24 isabelle.longtitle = Basic Isabelle process |
24 isabelle.longtitle = Basic Isabelle process |