Achim D. Brucker d03052f4d6 Reworked root.tex setup. ... The root.tex is now copied from the user installation directory on each build to avoid problems with an outdated document setup.		2019-01-06 17:01:13 +00:00
..
IsaDof_Manual	Reworked root.tex setup.	2019-01-06 17:01:13 +00:00
TR_my_commented_isabelle	Reworked root.tex setup.	2019-01-06 17:01:13 +00:00
ROOTS	Restrucuring.	2018-11-27 13:39:54 +00:00