aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays
AgeCommit message (Expand)Author
2018-07-17Add overlay for Coq-Equations for QuestionMark.Siddharth Bhat
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
2018-05-15Merge PR #7213: Do not compute constr matching context if not used.Matthieu Sozeau
2018-04-23Merge PR #7152: [api] Remove dependency of library on Vernacexpr.Pierre-Marie Pédrot
2018-04-13Overlay for econstr in Evd.Gaëtan Gilbert
2018-04-13Merge PR #6454: [econstr] Flag to make `to_constr` fail if its output contain...Pierre-Marie Pédrot
2018-04-11Adding an overlay for Ltac2.Pierre-Marie Pédrot
2018-04-08Merge PR #6809: Improve shell scriptsMichael Soegtrop
2018-04-06[api] Remove dependency of library on Vernacexpr.Emilio Jesus Gallego Arias
2018-04-05Improve shell scriptszapashcanon
2018-04-02[api] Move some types to their proper module.Emilio Jesus Gallego Arias
2018-03-31[econstr] Forbid calling `to_constr` in open terms.Emilio Jesus Gallego Arias
2018-03-27Adding a fiat-parser overlayHugo Herbelin
2018-03-10[ssreflect] Fix module scoping problems due to packing and mli files.Emilio Jesus Gallego Arias
2018-03-09[located] Push inner locations in `reference` to a CAst.t node.Emilio Jesus Gallego Arias
2018-03-09[located] More work towards using CAst.tEmilio Jesus Gallego Arias
2018-03-09Merge PR #6775: Allow using cumulativity without forcing strict constraints.Maxime Dénès
2018-03-09Overlay for Elpi.Gaëtan Gilbert
2018-03-09Add an overlay for Equations and Ltac2.Pierre-Marie Pédrot
2018-03-04Merge PR #6511: [econstr] Continue consolidation of EConstr API under `interp`.Maxime Dénès
2018-03-04Merge PR #6676: [proofview] goals come with a stateMaxime Dénès
2018-02-28[econstr] Continue consolidation of EConstr API under `interp`.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 19:08:02 +0000