| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-04-08 | Update INSTALL.md | Cyril Cohen |
| 2019-01-29 | Add more libraries to CI & Update local opam doc (#272) | Erik Martin-Dorel |
| 2018-06-08 | Update INSTALL.md | Enrico |
| 2018-06-08 | [INSTALL] document opam --root option | Enrico |
| 2018-04-20 | update installation instructions | Enrico Tassi |
| 2018-03-06 | [doc] Add instructions for dev version installation via OPAM | Anton Trunov |
| 2017-11-29 | [doc] Attempt to tweak README based on the discussion. | Emilio Jesus Gallego Arias |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |
path: root/INSTALL.md