aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/ci-user-overlay.sh
AgeCommit message (Expand)Author
2017-06-16Each user overlay goes into its own file.Théo Zimmermann
2017-06-14[travis] overlay for fiat-crypto (a Require Import FunInd)Pierre Letouzey
2017-06-14[travis] overlays for CompCert and VST (an extra Require Export FunInd)Pierre Letouzey
2017-06-13[travis] overlay for cornPierre Letouzey
2017-06-13[travis] overlay + extra deps for math-classes (and formal-topology)Pierre Letouzey
2017-06-12add overlaysMatej Košík
2017-06-08Remove overlay.Maxime Dénès
2017-06-07add overlaysMatej Košík
2017-06-06Overlay.Maxime Dénès
2017-06-06Remove some overlays.Maxime Dénès
2017-06-06Overlays.Maxime Dénès
2017-05-31Adding overlay for math-comp.Hugo Herbelin
2017-05-27[coqlib] Move `Coqlib` to `library/`.Emilio Jesus Gallego Arias
2017-05-25Merge PR#481: [option] Remove support for non-synchronous options.Maxime Dénès
2017-05-25Merge PR#406: coq makefile2Maxime Dénès
2017-05-25[location] [travis] Add overlays for located_switchEmilio Jesus Gallego Arias
2017-05-24Merge branch 'trunk' into located_switchEmilio Jesus Gallego Arias
2017-05-24[option] Remove support for non-synchronous options.Emilio Jesus Gallego Arias
2017-05-23overlay for UniMathEnrico Tassi
2017-04-25[travis] mathcomp and fiat overlay for #402Emilio Jesus Gallego Arias
2017-04-24Adding a dedicated travis overlay for fiat-parsers.Pierre-Marie Pédrot
2017-04-07[travis] Overlay for PR#461: Camlp4 removal.Emilio Jesus Gallego Arias
2017-03-13[travis] Basic support for overlays.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 03:14:24 +0000