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

Include document builder sources from AFP.

Browse Source
This commit is contained in:
Achim D. Brucker 2025-03-17 04:07:27 +00:00
parent 8eeb7a81bd
commit 2dd122d58a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Isabelle_DOF-add_ons-2024/etc/build.props
View File

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