Include Isabelle's TeX output in report.