| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| Plus minor formattig tweaks and typo fixes. | |||
| 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