diff options
| author | Maxime Dénès | 2015-01-13 12:28:00 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2015-01-13 12:28:00 +0100 |
| commit | 2ae01e839df66f13ff1d3bc974cea50a33126c59 (patch) | |
| tree | dc5c25579f1c93210d6f99afdb6d4adc836c07be /doc/common/styles/html | |
| parent | 7891caa52489dd6cabb79f7dc4a1dc7f2a079bf1 (diff) | |
Refresh some copyright headers.
Diffstat (limited to 'doc/common/styles/html')
| -rw-r--r-- | doc/common/styles/html/coqremote/cover.html | 1 | ||||
| -rw-r--r-- | doc/common/styles/html/simple/cover.html | 1 |
2 files changed, 2 insertions, 0 deletions
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 |