From 657d9376b215c8942e5f9f9df0b3012821248e89 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 4 Aug 2019 13:26:20 +0100
Subject: [PATCH] Support automatic line breaks for bash environment.

---
 .../Isabelle_DOF-Manual/document/lstisadof-manual.sty         | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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 f4e93aec..4f3073ef 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
@@ -376,7 +376,9 @@
      ,listing options={
            style=bash
            ,columns=flexible%
-           ,basicstyle=\small\ttfamily
+           ,breaklines=true%
+           ,prebreak=\mbox{\space\textbackslash}%
+           ,basicstyle=\small\ttfamily%
            ,#1
       }
   }%