aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays
AgeCommit message (Expand)Author
2018-10-26PR 8671: Add overlay for plugin-tutorialMatthieu Sozeau
2018-10-26Overlay for kernel entries changeMaxime Dénès
2018-10-17[ci] [doc] Notes about branch names.Emilio Jesus Gallego Arias
2018-10-11[vernac] Remove unused abstraction from declaration_hook type.Emilio Jesus Gallego Arias
2018-10-08Merge PR #8554: Fixes #8553: regression of tactic "change" under binders.Pierre-Marie Pédrot
2018-10-05[kernel] Remove section paths from `KerName.t`Maxime Dénès
2018-10-02[ci] overlay for elpiEnrico Tassi
2018-09-27Overlays for Ltac2 and Equations.Hugo Herbelin
2018-09-25overlay to test elpi 1.1Enrico Tassi
2018-09-15Overlay for cross-crypto.Hugo Herbelin
2018-09-10Ltac2 overlay.Hugo Herbelin
2018-09-03Merge PR #8064: Numeral notation (revisited again)Hugo Herbelin
2018-09-03Merge PR #7085: Turn the kernel reduction sharing flag into an argument passe...Maxime Dénès
2018-09-01Add overlay for HoTTJason Gross
2018-08-31Download tarball instead of cloning external projects (when $CI is set).Théo Zimmermann
2018-07-26Adding an overlay for Mtac2.Pierre-Marie Pédrot
2018-07-25Add overlay for EquationsGaëtan Gilbert
2018-07-25Merge PR #8063: Direct implementation of Ascii.eqb and String.eqb (take 2)Hugo Herbelin
2018-07-24Add overlay for Equations.Gaëtan Gilbert
2018-07-17Add overlay for Coq-Equations for QuestionMark.Siddharth Bhat
2018-07-16Add overlay for QuickChickJason Gross
2018-07-12Clean-up user-overlays folder.Théo Zimmermann
2018-07-07Add an overlay.Pierre-Marie Pédrot
2018-07-03Add overlay for equations.Gaëtan Gilbert
2018-07-02Add Equations overlayMatthieu Sozeau
2018-07-02Merge PR #7902: Use a homebrew parser to replace the GEXTEND extension points...Emilio Jesus Gallego Arias
2018-06-29Adding an overlay for the PR.Pierre-Marie Pédrot
2018-06-29Document that GITURL variables shouldn't have a trailing .git anymore.Théo Zimmermann
2018-06-27Adding overlay.Hugo Herbelin
2018-06-27Merge PR #7863: Remove Sorts.contentsPierre-Marie Pédrot
2018-06-26Merge PR #7906: universes_of_constr don't include universes of monomorphic co...Pierre-Marie Pédrot
2018-06-26Add overlay for elpiGaëtan Gilbert
2018-06-26Add overlay for Equations, ElpiGaëtan Gilbert
2018-06-25Reuse CI info to know which version of plugins to build on Windows.Théo Zimmermann
2018-06-18Overlay for reference removalMaxime Dénès
2018-06-14Merge PR #664: Fixing #5500 (missing test in return clause of match leading t...Matthieu Sozeau
2018-06-13Markdown docs: switch from absolute to relative links.Théo Zimmermann
2018-06-12[api] Add compatiblity Misctypes module.Emilio Jesus Gallego Arias
2018-06-05Merge PR #7099: Stronger invariants in unification signature.Matthieu Sozeau
2018-06-05Merge PR #7495: Fix restrict_universe_contextMatthieu Sozeau
2018-06-04Adding an overlay for the Equations plugin.Pierre-Marie Pédrot
2018-05-30overlay triggering bug #7472 (that #7495) is supposed to fixEnrico Tassi
2018-05-27[api] Make `vernac/` self-contained.Emilio Jesus Gallego Arias
2018-05-26Merge PR #7543: [ide] Move common protocol library to its own folder/object.Pierre-Marie Pédrot
2018-05-24[tactics] Remove anonymous fix/cofix form.Emilio Jesus Gallego Arias
2018-05-24Complete rewrite of the documentation of overlays after Jim's additional comm...Théo Zimmermann
2018-05-24Relax advice on the name of user-overlays following Gaëtan's suggestion.Théo Zimmermann
2018-05-24Improve merging and overlay documentations.Théo Zimmermann
2018-05-24[ide] Move common protocol library to its own folder/object.Emilio Jesus Gallego Arias
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:29:20 +0000