Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 6c5bfeb3 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Version 1.3.0

parent 0070b940
No related branches found
Tags 1.3.0
No related merge requests found
:x: marks a potential source of incompatibility
Version 1.3.0, March 17, 2020
-----------------------------
Standard library
* `pqueue.Pqueue` is now modeled using sequences instead of lists :x:
* `queue.Queue` is now modeled using sequences instead of lists :x:
......
......@@ -25,7 +25,7 @@
# See the GNU Library General Public License version 2 for more details
# (enclosed in the file LGPL).
AC_INIT([Why3], [1.2.1+git])
AC_INIT([Why3], [1.3.0])
# verbosemake
......
......@@ -7,6 +7,7 @@
(see below: copy the dtd on the web)
- `make trywhy3`
- run `make detect-unused` and remove unused files
- run `make update-doc-png` and check if some pictures need to be updated
* change version number `VERSION=1.3 RELEASE=1.3.0`
- update the first line of `configure.in` using `$RELEASE`
......@@ -16,10 +17,10 @@
* check/update authors and copyright
- update the content of the About dialog in `src/ide/gconfig.ml`
around lines 600-650
around lines 630-670
- update the `copyright` field in `doc/conf.py` around line 50
- update `doc/foreword.rst`
- check headers, run `make headers` if needed
- check headers, modify `misc/header.txt` and run `make headers` if needed
* generate documentation
- `make doc`
......
......@@ -665,7 +665,7 @@ let show_about_window ~parent () =
"Piotr Trojanek";
"Makarius Wenzel";
]
~copyright:"Copyright 2010-2019 Inria, CNRS, Paris-Sud University"
~copyright:"Copyright 2010-2020 Inria, CNRS, Paris-Sud University"
~license:("See file " ^ Filename.concat Config.datadir "LICENSE")
~website:"http://why3.lri.fr/"
~website_label:"http://why3.lri.fr/"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment