wneuper/isa: lib/jedit/plugin/Isabelle.props@fb774d10ea4c

     1 ## Isabelle plugin properties

     2 ## $Id$

     4 #identification

     5 plugin.isabelle.jedit.IsabellePlugin.name = Isabelle

     6 plugin.isabelle.jedit.IsabellePlugin.author = Makarius

     7 plugin.isabelle.jedit.IsabellePlugin.version = 0.0.1

     8 plugin.isabelle.jedit.IsabellePlugin.description = Basic Isabelle support

    10 #system parameters

    11 plugin.isabelle.jedit.IsabellePlugin.activate = defer

    12 plugin.isabelle.jedit.IsabellePlugin.usePluginHome = false

    14 #dependencies

    15 plugin.isabelle.jedit.IsabellePlugin.depend.0 = jdk 1.5

    16 plugin.isabelle.jedit.IsabellePlugin.depend.1 = jedit 04.03.00.00

    17 plugin.isabelle.jedit.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7

    18 plugin.isabelle.jedit.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4

    19 plugin.isabelle.jedit.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.4

    21 #dockable component

    22 isabelle.label = Isabelle

    23 isabelle.title = Isabelle

    24 isabelle.longtitle = Basic Isabelle process

author	wenzelm
	Sun, 24 Aug 2008 18:11:20 +0200
changeset 27985	fb774d10ea4c
parent 25851	606850a6fc1a
child 27994	da9d38dcced3
permissions	-rw-r--r--