Commit 9c4fec84 authored by MARCHE Claude's avatar MARCHE Claude

fixed dates and authors

parent 084a4108
...@@ -12,9 +12,13 @@ with contributions of ...@@ -12,9 +12,13 @@ with contributions of
Sylvie Boldo Sylvie Boldo
Martin Clochard Martin Clochard
Simon Cruanes Simon Cruanes
Sylvain Dailler
Clément Fumex
Leon Gondelman Leon Gondelman
David Hauzar
Daisuke Ishii Daisuke Ishii
Johannes Kanig Johannes Kanig
Mikhail Mandrykin
David Mentré David Mentré
Benjamin Monate Benjamin Monate
Thi-Minh-Tuyen Nguyen Thi-Minh-Tuyen Nguyen
......
...@@ -547,6 +547,7 @@ let show_about_window () = ...@@ -547,6 +547,7 @@ let show_about_window () =
"Sylvie Boldo"; "Sylvie Boldo";
"Martin Clochard"; "Martin Clochard";
"Simon Cruanes"; "Simon Cruanes";
"Sylvain Dailler";
"Clément Fumex"; "Clément Fumex";
"Leon Gondelman"; "Leon Gondelman";
"David Hauzar"; "David Hauzar";
...@@ -561,7 +562,7 @@ let show_about_window () = ...@@ -561,7 +562,7 @@ let show_about_window () =
"Piotr Trojanek"; "Piotr Trojanek";
"Makarius Wenzel"; "Makarius Wenzel";
] ]
~copyright:"Copyright 2010-2016 Inria, CNRS, Paris-Sud University" ~copyright:"Copyright 2010-2017 Inria, CNRS, Paris-Sud University"
~license:("See file " ^ Filename.concat Config.datadir "LICENSE") ~license:("See file " ^ Filename.concat Config.datadir "LICENSE")
~website:"http://why3.lri.fr" ~website:"http://why3.lri.fr"
~website_label:"http://why3.lri.fr" ~website_label:"http://why3.lri.fr"
......
(********************************************************************) (********************************************************************)
(* *) (* *)
(* The Why3 Verification Platform / The Why3 Development Team *) (* The Why3 Verification Platform / The Why3 Development Team *)
(* Copyright 2010-2016 -- INRIA - CNRS - Paris-Sud University *) (* Copyright 2010-2017 -- INRIA - CNRS - Paris-Sud University *)
(* *) (* *)
(* This software is distributed under the terms of the GNU Lesser *) (* This software is distributed under the terms of the GNU Lesser *)
(* General Public License version 2.1, with the special exception *) (* General Public License version 2.1, with the special exception *)
......
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