Achim D. Brucker 317c5a7759 Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF		2022-04-15 21:03:59 +01:00
..
DOF	Clean up check_invariants	2022-04-07 15:36:01 +02:00
Tools	Bug fix: -o option not working (reporting an error claiming that ontologies could not be found).	2022-04-04 16:04:10 +01:00
document-templates	Official support for lipics-v2021 (fixes #13).	2022-03-27 12:20:49 +01:00
ontologies	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2022-04-15 21:03:59 +01:00
scala	Hide use of build script from users.	2022-03-27 12:02:15 +01:00
scripts	Make use of install script optional in favor of registration as Isabelle component. Style files, templates, and scripts are no longer installed into ISABELLE_USER_HOME.	2022-03-27 13:21:55 +01:00
tests	Fix DOF manual and tests to work with assert*	2022-04-01 09:54:16 +02:00
ROOT	Removed outdated test session.	2022-03-26 18:53:33 +00:00
ROOTS	mmm	2020-06-22 17:42:40 +02:00