Commit 14824765 authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan


parent 64df895f
Pipeline #142436 passed with stages
# Changes
## 2020/05/03
* Import ListNotations wherever it is necessary so that we do not rely
on it being exported by Program.
## 2019/09/24
* Fix compatibility with Coq 8.10, and some warnings.
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