diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index 38908fb4..de7f0af3 100755
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -42,8 +42,8 @@
 \pagestyle{headings}
 
 \uppertitleback{
-Copyright \copyright{} 2019\phantom{--2019} University of Exeter, UK\\
-\phantom{Copyright \copyright{}} 2018--2019 Universit\'e Paris-Saclay, France\\
+Copyright \copyright{} 2019--2020 University of Exeter, UK\\
+\phantom{Copyright \copyright{}} 2018--2020 Universit\'e Paris-Saclay, France\\
 \phantom{Copyright \copyright{}} 2018--2019 The University of Sheffield, UK\\
 
 \smallskip
@@ -119,16 +119,6 @@ France, and therefore granted with public funds of the Program ``Investissements
 \AtBeginDocument{\isabellestyle{literal}\newcommand{\lstnumberautorefname}{Line}}
 \renewcommand{\isacommand}[1]{\textcolor{OliveGreen!60}{\ttfamily\bfseries #1}}
 
-%\newtcolorbox{mybox}[1]{colback=red!5!white,colframe=red!75!black,fonttitle=\bfseries,title=#1}, 
-
-%\newenvironment{isarbox}
-%{\begin{mybox}}
-%{\end{mybox}}
-
-%\newenvironment{isarbox}
-%{\begin{isar}}
-%{\end{isar}}
-
 \newenvironment{isarbox}
 {AAA - bu isarbox}
-{ZZZ - bu isarbox}
\ No newline at end of file
+{ZZZ - bu isarbox}