Isabelle_DOF/Isabelle_DOF-Ontologies/document-templates
Burkhart Wolff d3aefa63b1 ... 2024-04-02 13:14:18 +02:00
..
root-beamer-UNSUPPORTED.tex Moved default value for title into template, as some LaTeX classes do not allow for a pre-set title. 2023-08-04 04:37:14 +01:00
root-beamerposter-UNSUPPORTED.tex Moved default value for title into template, as some LaTeX classes do not allow for a pre-set title. 2023-08-04 04:37:14 +01:00
root-lipics-v2021-UNSUPPORTED.tex ... 2024-04-02 13:14:18 +02:00
root-sn-article-UNSUPPORTED.tex Added stub for \inst{}. 2024-02-29 17:35:55 +00:00
root-svjour3-UNSUPPORTED.tex Added stub for \inst{}. 2024-02-29 17:35:55 +00:00