aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays
AgeCommit message (Expand)Author
2021-04-23Merge PR #14075: New level of abstraction for streams with (non-canonical) lo...Pierre-Marie Pédrot
2021-04-23Merge PR #13965: [abbreviation] user syntax to set interp scope of argumentPierre-Marie Pédrot
2021-04-23Overlay for elpi.Hugo Herbelin
2021-04-21Merge PR #13911: Remove the :> type cast?coqbot-app[bot]
2021-04-15Merge PR #14111: [ci] update elpi to 1.13.1coqbot-app[bot]
2021-04-14Update dev/ci/user-overlays/14111-gares-update-elpi.shEnrico Tassi
2021-04-14overlay fileEnrico Tassi
2021-04-14Overlay for no remote counterGaëtan Gilbert
2021-04-07overlayEnrico Tassi
2021-03-30Remove the :> type castJim Fehrle
2021-03-26[ci] overlay file for #13958Enrico Tassi
2021-03-25Merge PR #13852: [vernac] Improve alpha-renaming in record projection typescoqbot-app[bot]
2021-03-09Add overlayKazuhiko Sakaguchi
2021-03-06[vernac] Improve alpha-renaming in record projection typesLi-yao Xia
2021-02-27Add overlayPierre Roux
2021-02-24Overlay for Set DebugGaëtan Gilbert
2021-02-11Merge PR #13844: [vernac] pass the loc of the whole command to the interp fun...coqbot-app[bot]
2021-02-11[ci] overlay for elpiEnrico Tassi
2021-02-11overlay for coq-elpiEnrico Tassi
2021-01-19Merge PR #13512: Fixes #13413: freshness failure in apply-in introduction pat...Pierre-Marie Pédrot
2021-01-18Adding overlay for perennial.Hugo Herbelin
2021-01-18Support locality attributes for Hint Rewrite (including export)Gaëtan Gilbert
2021-01-09Merge PR #13299: Remember universe instances of constants in notationscoqbot-app[bot]
2021-01-04Remember universe instances of constants in notationsJasper Hugunin
2021-01-04Add overlays.Pierre-Marie Pédrot
2020-12-21Add overlays.Pierre-Marie Pédrot
2020-12-13Update dev/ci/user-overlays/README.mdEnrico Tassi
2020-12-12[ci] update doc for overlaysEnrico Tassi
2020-12-12Merge PR #13603: [ci] function to declare projectscoqbot-app[bot]
2020-12-10[ci] remove old overlays so that people don't copy themEnrico Tassi
2020-12-10[ci] simplify overlay scriptsEnrico Tassi
2020-12-09Adding overlays.Pierre-Marie Pédrot
2020-11-26Merge PR #13415: Separate interning and pretyping of universescoqbot-app[bot]
2020-11-26[ci] bump elpi to 1.12.0Enrico Tassi
2020-11-25Overlays for #13415Gaëtan Gilbert
2020-11-19Add overlays for elpi and unicoq.Hugo Herbelin
2020-11-18[attributes] Add overlays for #13312Emilio Jesus Gallego Arias
2020-11-17Merge PR #12653: Syntax for specifying cumulative inductivescoqbot-app[bot]
2020-11-16Overlay for Coq-Equations.Hugo Herbelin
2020-11-16Overlays for cumulative inductive syntaxGaëtan Gilbert
2020-11-13[record] [ci] Overlay for elpiEmilio Jesus Gallego Arias
2020-11-06Merge PR #13139: Clean the constr-as-hint APIcoqbot-app[bot]
2020-11-05Add overlaysPierre Roux
2020-11-04Add overlays.Pierre-Marie Pédrot
2020-10-27Merge PR #13075: Introducing the foundations for a name-alias-agnostic APIcoqbot-app[bot]
2020-10-23Merge PR #13177: Automatically merge overlays with most recent upstream versioncoqbot-app[bot]
2020-10-21Add overlays.Pierre-Marie Pédrot
2020-10-16Overlay for elpi.Hugo Herbelin
2020-10-12Merge PR #12449: Minimize Prop <= i to i := Setcoqbot-app[bot]
2020-10-12Automatically merge overlays with most recent upstream versionGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:30:48 +0000