%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  Copyright (C) 2010-2012  Pietro Abate <pietro.abate@pps.jussieu.fr>   %
%                           Ralf Treinen <ralf.treinen@pps.jussieu.fr>   %
%                           Unversité Paris-Diderot                      %
%                                                                        %
%  This documentation is free software: you can redistribute it and/or   %
%  modify it under the terms of the GNU General Public License as        %
%  published by the Free Software Foundation, either version 3 of the    %
%  License, or (at your option) any later version.                       %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\section{Copyright and Licence}
\label{sec:copyright}
Copyright \copyright {} 2010, 2011, 2012
Pietro Abate \verb|<pietro.abate@pps.univ-paris-diderot.fr>|,
Ralf Treinen \verb|<ralf.treinen@pps.univ-paris-diderot.fr>|,
and Université Paris-Diderot, for this documentation.

This documentation is free software: you can redistribute it and/or
modify it under the terms of the GNU General Public License as
published by the Free Software Foundation, either version 3 of the
License, or (at your option) any later version.

The software itself is, of course, free software. You can redistribute
and/or modify \distcheck{} (including \debcheck), as well as the
underlying library called \texttt{dose}, under the terms of the GNU
Lesser General Public License as published by the Free Software
Foundation, either version 3 of the License, or (at your option) any
later version.  A special linking exception to the GNU Lesser General
Public License applies to the library, see the precise licence
information of \texttt{dose} for details.

