Achim D. Brucker 8a2cfc1044 Improved title page.		2019-07-28 10:55:39 +01:00
..
figures	Added Isabelle/DOF logo.	2019-07-22 15:07:59 +01:00
build	Fixed naming inconsistency.	2019-07-22 14:41:29 +01:00
isadof.cfg	Swichted to document template scrreprt-modern.	2019-07-23 15:30:56 +01:00
lstisadof.sty	Various layout improvements.	2019-07-23 15:30:26 +01:00
preamble.tex	Improved title page.	2019-07-28 10:55:39 +01:00
root.bib	Fixed naming inconsistency.	2019-07-22 14:41:29 +01:00