| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-12-12 | bigop with allpairs | Florent Hivert | |
| 2017-12-11 | Merge pull request #162 from CohenCyril/CONTRIBUTING | Cyril Cohen | |
| Draft contributing guide | |||
| 2017-12-11 | Merge pull request #160 from CohenCyril/subr_trans | Cyril Cohen | |
| Add addrKA and subrKA (addrK and addrNK modulo Associativity) | |||
| 2017-12-11 | Merge pull request #166 from hivert/PR | Cyril Cohen | |
| Resubmitted missing lemma in seq.v | |||
| 2017-12-11 | Missing lemmas in seq | Florent Hivert | |
| 2017-12-11 | fixing typos | Cyril Cohen | |
| 2017-11-30 | Minor updates in the readme | Assia Mahboubi | |
| 2017-11-30 | README: remove broken link to the wiki about software | Enrico | |
| 2017-11-30 | Merge pull request #165 from ejgallego/readme_pass | Enrico | |
| [doc] Attempt to tweak README based on the discussion. | |||
| 2017-11-29 | [doc] Attempt to tweak README based on the discussion. | Emilio Jesus Gallego Arias | |
| 2017-11-27 | following @ggonthier remark. | Cyril Cohen | |
| 2017-11-24 | Draft contributing guide, fixes #158 | Cyril Cohen | |
| 2017-11-23 | Add addrKA and subrKA (addrK and addrNK modulo Associativity) | Cyril Cohen | |
| 2017-11-21 | Merge pull request #115 from strub/uniqP | Cyril Cohen | |
| Reflection lemmas for `seq.uniq` | |||
| 2017-11-07 | Update README.md | Cyril Cohen | |
| 2017-11-07 | Opam installation instruction update | Cyril Cohen | |
| For released or dev versions | |||
| 2017-11-06 | Merge pull request #154 from maximedenes/nothing-to-inject | Enrico | |
| Fix the only remaining spurious injection in the entire codebase. | |||
| 2017-11-06 | Fix the only remaining spurious injection in the entire codebase. | Maxime Dénès | |
| We may want to make it an error, now that the transition period has been long enough. | |||
| 2017-10-30 | Merge pull request #153 from maximedenes/remove-obsolete-locality | Enrico | |
| Fix obsolete vernacular syntax for locality. | |||
| 2017-10-30 | Fix obsolete vernacular syntax for locality. | Maxime Dénès | |
| It was emitting a deprecation warning and will soon be removed from Coq. | |||
| 2017-10-26 | Merge pull request #149 from CohenCyril/no-compat-coq.8.4 | Cyril Cohen | |
| Remove compatibility with Coq.8.4 | |||
| 2017-10-23 | Remove compatibility with Coq.8.4 (and compatibility hacks that went with it) | Cyril Cohen | |
| 2017-10-23 | Merge pull request #145 from CohenCyril/new-packager | Cyril Cohen | |
| New packager | |||
| 2017-10-20 | Merge pull request #140 from RalfJung/make | Enrico | |
| fix building with make flags | |||
| 2017-10-20 | Merge pull request #143 from RalfJung/coq-version | Enrico | |
| fix Coq version detection on Windows, and in case there are warnings | |||
| 2017-10-20 | reproduce github archive locally rather than downloading, much faster | Cyril Cohen | |
| 2017-10-20 | improved package generator | Cyril Cohen | |
| 2017-10-19 | fixed homepage | Cyril Cohen | |
| 2017-10-19 | fix coq version | Cyril Cohen | |
| 2017-10-19 | new script to create opam meta packages | Cyril Cohen | |
| - the opam files in the branch where the script is launched should be correct - if not, the second argument to the script should be a branch in which the opam files are correct | |||
| 2017-10-19 | No more `cm*` files in the installer! | Enrico | |
| Since they are all in Coq! | |||
| 2017-10-12 | fix Coq version detection on Windows, and in case there are errors | Ralf Jung | |
| 2017-10-10 | fix building with make flags | Ralf Jung | |
| Fixes #139 | |||
| 2017-09-13 | update the opam description for use in coq.8.7 | Yves Bertot | |
| 2017-09-07 | Merge pull request #106 from akr/remove-subfilter-doc | Cyril Cohen | |
| remove documentation for subfilter. | |||
| 2017-09-07 | extended changelog in preparation for the next release | Cyril Cohen | |
| 2017-09-07 | adding odd_order to the list of released content for 1.6 | Cyril Cohen | |
| 2017-09-07 | travis: also test Coq v8.7 | Enrico | |
| 2017-08-13 | Merge pull request #134 from PatrickMassot/master | Enrico | |
| Fix typo in fingroup documentation | |||
| 2017-08-13 | Fix typo in fingroup documentation | Patrick Massot | |
| 2017-07-31 | Fix build of ssreflect/ only on 8.6 | Enrico Tassi | |
| 2017-07-13 | trunk -> master | Enrico | |
| 2017-07-13 | travis: trunk -> master | Enrico | |
| 2017-06-14 | No .ml4 file in the standard Make | Enrico | |
| it is to the caller of coq_makefile to eventually add .ml4 files | |||
| 2017-06-14 | Merge pull request #131 from matejkosik/master | Enrico | |
| Fix compilation of ssreflect submodule | |||
| 2017-06-14 | Fix compilation of ssreflect/ submodule | Matej Košík | |
| 2017-06-09 | fix compilation on 8.5 | Enrico Tassi | |
| 2017-06-09 | fix compilation on 8.6 | Enrico Tassi | |
| 2017-06-07 | Merge pull request #129 from maximedenes/ssr-merge | Maxime Dénès | |
| Ssr merge | |||
| 2017-06-07 | Change failing test. | Maxime Dénès | |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |