src/Tools/Demo/etc/build.props

tuned: more antiquotations;

title = Demo
module = lib/demo.jar
requirements = \
  env:ISABELLE_SCALA_JAR
sources = \
  src/demo_tool.scala
services = \
  isabelle.demo.Tools