| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-03-02 | Simplify wording. | Théo Zimmermann | |
| Co-authored-by: Jim Fehrle <jim.fehrle@gmail.com> | |||
| 2021-03-02 | Simplify installation instructions in README. | Théo Zimmermann | |
| Now that they are well described on the website. | |||
| 2020-12-10 | Move Azure jobs to GitHub Actions. | Théo Zimmermann | |
| 2020-06-30 | docs(README.md): Update badge and links | Erik Martin-Dorel | |
| * Coq images are not built anymore from a Docker Hub automated build, they are now built from this GitLab CI project: https://gitlab.com/coq-community/docker-coq | |||
| 2020-05-20 | Adapt the documentation to the move from Gitter to Zulip. | Théo Zimmermann | |
| 2020-01-09 | Add badges for Docker Hub and coqorg/coq:latest version | Erik Martin-Dorel | |
| 2019-12-16 | Advertise doc for master branch in README. | Théo Zimmermann | |
| 2019-12-13 | [doc] [INSTALL] Port INSTALL to markdown format. | Emilio Jesus Gallego Arias | |
| 2019-11-27 | [release] Update files for 8.12 release per release process. | Emilio Jesus Gallego Arias | |
| 2019-06-21 | Add Conda badge to README.md | Samuel Lelièvre | |
| 2019-05-24 | Update README, remove MacPorts link (not updated since 8.8.2). | Théo Zimmermann | |
| 2019-04-30 | Remove 8.10 entries from CHANGES file. | Théo Zimmermann | |
| 2019-02-28 | Refresh README. | Théo Zimmermann | |
| 2019-02-09 | [readme] Add link to information about release plans. | Emilio Jesus Gallego Arias | |
| This is a proposal to use the wiki to gather current information about the release process. | |||
| 2019-02-04 | Remove AppVeyor: superseded by Azure. | Théo Zimmermann | |
| 2019-01-22 | Remove travis | Gaëtan Gilbert | |
| The azure OSX job replaces the first travis job, and the second always fails and so is useless. | |||
| 2019-01-13 | Add badges linking to a selection of up-to-date Coq packages. | Théo Zimmermann | |
| The badges displaying the latest packaged version are provided by Repology. The goal is to put forward the packages that are well maintained (updated quickly after a new release) and thus recommended. The history of package updates can be found at: https://repology.org/metapackage/coq/history opam is missing because Repology is not currently tracking opam, but this could be fixed (Repology does not only track Linux-distributions-like package repositories, it also includes programming language package repositories such as CPAN, CRAN, Hackage, RubyGems, and Stackage, thus opam could be added as well). | |||
| 2019-01-13 | Refactor badges in README. | Théo Zimmermann | |
| 2019-01-08 | Move position and update GitLab alt text | Kayla Ngan | |
| 2019-01-08 | Add Azure Pipelines build badge | Kayla Ngan | |
| 2018-10-05 | Rename CHANGES to CHANGES.md. | Guillaume Melquiond | |
| 2018-07-27 | [ci] Remove CircleCI setup. | Emilio Jesus Gallego Arias | |
| GitLab setup is quite stable these days thanks to the work of many people and `coqbot`. We decided to keep CircleCI support for a while as a safeguard in case something happened in the migration to GitLab, but these days we are just wasting resources to them and to us. As I'm afraid CircleCI won't scale for us, the time to remove it has arrived. Still, CircleCI had some awesome functionality that GitLab's CI doesn't offer yet, see the links at: https://github.com/coq/coq/issues/6919#issuecomment-395885573 - https://gitlab.com/gitlab-org/gitlab-ce/issues/29347 - https://gitlab.com/gitlab-org/gitlab-ce/issues/35222 - https://gitlab.com/gitlab-org/gitlab-ce/issues/41947 - https://gitlab.com/gitlab-org/gitlab-ce/issues/47063 | |||
| 2018-06-27 | Mention Consortium in README | Maxime Dénès | |
| We are now actively looking for sponsors, let's make our communication more visible. | |||
| 2018-06-22 | Move INSTALL.doc into doc/README.md. | Théo Zimmermann | |
| This will avoid in particular this ambiguous file extension. [ci skip] | |||
| 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-14 | Add GitLab CI badge in first position. | Théo Zimmermann | |
| 2018-01-22 | [readme] Add DOI badge. | Emilio Jesus Gallego Arias | |
| 2017-12-22 | Merge PR #6484: Update README and CONTRIBUTING to mention the wiki and FAQ. | Maxime Dénès | |
| 2017-12-21 | Fix badges. | Théo Zimmermann | |
| 2017-12-21 | Update README and CONTRIBUTING to mention the wiki and FAQ. | Théo Zimmermann | |
| 2017-12-14 | Circle CI: add badge to README. | Gaëtan Gilbert | |
| 2017-11-10 | Update and simplify README. | Théo Zimmermann | |
| 2017-10-19 | Add AppVeyor badge next to Travis badge. | Théo Zimmermann | |
| 2017-10-18 | Moving to GitHub issues. | Théo Zimmermann | |
| This commit adds an issue template asking for version and OS information and adapts the contributing guide to the change of bug tracker. | |||
| 2017-08-10 | Some more tweaks to contributing guide | Tej Chajed | |
| 2017-07-11 | Update Travis badge following the switch to master | Théo Zimmermann | |
| 2017-06-14 | Direct link to Travis branch builds. | Théo Zimmermann | |
| 2017-04-18 | Adding and fixing links in README. | Théo Zimmermann | |
| 2017-03-28 | [readme] Add badges for Travis and Gitter. | Emilio Jesus Gallego Arias | |
| 2015-08-05 | Description added | Guillaume Claret | |
| 2015-08-05 | Simpler titles | Guillaume Claret | |
| 2015-08-05 | README in MarkDown | Guillaume Claret | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |