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
*
[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