Nicolas Méric 3d02461aa2 Parametric invariant test		2022-06-01 07:49:59 +02:00
..
DOF	Parametric invariant test	2022-06-01 07:49:59 +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	Update related work and enable checking for section 5	2022-04-20 14:51:39 +02:00
ontologies	Merge branch 'main' into ICFEM-2022	2022-04-20 09:32:08 +02: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	Merge branch 'main' into ICFEM-2022	2022-04-20 09:32:08 +02:00
ROOT	Fixed file attributes.	2022-04-18 09:20:36 +01:00
ROOTS	Fixed file attributes.	2022-04-18 09:20:36 +01:00