Achim D. Brucker acb82477b5 Moved currently unsupported document templates to the Isabelle_DOF-Ontologies session.		2023-02-25 11:01:39 +00:00
..
document	Moved CENELEC ontology (and its LaTeX style) to the session Isabelle_DOF-Ontologies.	2023-02-20 23:34:54 +00:00
etc	Retired dof_mkroot.	2023-02-21 23:03:12 +00:00
latex	Moved currently unsupported document templates to the Isabelle_DOF-Ontologies session.	2023-02-25 11:01:39 +00:00
ontologies	Moved CENELEC ontology (and its LaTeX style) to the session Isabelle_DOF-Ontologies.	2023-02-20 23:34:54 +00:00
scala	Retired dof_mkroot.	2023-02-21 23:03:12 +00:00
thys	Moved currently unsupported document templates to the Isabelle_DOF-Ontologies session.	2023-02-25 11:01:39 +00:00
ROOT	Moved CENELEC ontology (and its LaTeX style) to the session Isabelle_DOF-Ontologies.	2023-02-20 23:34:54 +00:00