Achim D. Brucker 3aa6fb00af Complete rewrite using tcolorbox.		2019-08-01 20:37:54 +01:00
..
figures	Added Isabelle/DOF logo.	2019-07-22 15:07:59 +01:00
build	Applied renaming: Paris-Sud to Paris-Saclay.	2019-07-28 12:01:58 +01:00
isadof.cfg	Swichted to document template scrreprt-modern.	2019-07-23 15:30:56 +01:00
lstisadof-manual.sty	Complete rewrite using tcolorbox.	2019-08-01 20:37:54 +01:00
preamble.tex	Renamed lstisadof style, as it is now specific to the manual.	2019-07-31 13:26:01 +01:00
root.bib	Fixed naming inconsistency.	2019-07-22 14:41:29 +01:00