Isabelle_DOF/Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Fixed scala build path.

Browse Source
This commit is contained in:
Achim D. Brucker 2024-05-27 12:22:41 +01:00
parent ddb780a529
commit 3d9fcc99ab
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
etc/build.props
View File

@ -4,8 +4,8 @@ no_build = false
requirements = \
env:ISABELLE_SCALA_JAR
sources = \
Isabelle_DOF/scala/dof.scala \
Isabelle_DOF/scala/dof_document_build.scala \
upstream_afp/Isabelle_DOF/scala/dof.scala \
upstream_afp/Isabelle_DOF/scala/dof_document_build.scala \
scala/dof_mkroot.scala \
scala/dof_tools.scala
services = \