| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-12-09 | Moved comments on the incompatibility to INSTALL. | Assia Mahboubi | |
| Plus added a reference to the issue and the suggested solution in the other doc files. | |||
| 2015-12-08 | Create ANNOUNCE-github.md | Enrico | |
| First attempt to define the organization, please comment! | |||
| 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 | |
| Added a few more details in the description of the components and corrected some typos. | |||
| 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 | |
| 2015-11-10 | Adding sections for definitions in change log | amahboubi | |
| 2015-11-10 | Update ChangeLog | amahboubi | |
| 2015-11-09 | ChangeLog: yake Yves' suggestion into account | Enrico | |
| 2015-11-06 | First stab at INSTALL | Enrico Tassi | |
| 2015-11-06 | Makefile to create a tar ball | Enrico Tassi | |
| 2015-11-05 | Changelog file created | Enrico Tassi | |
| 2015-07-22 | opam meta-data +url | Cyril Cohen | |
| 2015-07-22 | make the opam package meta data | Cyril Cohen | |
| 2015-07-21 | make opam meta-data | Cyril Cohen | |
| 2015-07-21 | patch ssrcoqdep | Cyril Cohen | |
| 2015-07-17 | Updating files + reorganizing everything | Cyril Cohen | |
| 2015-03-09 | some work on ssreflect and discrete | Enrico Tassi | |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |