From fc2817db0dcae51c87e97dfb3faad9459756bdaa Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 18 Jan 2021 20:30:39 +0000
Subject: [PATCH] Cleanup.

---
 .../Isabelle_DOF-Manual/00_Frontmatter.thy               | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy b/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy
index 42848a2..1ec3fcc 100755
--- a/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy
+++ b/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy
@@ -1,7 +1,7 @@
 (*************************************************************************
  * Copyright (C) 
- *               2019-2020 The University of Exeter 
- *               2018-2020 The University of Paris-Saclay
+ *               2019-2021 The University of Exeter 
+ *               2018-2021 The University of Paris-Saclay
  *               2018      The University of Sheffield
  *
  * License:
@@ -18,7 +18,7 @@ begin
 
 
 section\<open>Local Document Setup.\<close>
-text\<open>... introducing document specific abbreviations and macros.\<close>
+text\<open>Introducing document specific abbreviations and macros:\<close>
 
 define_shortcut* dof     \<rightleftharpoons> \<open>\dof\<close>
                  isadof  \<rightleftharpoons> \<open>\isadof\<close>
@@ -94,9 +94,6 @@ setup\<open>(* std_text_antiquotation        \<^binding>\<open>my_text\<close> #
       boxed_bash_antiquotation         \<^binding>\<open>boxed_bash\<close> 
      \<close>
 
-
-
-
 open_monitor*[this::report] 
 
 (*>*)