Merge requests · Coquelicot / coquelicot · GitLab

Mentions légales du service

[En cours] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
[In progress] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656

Prochaine maintenance programmée : lundi 07/10
Pour plus d'informations : https://doc-si.inria.fr/display/SU/Gitlab

Adapt w.r.t. coq/coq#17564.

!8 · created May 03, 2023 by Pierre-Marie Pédrot
- Closed
- 2
updated May 03, 2023
adapt to coq PR #11404, where RList is replaced by (list R)

!3 · created Feb 06, 2020 by BERTOT Yves
- Closed
- 9
updated Nov 28, 2022
overlay for https://github.com/coq/coq/pull/13582

!4 · created Dec 09, 2020 by THERY Laurent
- Closed
- 1
updated Dec 11, 2020
Fix w.r.t. coq/coq#11398.

!2 · created Jan 14, 2020 by Pierre-Marie Pédrot
- Closed
- 3
updated Jan 22, 2020