wenzelm@25851: ## Isabelle plugin properties
wenzelm@25851: ## $Id$
wenzelm@25851: 
wenzelm@25851: #identification
wenzelm@27985: plugin.isabelle.jedit.IsabellePlugin.name = Isabelle
wenzelm@27985: plugin.isabelle.jedit.IsabellePlugin.author = Makarius
wenzelm@27985: plugin.isabelle.jedit.IsabellePlugin.version = 0.0.1
wenzelm@27985: plugin.isabelle.jedit.IsabellePlugin.description = Basic Isabelle support
wenzelm@25851: 
wenzelm@25851: #system parameters
wenzelm@27985: plugin.isabelle.jedit.IsabellePlugin.activate = defer
wenzelm@27985: plugin.isabelle.jedit.IsabellePlugin.usePluginHome = false
wenzelm@25851: 
wenzelm@25851: #dependencies
wenzelm@27985: plugin.isabelle.jedit.IsabellePlugin.depend.0 = jdk 1.5
wenzelm@27985: plugin.isabelle.jedit.IsabellePlugin.depend.1 = jedit 04.03.00.00
wenzelm@27985: plugin.isabelle.jedit.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7
wenzelm@27985: plugin.isabelle.jedit.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4
wenzelm@25851: 
wenzelm@25851: #dockable component
wenzelm@25851: isabelle.label = Isabelle
wenzelm@25851: isabelle.title = Isabelle
wenzelm@25851: isabelle.longtitle = Basic Isabelle process
wenzelm@25851: 
wenzelm@27994: #menu
wenzelm@27994: plugin.isabelle.jedit.IsabellePlugin.menu-item = isabelle
wenzelm@27994: 
wenzelm@27994: 
wenzelm@27994: #Isabelle options
wenzelm@27994: isabelle.print-modes = no_brackets no_type_brackets xsymbols
wenzelm@27994: isabelle.logic =