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 wenzelm
Mon, 25 Aug 2008 22:26:26 +0200
changeset 27997 64957539cdf4
parent 27994 da9d38dcced3
permissions -rw-r--r--
explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar;

## Isabelle plugin properties
## $Id$

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

#system parameters
plugin.isabelle.jedit.IsabellePlugin.activate = defer
plugin.isabelle.jedit.IsabellePlugin.usePluginHome = false
plugin.isabelle.jedit.IsabellePlugin.jars = isabelle-Pure.jar isabelle-scala-library.jar

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

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

#menu
plugin.isabelle.jedit.IsabellePlugin.menu-item = isabelle


#Isabelle options
isabelle.print-modes = no_brackets no_type_brackets xsymbols
isabelle.logic =
isabelle