Achim D. Brucker 6ad8391cc1 Merge branch 'main' into afp_resubmission		2024-04-26 07:00:57 +01:00
..
document	Added 'fake' root.tex to satisfy AFP submission checks.	2024-04-26 06:09:16 +01:00
etc	Fixed scala build.	2023-02-26 21:55:29 +00:00
latex	Converted def into newcommand.	2023-08-04 07:01:42 +01:00
ontologies	Linting ...	2024-04-26 07:00:44 +01:00
scala	Improved dof_mkroot setup and minor LaTeX fixes.	2024-02-25 11:38:43 +00:00
thys	Linting ...	2024-04-26 07:00:44 +01:00
ROOT	Added 'fake' root.tex to satisfy AFP submission checks.	2024-04-26 06:09:16 +01:00