From f975672901698689c952a84a96586a1bd72120dc Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 10 Mar 2021 22:12:39 +0000
Subject: [PATCH] Removed check for \expanded{}: Isabelle 2021 defaults to
 luatex as TeX-engine, which has \expanded{} since a very long time.

---
 examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy | 2 --
 1 file changed, 2 deletions(-)

diff --git a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
index 338b662..90b7d37 100755
--- a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
+++ b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
@@ -105,8 +105,6 @@ Isabelle/DOF Installer
 ======================
 * Checking Isabelle version:
   Success: found supported Isabelle version ë(\isabellefullversion)ë
-* Checking (La)TeX installation:
-  Success: pdftex supports \expanded{} primitive.
 * Check availability of Isabelle/DOF patch:
   Warning: Isabelle/DOF patch is not available or outdated.
            Trying to patch system ....