src/Tools/jEdit/src-base/Isabelle_Base.props
author wenzelm
Wed Jun 06 14:18:25 2018 +0200 (12 months ago)
changeset 68395 76a0f3bafb16
parent 66476 c9628d79109b
permissions -rw-r--r--
updated for release;
wenzelm@66468
     1
## Isabelle_Base plugin properties
wenzelm@66468
     2
##
wenzelm@66468
     3
##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
wenzelm@66468
     4
wenzelm@66468
     5
#identification
wenzelm@66468
     6
plugin.isabelle.jedit_base.Plugin.name=Isabelle Base
wenzelm@66468
     7
plugin.isabelle.jedit_base.Plugin.author=Makarius Wenzel
wenzelm@66468
     8
plugin.isabelle.jedit_base.Plugin.version=1.0
wenzelm@66476
     9
plugin.isabelle.jedit_base.Plugin.description=Isabelle Base: DO NOT UNLOAD!
wenzelm@66468
    10
wenzelm@66468
    11
#system parameters
wenzelm@66468
    12
plugin.isabelle.jedit_base.Plugin.activate=startup
wenzelm@66468
    13
plugin.isabelle.jedit_base.Plugin.usePluginHome=false
wenzelm@66468
    14
wenzelm@66468
    15
#dependencies
wenzelm@66468
    16
plugin.isabelle.jedit_base.Plugin.depend.0=jdk 1.8
wenzelm@68395
    17
plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.05.00.00