Isabelle_DOF/Isabelle_DOF-Ontologies
Nicolas Méric 0ce9e6f2d0
ci/woodpecker/push/build Pipeline failed Details
Implement chapter*, section*, etc. latex generation in SML
2023-09-22 08:54:10 +02:00
..
CC_v3_1_R5 Ad-hoc fix of undefined references. 2023-05-15 13:02:49 +02:00
CENELEC_50128 Fix ECs latex list of tables 2023-06-06 19:03:20 +02:00
Conceptual Implement chapter*, section*, etc. latex generation in SML 2023-09-22 08:54:10 +02:00
document Ensure compatibility with TeX Live 2019 (as used by AFP's build servers). 2023-05-17 13:57:35 +02:00
document-templates 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
small_math Fix ML invariants bug 2023-03-03 17:33:46 +01:00
ROOT Update malformed theory names 2023-04-27 14:53:17 +02:00
document_setup.thy Use DOF-CC_terminology.sty. 2023-04-14 20:55:23 +01:00
document_templates.thy Initial commit: stubs for using beamer. 2023-06-01 00:21:19 +02:00