Achim D. Brucker 75b39bc168 Build document build engine also for main Isabelle/DOF component.		2023-03-13 13:00:49 +00:00
..
build.props	Build document build engine also for main Isabelle/DOF component.	2023-03-13 13:00:49 +00:00
settings	Re-introduced dof_mkroot for main component and moved component setup to main directory (fixes #20).	2023-02-26 21:18:40 +00:00