index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
README.md
Commit message (
Expand
)
Author
Age
*
Mention Consortium in README
Maxime Dénès
2018-06-27
*
Move INSTALL.doc into doc/README.md.
Théo Zimmermann
2018-06-22
*
Markdown docs: switch from absolute to relative links.
Théo Zimmermann
2018-06-13
*
Add GitLab CI badge in first position.
Théo Zimmermann
2018-05-14
*
[readme] Add DOI badge.
Emilio Jesus Gallego Arias
2018-01-22
*
Merge PR #6484: Update README and CONTRIBUTING to mention the wiki and FAQ.
Maxime Dénès
2017-12-22
|
\
*
|
Fix badges.
Théo Zimmermann
2017-12-21
|
*
Update README and CONTRIBUTING to mention the wiki and FAQ.
Théo Zimmermann
2017-12-21
|
/
*
Circle CI: add badge to README.
Gaëtan Gilbert
2017-12-14
*
Update and simplify README.
Théo Zimmermann
2017-11-10
*
Add AppVeyor badge next to Travis badge.
Théo Zimmermann
2017-10-19
*
Moving to GitHub issues.
Théo Zimmermann
2017-10-18
*
Some more tweaks to contributing guide
Tej Chajed
2017-08-10
*
Update Travis badge following the switch to master
Théo Zimmermann
2017-07-11
*
Direct link to Travis branch builds.
Théo Zimmermann
2017-06-14
*
Adding and fixing links in README.
Théo Zimmermann
2017-04-18
*
[readme] Add badges for Travis and Gitter.
Emilio Jesus Gallego Arias
2017-03-28
*
Description added
Guillaume Claret
2015-08-05
*
Simpler titles
Guillaume Claret
2015-08-05
*
README in MarkDown
Guillaume Claret
2015-08-05