Isabelle_DOF/etc
2024-05-27 12:22:41 +01:00
..
build.props Fixed scala build path. 2024-05-27 12:22:41 +01: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