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