From a96223235c7913dea90d452fbb5deeb9858d21b4 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 10 Aug 2019 20:43:29 +0100 Subject: [PATCH] Fixed installer output. --- examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy index bfce43e1..ed8545ab 100644 --- a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy +++ b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy @@ -146,7 +146,7 @@ Isabelle/DOF Installer - Installing document templates iëën /home/achim/.isabelle/Isabelleë\isabelleversion/DOF/document-templateë - Installing LaTeX styles iëën - /home/brucker/.isabelle/Isabelleë\isabelleversion/DOF/latexë + /home/achim/.isabelle/Isabelleë\isabelleversion/DOF/latexë - Registering Isabelle/DOF * Registering tools iëën /home/achim/.isabelle/Isabelleë\isabelleversion/etc/settingsë