Commit 7e1f191f authored by MARCHE Claude's avatar MARCHE Claude

document new prover support in CHANGES

parent 672c297e
:x: marks a potential source of incompatibility
Provers
* support for Alt-Ergo 2.2.0 (released Apr 26, 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 CVC4 1.6 (released Jun 25, 2018)
* support for Isabelle 2018 (released Aug 2018)
* dropped support for Isabelle 2016 (2017 still supported) :x:
Version 1.0.0, June 25, 2018
----------------------------
......
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