Isabelle_DOF/etc/build.props

title = Isabelle/DOF
module = $ISABELLE_HOME_USER/DOF/isabelle_dof.jar
no_build = false
requirements = \
  env:ISABELLE_SCALA_JAR
sources = \
  Isabelle_DOF/scala/dof.scala \
  scala/dof_mkroot.scala \
  scala/dof_tools.scala
services = \
  isabelle.dof.DOF_Tools
Re-introduced dof_mkroot for main component and moved component setup to main directory (fixes #20). 2023-02-26 21:18:40 +00:00			`title = Isabelle/DOF`
			`module = $ISABELLE_HOME_USER/DOF/isabelle_dof.jar`
			`no_build = false`
			`requirements = \`
			`env:ISABELLE_SCALA_JAR`
			`sources = \`
Fixed scala build. 2023-02-26 21:55:29 +00:00			`Isabelle_DOF/scala/dof.scala \`
Re-introduced dof_mkroot for main component and moved component setup to main directory (fixes #20). 2023-02-26 21:18:40 +00:00			`scala/dof_mkroot.scala \`
			`scala/dof_tools.scala`
			`services = \`
			`isabelle.dof.DOF_Tools`