aboutsummaryrefslogtreecommitdiff
path: root/README.md
AgeCommit message (Expand)Author
2021-01-13Update README.mdCyril Cohen
2021-01-13Update README.mdCyril Cohen
2020-06-06change links to the wiki to links to the websiteReynald Affeldt
2019-11-04Update README.mdGabriel Taumaturgo
2019-05-22Update README.mdCyril Cohen
2019-02-07add a link to the website (#274)Enrico
2019-01-28Travis no moreCyril Cohen
2018-12-21README.md: Add GitLab CI badgeErik Martin-Dorel
2018-12-12Gitter BadgeCyril Cohen
2018-07-02fix URL in READMEEnrico
2018-02-06Update README.mdCyril Cohen
2017-11-30Minor updates in the readmeAssia Mahboubi
2017-11-30README: remove broken link to the wiki about softwareEnrico
2017-11-29[doc] Attempt to tweak README based on the discussion.Emilio Jesus Gallego Arias
2017-11-07Update README.mdCyril Cohen
2017-11-07Opam installation instruction updateCyril Cohen
2017-02-06Build status in READMECyril Cohen
2015-12-14get rid of : and basic/ in README.mdEnrico Tassi
2015-09-01Fix typo in README.Maxime Dénès
2015-07-29Update README.mdamahboubi
2015-07-29Update README.mdCyril Cohen
2015-07-29First stab at the README (displayed on github)Enrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:32:34 +0000