This website requires JavaScript.
Dashboard
Explore
Help
Sign In
Isabelle_DOF
/
Isabelle_DOF
Watch
1
Star
0
Fork
2
You've already forked Isabelle_DOF
Code
Issues
1
Pull Requests
Releases
Wiki
Activity
main
Isabelle_DOF
/
etc
History
Achim D. Brucker
3d9fcc99ab
Fixed scala build path.
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