| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-07-31 | removing dead code + reshuffling stuff | Cyril Cohen |
| 2018-07-31 | Rework the whole Makefile architecture | Cyril Cohen |
| 2018-02-26 | Add ssrmatching.v transitional file | Erik Martin-Dorel |
| 2017-11-14 | Update v8.5 plugin to fix math-comp/math-comp#61 | Erik Martin-Dorel |
| 2017-06-09 | fix compilation on 8.5 | Enrico Tassi |
| 2017-06-09 | fix compilation on 8.6 | Enrico Tassi |
| 2017-06-07 | For trunk, use merged ssr plugin. | Maxime Dénès |
| 2016-10-13 | Make: avoid >> Make, pass args to coq_makefile instead (#77) | Enrico Tassi |
| 2016-06-16 | Port build system to trunk (ssrmatching merged in Coq) | Enrico Tassi |
| 2016-01-21 | build script is now cygwin friendly | Enrico Tassi |
| 2015-07-29 | fix Makefiles | Enrico Tassi |
| 2015-07-28 | factor common Makefile stuff | Enrico Tassi |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |