Merge requests · BESSON Frederic / itauto

Adapt to coq/coq#18023 (RedFlags moving out of CClosure)

!13 · created Sep 15, 2023 by GILBERT Gaëtan
- Merged
- 1
updated Sep 19, 2023
Adapt w.r.t. coq/coq#17768.

!12 · created Jun 28, 2023 by Pierre-Marie Pédrot
- Merged
- Approved
- 2
updated Jun 29, 2023
Adapt to coq/coq#17664 (goptions use Deprecation.t option instead of bool)

!11 · created Jun 02, 2023 by GILBERT Gaëtan
- Merged
- 0
updated Jun 04, 2023
Use OCaml dot notation for projections

!10 · created Mar 05, 2023 by HERBELIN Hugo
- Merged
- Approved
- 1
- 1
updated Mar 06, 2023
Don't rely on rectypes

!9 · created Dec 31, 2022 by GILBERT Gaëtan
- Merged
- 2
updated Jan 03, 2023
Adapt to coq/coq#16938 (staged options)

!8 · created Dec 07, 2022 by GILBERT Gaëtan
- Merged
- 2
updated Dec 08, 2022
Adapt w.r.t. coq/coq#16933.

!7 · created Dec 03, 2022 by Pierre-Marie Pédrot
- Merged
- 2
updated Dec 07, 2022
Draft: Resolve "itauto tactic notation with omitted leaf"

!6 · created Mar 28, 2022 by BESSON Frederic
- Closed
- 0
updated Mar 28, 2022
Adapt w.r.t. coq/coq#15856.

!5 · created Mar 25, 2022 by Pierre-Marie Pédrot
- Merged
- 1
- 2
updated Mar 29, 2022
Adapt w.r.t. coq/coq#15393.

!4 · created Dec 21, 2021 by Pierre-Marie Pédrot
- Merged
- 3
updated Dec 30, 2021
Adapt w.r.t. coq/coq#15327.

!3 · created Dec 10, 2021 by Pierre-Marie Pédrot
- Merged
- 3
updated Dec 13, 2021
adapt to coq/coq#15220

!2 · created Dec 01, 2021 by TASSI Enrico
- Merged
- 3
updated Feb 03, 2022
Add gitignore

!1 · created Nov 15, 2021 by GILBERT Gaëtan
- Merged
- Approved
- 0
updated Nov 15, 2021