Commit ca898c71 authored by MARCHE Claude's avatar MARCHE Claude

Preparing for release 0.80

parent 3c0b61f8
* marks an incompatible change
version 0.80, Oct 30, 2012
==========================
o new warning: form exists x, P -> Q
o [replayer] new option -q
o [Provers] support for Coq 8.4
......
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