Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit caff9b2a authored by MARCHE Claude's avatar MARCHE Claude

Even more things that were forgotten in release 0.82

parent e94eb0d4
......@@ -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
......@@ -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
......
......@@ -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"
......
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