| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-12-13 | Update dev/ci/user-overlays/README.md | Enrico Tassi | |
| Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com> | |||
| 2020-12-12 | [ci] update doc for overlays | Enrico Tassi | |
| 2020-12-10 | [ci] simplify overlay scripts | Enrico Tassi | |
| 2020-10-12 | Automatically merge overlays with most recent upstream version | Gaëtan Gilbert | |
| This avoids the need to rebase the overlay when nothing has changed. | |||
| 2019-06-06 | Remove old overlays | Gaëtan Gilbert | |
| I updated the readme example using the most recent overlay with only 1 touched development. | |||
| 2018-10-17 | [ci] [doc] Notes about branch names. | Emilio Jesus Gallego Arias | |
| I'd like to add this convention as it is very convenient for the development of dev tools. Example, I can do `setup-coq-devs ltac equations` and then get a fully composed tree. Similarly for preparing overlays. | |||
| 2018-08-31 | Download tarball instead of cloning external projects (when $CI is set). | Théo Zimmermann | |
| This allows to use fixed commits and not just branches or tags. We keep using git clone when $FORCE_GIT is set (for projects on gforge.inria.fr and projects pulling dependencies through git submodules). fiat-parsers also calls git submodule, but inside its own Makefile. | |||
| 2018-06-29 | Document that GITURL variables shouldn't have a trailing .git anymore. | Théo Zimmermann | |
| This allows to append /archive at the end. | |||
| 2018-06-25 | Reuse CI info to know which version of plugins to build on Windows. | Théo Zimmermann | |
| 2018-06-13 | Markdown docs: switch from absolute to relative links. | Théo Zimmermann | |
| We had mostly used absolute links in the past. I just discovered that GitHub recommends using relative links instead: https://help.github.com/articles/basic-writing-and-formatting-syntax/#relative-links and indeed my Emacs Markdown mode can handle relative links but doesn't interpret absolute links relatively to the root of the git repository. [ci skip] | |||
| 2018-05-24 | Complete rewrite of the documentation of overlays after Jim's additional ↵ | Théo Zimmermann | |
| comments. [ci skip] | |||
| 2018-05-24 | Relax advice on the name of user-overlays following Gaëtan's suggestion. | Théo Zimmermann | |
| [ci skip] | |||
| 2018-05-24 | Improve merging and overlay documentations. | Théo Zimmermann | |
| Clarification prompted by Jim Fehrle. [ci skip] | |||
| 2018-04-05 | Improve shell scripts | zapashcanon | |
| 2017-12-26 | Fix overlay selection for Circle CI. | Gaëtan Gilbert | |
| 2017-06-16 | Each user overlay goes into its own file. | Théo Zimmermann | |
| This will avoid stupid merge conflicts in the future. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |