aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
Commit message (Expand)AuthorAgeFilesLines
* Revert "Embed the short video with subtitles..."Sylvain Boulmé2020-11-041-10/+2
* Embed the short video with subtitles...Sylvain Boulmé2020-11-041-2/+10
* restore URL on the coqdocSylvain Boulmé2020-10-281-2/+3
* link on Cyril's short videoSylvain Boulmé2020-10-191-8/+12
* fix markdownSylvain Boulmé2020-05-281-1/+3
* readmeDavid Monniaux2020-05-271-0/+15
* Mention the RISC-V port as wellXavier Leroy2018-01-131-2/+2
* Update copyright sectionXavier Leroy2018-01-111-3/+4
* Update http to httpsMichael Schmidt2016-10-281-1/+1
* Further updates to README.mdXavier Leroy2015-04-041-9/+18
* README in MarkDownGuillaume Claret2015-04-021-0/+29