Merge requests · Gappa / coq

Adapt to coq/coq#15867 (stream in gramlib)

!9 · created May 24, 2022 by GILBERT Gaëtan
- Merged
- 6
updated Jul 01, 2022
adapt to coq/coq#15220

!7 · created Dec 03, 2021 by TASSI Enrico
- Merged
- 8
updated Feb 03, 2022
Remove the V82 compatibility layer.

!6 · created Dec 02, 2021 by Pierre-Marie Pédrot
- Merged
- 7
updated Dec 10, 2021
Adapt w.r.t. coq/coq#15159.

!5 · created Nov 10, 2021 by Pierre-Marie Pédrot
- Merged
- 3
updated Nov 19, 2021
Adapt w.r.t. coq/coq#15069.

!4 · created Oct 26, 2021 by Pierre-Marie Pédrot
- Merged
- 2
updated Nov 02, 2021
Adapt to coq/coq#14773 (convert_concl has a ~cast argument)

!3 · created Sep 30, 2021 by GILBERT Gaëtan
- Merged
- 5
updated Oct 11, 2021