From 018bfa4bcde5d28786dfbde654d2d5fac32d7e9c Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Fri, 12 Feb 2021 02:24:31 +0000
Subject: [PATCH] Added default escapechar for ltx environment.

---
 .../Isabelle_DOF-Manual/document/lstisadof-manual.sty            | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty b/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
index d81005e..9c1589d 100755
--- a/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
@@ -184,6 +184,7 @@
 \lstdefinestyle{lltx}{language=[AlLaTeX]TeX,
   ,basicstyle=\ttfamily%
   ,showspaces=false%
+  ,escapechar=ë
   ,showlines=false%
   ,morekeywords={newisadof}
  %  ,keywordstyle=\bfseries%