Isabelle_DOF/Isabelle_DOF/latex
Achim D. Brucker 5a8e79fb7e
ci/woodpecker/push/build Pipeline was successful Details
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
..
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
styles 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