nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Improved copyright informaton.

This commit is contained in:
Achim D. Brucker 2019-07-26 16:13:20 +01:00
parent beeb948c77
commit 75e04b164a
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -96,11 +96,11 @@
\uppertitleback{
Copyright \copyright{} 2018--2019 The University of Sheffield, UK\\
Copyright \copyright{} 2018--2019 Universit\'e Paris-Saclay, France\\
Copyright \copyright{} 2019\phantom{--2019} University of Exeter, UK\\
All rights reserved.
\phantom{Copyright \copyright{}} 2018--2019 Universit\'e Paris-Saclay, France\\
\phantom{Copyright \copyright{}} 2018--2019 The University of Sheffield, UK\\
\smallskip
\begin{small}
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are