From caff9b2a32feb8f8fca7a148efaf85dccf6e85eb Mon Sep 17 00:00:00 2001
From: Claude Marche <Claude.Marche@inria.fr>
Date: Fri, 13 Dec 2013 09:30:00 +0100
Subject: [PATCH] Even more things that were forgotten in release 0.82

---
 AUTHORS            | 2 ++
 ROADMAP            | 5 ++++-
 src/ide/gconfig.ml | 9 +++++++--
 3 files changed, 13 insertions(+), 3 deletions(-)

diff --git a/AUTHORS b/AUTHORS
index f4bd6e57e..04ca244e7 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -13,6 +13,7 @@ with contributions of
     Martin Clochard
     Simon Cruanes
     Leon Gondelman
+    Daisuke Ishii
     Johannes Kanig
     David Mentré
     Benjamin Monate
@@ -20,4 +21,5 @@ with contributions of
     Simão Melo de Sousa
     Asma Tafat
     Piotr Trojanek
+    Makarius Wenzel
 
diff --git a/ROADMAP b/ROADMAP
index 3571a7785..b35eb2543 100644
--- a/ROADMAP
+++ b/ROADMAP
@@ -116,13 +116,16 @@
 
 == Final preparation ==
 
-* inform Jerry James <loganjerry@gmail.com> so that he can test the Fedora package
+* inform Jerry James <loganjerry@gmail.com> so that he can test the
+  Fedora package
 * faire une passe sur le BTS
 * do "make update-coq" and "make", fix Coq realizations if needed
 * check that nightly bench is OK
 * check that "make xml-validate-local" is OK
   (see below : copy the dtd on the web)
 * put 0.83 in file Version
+* check/update the content of the About dialog in src/ide/gconfig.ml
+  around lines 550-600
 * check headers
 * check the file CHANGES, add the release date
 * manual in PDF: check that macro \todo is commented out
diff --git a/src/ide/gconfig.ml b/src/ide/gconfig.ml
index ff51a8096..0ecbd2341 100644
--- a/src/ide/gconfig.ml
+++ b/src/ide/gconfig.ml
@@ -563,17 +563,22 @@ let show_about_window () =
                 "";
                 "with contributions of";
                 "";
+                "Stefan Berghofer";
                 "Sylvie Boldo";
+                "Martin Clochard";
                 "Simon Cruanes";
                 "Leon Gondelman";
+                "Daisuke Ishii";
                 "Johannes Kanig";
                 "David Mentré";
                 "Benjamin Monate";
                 "Thi-Minh-Tuyen Nguyen";
                 "Simão Melo de Sousa";
-                "Asma Tafat-Bouzid";
+                "Asma Tafat";
+                "Piotr Trojanek";
+                "Makarius Wenzel";
                ]
-      ~copyright:"Copyright 2010-2012    INRIA, CNRS, Paris-Sud University"
+      ~copyright:"Copyright 2010-2014 Inria, CNRS, Paris-Sud University"
       ~license:"GNU Lesser General Public License version 2.1"
       ~website:"http://why3.lri.fr"
       ~website_label:"http://why3.lri.fr"
-- 
GitLab