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

Mention opam changes.

parent eadd9bcd
......@@ -58,6 +58,9 @@ Provers
* removed the `why3` Coq tactic :x:
* dropped support for Coq 8.4 :x:
Miscellaneous
* moved the opam base package to `why3`; added `why3-ide` and `why3-coq`
Version 0.88.3, January 11, 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