From 2c00f4b8dbaed92c666a5ecb5dcb6a8591e9101a Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 2 May 2023 22:34:34 +0100
Subject: [PATCH] Synchronised updates.

---
 .../document/lstisadof-manual.sty                    | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/Isabelle_DOF-Ontologies/document/lstisadof-manual.sty b/Isabelle_DOF-Ontologies/document/lstisadof-manual.sty
index 38701bb..c9d2605 100644
--- a/Isabelle_DOF-Ontologies/document/lstisadof-manual.sty
+++ b/Isabelle_DOF-Ontologies/document/lstisadof-manual.sty
@@ -136,12 +136,12 @@
 \lstloadlanguages{ML}
 \providecolor{sml}{named}{red}
 \lstdefinestyle{sml}{
-   escapechar=ë,%
-   basicstyle=\ttfamily,%
-   commentstyle=\itshape,%
-   keywordstyle=\bfseries\color{CornflowerBlue},%
-   ndkeywordstyle=\color{green},%
-   language=ML
+   ,escapechar=ë%
+   ,basicstyle=\ttfamily%
+   ,commentstyle=\itshape%
+   ,keywordstyle=\bfseries\color{CornflowerBlue}%
+   ,ndkeywordstyle=\color{green}%
+   ,language=ML
 %  ,literate={%
 %     {<@>}{@}1%
 %    }