# HG changeset patch
# User wenzelm
# Date 1503308194 -7200
# Node ID 075c2aadd0b847c329ee5aa33aa5847ef7a255a8
# Parent  65ad7a7a9d6a765d1f333119bc8702fbe3be905a
added missing file (cf. 9098c36abd1a);

diff -r 65ad7a7a9d6a -r 075c2aadd0b8 src/Tools/jEdit/src-base/Isabelle_Base.props
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/src-base/Isabelle_Base.props	Mon Aug 21 11:36:34 2017 +0200
@@ -0,0 +1,17 @@
+## Isabelle_Base 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 DISABLE!
+
+#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 1.8
+plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.04.00.00