aboutsummaryrefslogtreecommitdiff
path: root/README.md
AgeCommit message (Expand)Author
2021-03-02Simplify wording.Théo Zimmermann
2021-03-02Simplify installation instructions in README.Théo Zimmermann
2020-12-10Move Azure jobs to GitHub Actions.Théo Zimmermann
2020-06-30docs(README.md): Update badge and linksErik Martin-Dorel
2020-05-20Adapt the documentation to the move from Gitter to Zulip.Théo Zimmermann
2020-01-09Add badges for Docker Hub and coqorg/coq:latest versionErik Martin-Dorel
2019-12-16Advertise 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-21Add Conda badge to README.mdSamuel Lelièvre
2019-05-24Update README, remove MacPorts link (not updated since 8.8.2).Théo Zimmermann
2019-04-30Remove 8.10 entries from CHANGES file.Théo Zimmermann
2019-02-28Refresh README.Théo Zimmermann
2019-02-09[readme] Add link to information about release plans.Emilio Jesus Gallego Arias
2019-02-04Remove AppVeyor: superseded by Azure.Théo Zimmermann
2019-01-22Remove travisGaëtan Gilbert
2019-01-13Add badges linking to a selection of up-to-date Coq packages.Théo Zimmermann
2019-01-13Refactor badges in README.Théo Zimmermann
2019-01-08Move position and update GitLab alt textKayla Ngan
2019-01-08Add Azure Pipelines build badgeKayla Ngan
2018-10-05Rename CHANGES to CHANGES.md.Guillaume Melquiond
2018-07-27[ci] Remove CircleCI setup.Emilio Jesus Gallego Arias
2018-06-27Mention Consortium in READMEMaxime Dénès
2018-06-22Move INSTALL.doc into doc/README.md.Théo Zimmermann
2018-06-13Markdown docs: switch from absolute to relative links.Théo Zimmermann
2018-05-14Add GitLab CI badge in first position.Théo Zimmermann
2018-01-22[readme] Add DOI badge.Emilio Jesus Gallego Arias
2017-12-22Merge PR #6484: Update README and CONTRIBUTING to mention the wiki and FAQ.Maxime Dénès
2017-12-21Fix badges.Théo Zimmermann
2017-12-21Update README and CONTRIBUTING to mention the wiki and FAQ.Théo Zimmermann
2017-12-14Circle CI: add badge to README.Gaëtan Gilbert
2017-11-10Update and simplify README.Théo Zimmermann
2017-10-19Add AppVeyor badge next to Travis badge.Théo Zimmermann
2017-10-18Moving to GitHub issues.Théo Zimmermann
2017-08-10Some more tweaks to contributing guideTej Chajed
2017-07-11Update Travis badge following the switch to masterThéo Zimmermann
2017-06-14Direct link to Travis branch builds.Théo Zimmermann
2017-04-18Adding and fixing links in README.Théo Zimmermann
2017-03-28[readme] Add badges for Travis and Gitter.Emilio Jesus Gallego Arias
2015-08-05Description addedGuillaume Claret
2015-08-05Simpler titlesGuillaume Claret
2015-08-05README in MarkDownGuillaume Claret
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:34:51 +0000