--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/jedit_base/plugin.props Thu Jul 15 16:35:45 2021 +0200
@@ -0,0 +1,17 @@
+## Isabelle/jEdit plugin properties
+##
+##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
+
+#identification
+plugin.isabelle.jedit_base.Plugin.name=Isabelle Base
+plugin.isabelle.jedit_base.Plugin.author=Makarius Wenzel
+plugin.isabelle.jedit_base.Plugin.version=1.0
+plugin.isabelle.jedit_base.Plugin.description=Isabelle Base: DO NOT UNLOAD!
+
+#system parameters
+plugin.isabelle.jedit_base.Plugin.activate=startup
+plugin.isabelle.jedit_base.Plugin.usePluginHome=false
+
+#dependencies
+plugin.isabelle.jedit_base.Plugin.depend.0=jdk 11
+plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.05.00.00