--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/jedit_base/build.props	Thu Jul 15 16:35:45 2021 +0200
@@ -0,0 +1,11 @@
+description = Isabelle/jEdit base plugin
+lib = $JEDIT_SETTINGS/jars
+name = isabelle_jedit_base
+requirements = \
+  env:ISABELLE_SCALA_JAR \
+  env:JEDIT_JARS
+resources = \
+  plugin.props \
+  services.xml
+sources = \
+  plugin.scala