Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Updated copyright information.

This commit is contained in:
Achim D. Brucker 2021-01-06 06:48:36 +00:00
parent 78a17a66b5
commit 225309482b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
View File

@ -40,8 +40,8 @@
\pagestyle{headings}
\uppertitleback{
Copyright \copyright{} 2019--2020 University of Exeter, UK\\
\phantom{Copyright \copyright{}} 2018--2020 Universit\'e Paris-Saclay, France\\
Copyright \copyright{} 2019--2021 University of Exeter, UK\\
\phantom{Copyright \copyright{}} 2018--2021 Universit\'e Paris-Saclay, France\\
\phantom{Copyright \copyright{}} 2018--2019 The University of Sheffield, UK\\
\smallskip