From 2ae01e839df66f13ff1d3bc974cea50a33126c59 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 13 Jan 2015 12:28:00 +0100
Subject: Refresh some copyright headers.

---
 COPYRIGHT                                   | 2 +-
 doc/common/styles/html/coqremote/cover.html | 1 +
 doc/common/styles/html/simple/cover.html    | 1 +
 doc/common/title.tex                        | 4 ++--
 4 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/COPYRIGHT b/COPYRIGHT
index a98eed3d12..006ce18f1d 100644
--- a/COPYRIGHT
+++ b/COPYRIGHT
@@ -1,6 +1,6 @@
                      The Coq proof assistant
 
-Copyright 1999-2011 The Coq development team, INRIA, CNRS, University
+Copyright 1999-2015 The Coq development team, INRIA, CNRS, University
 Paris Sud, University Paris 7, Ecole Polytechnique.
 
 This product includes also software developed by
diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html
index 5b2fd152da..7b8f829601 100644
--- a/doc/common/styles/html/coqremote/cover.html
+++ b/doc/common/styles/html/coqremote/cover.html
@@ -60,6 +60,7 @@
   <li>V8.2 © INRIA 2008-2011</li>
   <li>V8.3 © INRIA 2010-2011</li>
   <li>V8.4 © INRIA 2012-2014</li>
+  <li>V8.5 © INRIA 2015</li>
 </ul>
 
 <p style="text-indent:0pt">This research was partly supported by IST
diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html
index d7d842b9a4..c2ac2c19d8 100644
--- a/doc/common/styles/html/simple/cover.html
+++ b/doc/common/styles/html/simple/cover.html
@@ -38,6 +38,7 @@
   <li>V8.2 © INRIA 2008-2011</li>
   <li>V8.3 © INRIA 2010-2011</li>
   <li>V8.4 © INRIA 2012-2014</li>
+  <li>V8.5 © INRIA 2015</li>
 </ul>
 
 <p style="text-indent:0pt">This research was partly supported by IST
diff --git a/doc/common/title.tex b/doc/common/title.tex
index 219e4cd3c8..4716c3156a 100755
--- a/doc/common/title.tex
+++ b/doc/common/title.tex
@@ -30,7 +30,7 @@ Version \coqversion\footnote[1]{This research was partly supported by IST workin
 \vspace{0pt plus .5fill}
 #2
 \par\vfill
-TypiCal Project (formerly LogiCal)
+$\pi r^2$ Project (formerly LogiCal, then TypiCal)
 
 \vspace*{15pt}
 \end{center}
@@ -45,7 +45,7 @@ V\coqversion, \today
 %END LATEX
 \copyright INRIA 1999-2004 ({\Coq} versions 7.x)
 
-\copyright INRIA 2004-2011 ({\Coq} versions 8.x)
+\copyright INRIA 2004-2015 ({\Coq} versions 8.x)
 
 #3
 \end{flushleft}
-- 
cgit v1.2.3