Commit 9c4a4556 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Version 1.1.0

parent cc748e4f
:x: marks a potential source of incompatibility :x: marks a potential source of incompatibility
Version 1.1.0, ... Version 1.1.0, October 17, 2018
------------------ -------------------------------
Core Core
* variants can now be inferred on some lemma functions * variants can now be inferred on some lemma functions
...@@ -13,7 +13,7 @@ Core ...@@ -13,7 +13,7 @@ Core
API API
* added `Call_provers.interrupt_call` to interrupt a running prover * added `Call_provers.interrupt_call` to interrupt a running prover
[contribution Pierre-Yves Strub <pierre-yves@strub.nu>] (contribution by Pierre-Yves Strub)
Language Language
* program functions can now be marked `partial` to prevent them from * program functions can now be marked `partial` to prevent them from
...@@ -35,10 +35,11 @@ Provers ...@@ -35,10 +35,11 @@ Provers
* support for Alt-Ergo 2.1.0 (released Mar 14, 2018) * support for Alt-Ergo 2.1.0 (released Mar 14, 2018)
* support for Alt-Ergo 2.2.0 (released Apr 26, 2018) * support for Alt-Ergo 2.2.0 (released Apr 26, 2018)
* support for Coq 8.8.1 (released Jun 29, 2018) * support for Coq 8.8.1 (released Jun 29, 2018)
* support for Coq 8.8.2 (released Sep 26, 2018)
* support for CVC4 1.6 (released Jun 25, 2018) * support for CVC4 1.6 (released Jun 25, 2018)
* support for Z3 4.7.1 (released May 23, 2018) * support for Z3 4.7.1 (released May 23, 2018)
* support for Isabelle 2018 (released Aug 2018) * support for Isabelle 2018 (released Aug 2018)
[Contribution Stefan Berghofer <stefan.berghofer@secunet.com>] (contribution by Stefan Berghofer)
* dropped support for Isabelle 2016 (2017 still supported) :x: * dropped support for Isabelle 2016 (2017 still supported) :x:
* dropped support for Alt-Ergo versions < 2.0.0 :x: * dropped support for Alt-Ergo versions < 2.0.0 :x:
......
...@@ -118,10 +118,12 @@ ...@@ -118,10 +118,12 @@
* put 0.86 in file Version, and then run ./config.status * put 0.86 in file Version, and then run ./config.status
* check/update the content of the About dialog in src/ide/gconfig.ml * check/update the content of the About dialog in src/ide/gconfig.ml
around lines 550-600 around lines 600-650
* check headers * check headers
* check the file CHANGES.md, add the release date * check the file CHANGES.md, add the release date
* check that "make trywhy3" is OK
* generate documentation * generate documentation
- update the date in doc/manual.tex (near \whyversion{}) - update the date in doc/manual.tex (near \whyversion{})
- check/update the authors in doc/manual.tex - check/update the authors in doc/manual.tex
......
VERSION=1.0.0 VERSION=1.1.0
...@@ -118,7 +118,7 @@ ...@@ -118,7 +118,7 @@
%BEGIN LATEX %BEGIN LATEX
\begin{LARGE} \begin{LARGE}
%END LATEX %END LATEX
Version \whyversion{}, June 2018 Version \whyversion{}, October 2018
%BEGIN LATEX %BEGIN LATEX
\end{LARGE} \end{LARGE}
%END LATEX %END LATEX
......
...@@ -572,7 +572,7 @@ support_library = "%l/coq/version" ...@@ -572,7 +572,7 @@ support_library = "%l/coq/version"
exec = "coqtop" exec = "coqtop"
version_switch = "-v" version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)" version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "^8\.8\.[0-1]$" version_ok = "^8\.8\.[0-2]$"
version_ok = "^8\.7\.[0-2]$" version_ok = "^8\.7\.[0-2]$"
version_ok = "8.6.1" version_ok = "8.6.1"
version_ok = "8.6" version_ok = "8.6"
......
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