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;
     1 ## Isabelle_Base plugin properties
     2 ##
     3 ##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
     4 
     5 #identification
     6 plugin.isabelle.jedit_base.Plugin.name=Isabelle Base
     7 plugin.isabelle.jedit_base.Plugin.author=Makarius Wenzel
     8 plugin.isabelle.jedit_base.Plugin.version=1.0
     9 plugin.isabelle.jedit_base.Plugin.description=Isabelle Base: DO NOT UNLOAD!
    10 
    11 #system parameters
    12 plugin.isabelle.jedit_base.Plugin.activate=startup
    13 plugin.isabelle.jedit_base.Plugin.usePluginHome=false
    14 
    15 #dependencies
    16 plugin.isabelle.jedit_base.Plugin.depend.0=jdk 1.8
    17 plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.05.00.00