Commit 00396c0d authored by Sylvain Dailler's avatar Sylvain Dailler


parent 2cc24407
:x: marks a potential source of incompatibility
Next Version
* "split_vc" and "subst_all" now avoid substituting user symbols to generated
one (issue 235). It may breaks session :x:.
* "destruct_rec" applies "destruct" recursively on a goal (issue 231).
* "destruct" now simplifies away equalities on constructors.
Version 1.1.0, October 17, 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