Nicolas Méric a82f316997 Implement CENELEC Table A.1		2022-05-27 19:44:04 +02:00
..
DOF	Implement CENELEC Table A.1	2022-05-27 19:44:04 +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	Harmonizing the various root templates.	2022-04-22 20:51:42 +01:00
ontologies	Implement CENELEC Table A.1	2022-05-27 19:44:04 +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	Implement CENELEC Table A.1	2022-05-27 19:44:04 +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