From 17354942c26a7107d212fc346ac24887b884bf42 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 12 Aug 2019 08:33:17 +0100
Subject: [PATCH] Fixed typo.

---
 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 a90c2910..0375918b 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
+++ b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
@@ -67,7 +67,7 @@ text\<open>
   should install all required \LaTeX{} packages:
 
 \begin{bash}
-ë\prompt{}ë sudo aptitute install texlive-latex-extra texlive-fonts-extra
+ë\prompt{}ë sudo aptitude install texlive-latex-extra texlive-fonts-extra
 \end{bash}
 
   Please check that this, indeed, installs a version of \pdftex{} that supports the