| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-12-15 | Update ANNOUNCE-1.6.md | Enrico |
| 2015-12-09 | Updated the address of the website in README | Assia Mahboubi |
| 2015-12-09 | Moved comments on the incompatibility to INSTALL. | Assia Mahboubi |
| 2015-12-04 | Trying a better layout of hyperlinks on github | Assia Mahboubi |
| 2015-12-04 | Trying a better layout of the .md on github | Assia Mahboubi |
| 2015-12-04 | Minor edition of the Announce. | Assia Mahboubi |
| 2015-12-04 | Update ANNOUNCE-1.6.md | Enrico |
| 2015-12-04 | better wording and package description in the ANNOUNCE for 1.6 | Enrico Tassi |
| 2015-12-04 | some work on installation instructions and annoucement message | Enrico Tassi |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |