Commit bc0077ec authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix copyright notice.

parent 4ba540dc
......@@ -21,6 +21,7 @@
around lines 630-670
- update the `copyright` field in `doc/` around line 50
- update `doc/foreword.rst`
- update `src/trywhy3/trywhy3.html`
- check headers, modify `misc/header.txt` and run `make headers` if needed
* generate documentation
......@@ -176,7 +176,7 @@
<p>TryWhy3 is a Javascript based version of
the <a href="" target="_blank">Why3
Verification Platform</a></p>
<p>© 2010-2018, Inria - CNRS - Paris-Sud University<br/>
<p>© 2010-2020, Inria - CNRS - Paris-Sud University<br/>
This software is distributed under the terms of the GNU Lesser
General Public License version 2.1, with the special exception
on linking described in the
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment