Isabelle_DOF/src/scala
Achim D. Brucker 44f9317b35 Integrated dof-common.tex into DOF-core.sty. 2022-06-29 20:12:32 +01:00
..
dof_document_build.scala Integrated dof-common.tex into DOF-core.sty. 2022-06-29 20:12:32 +01:00
dof_mkroot.scala Use full qualified name for templates. 2022-06-26 19:06:45 +01:00
dof_tools.scala Initial setup using configurations as options, retiring both the build script (LaTeX build) and the mkroo_DOF script (replaced by a Scala-based tooling). 2022-06-24 14:02:19 +01:00