Achim D. Brucker 8051d4233e Ensure compatibility with TeX Live 2019 (as used by AFP's build servers).		2023-05-17 13:57:35 +02:00
..
figures	Added CENELEC_50128_Documentation.thy to session build.	2023-03-01 09:16:48 +00:00
lstisadof-manual.sty	Ensure compatibility with TeX Live 2019 (as used by AFP's build servers).	2023-05-17 13:57:35 +02:00
preamble.tex	Added CENELEC_50128_Documentation.thy to session build.	2023-03-01 09:16:48 +00:00
root.bib	Added bib file.	2023-02-21 08:11:35 +00:00