Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/jedit/plugin/Isabelle.props
author haftmann
Wed, 20 Feb 2008 14:52:38 +0100
changeset 26101 a657683e902a
parent 25851 606850a6fc1a
child 27985 fb774d10ea4c
permissions -rw-r--r--
tuned structures in arith_data.ML

## Isabelle plugin properties
## $Id$

#identification
plugin.isabelle.IsabellePlugin.name = Isabelle
plugin.isabelle.IsabellePlugin.author = Makarius
plugin.isabelle.IsabellePlugin.version = 0.0.1
plugin.isabelle.IsabellePlugin.description = Basic Isabelle support

#system parameters
plugin.isabelle.IsabellePlugin.activate = defer
plugin.isabelle.IsabellePlugin.usePluginHome = false

#dependencies
plugin.isabelle.IsabellePlugin.depend.0 = jdk 1.5
plugin.isabelle.IsabellePlugin.depend.1 = jedit 04.03.00.00
plugin.isabelle.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7
plugin.isabelle.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4
plugin.isabelle.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.4

#dockable component
isabelle.label = Isabelle
isabelle.title = Isabelle
isabelle.longtitle = Basic Isabelle process
isabelle