Commit ecf11313 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Fix coq-menhirlib/CHANGES.md.

parent d674c82a
Pipeline #96366 passed with stages
in 26 seconds
# Changes
## XXXXXXXX
## 2019/09/24
* Fix compatibility with Coq 8.10, and some warnings.
## 2019/06/26
* Fix compatibility with Coq 8.7 and Coq 8.9:
- In Coq 8.7, in the syntax { x : T & T' } for the sigT types,
it was not possible to omit the type T.
- In Coq 8.7, in the syntax `{ x : T & T' }` for the `sigT` types,
it was not possible to omit the type `T`.
- An anomaly in Coq 8.7 has been worked around.
- In Coq 8.9, the numeral notation for positives moved from
Coq.Numbers.BinNums to Coq.PArith.BinPos.
`Coq.Numbers.BinNums` to `Coq.PArith.BinPos`.
## 2019/06/13
......
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