src/Tools/jEdit/jedit_main/build.props

update for release;

title = Isabelle/jEdit main plugin
module = $JEDIT_SETTINGS/jars/isabelle_jedit_main.jar
requirements = \
  env:ISABELLE_SCALA_JAR \
  env:JEDIT_JARS
resources = \
  actions.xml \
  dockables.xml \
  plugin.props \
  services.xml
sources = \
  isabelle_sidekick.scala \
  dockables.scala \
  plugin.scala \
  scala_console.scala \
  services.scala