aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-06-10Generated opam packages allow coq-dev againCyril Cohen
2020-06-09removing opam `| (= "dev")` for released packagesCyril Cohen
2020-06-09Complying to SPDXCyril Cohen
2020-06-09fixing mailmapCyril Cohen
2020-06-09mailmap for Yves and ReynaldCyril Cohen
2020-06-09Merge pull request #533 from affeldt-aist/changelogs_before_releaseaffeldt-aist
2020-06-09Merge pull request #534 from CohenCyril/doc-1.11Cyril Cohen
2020-06-09add lua&sed to shell and switch to coq 8.11 + fixing docCyril Cohen
2020-06-09edit changelogs before releaseReynald Affeldt
2020-06-09Merge pull request #532 from CohenCyril/silence-8.12-warningsCyril Cohen
2020-06-09fix coq 8.12 warningsCyril Cohen
2020-06-08Merge pull request #531 from CohenCyril/fix_cyclotomicCyril Cohen
2020-06-08turning let into local definitionCyril Cohen
2020-06-08Merge pull request #528 from CohenCyril/silence_warningsCyril Cohen
2020-06-08silencing warnings in individual packagesCyril Cohen
2020-06-08Merge pull request #519 from CohenCyril/homomono_inYves Bertot
2020-06-08Cachix action (#525)Cyril Cohen
2020-06-08Documenting addition policy to coq.Cyril Cohen
2020-06-08Merge pull request #524 from erikmd/coq-8.12Cyril Cohen
2020-06-07[CI/CD] Deploy mathcomp/mathcomp-dev:coq-8.12 (with Coq 8.12+alpha)Erik Martin-Dorel
2020-06-06Merge pull request #522 from affeldt-aist/update_readmeCyril Cohen
2020-06-06bugfixCyril Cohen
2020-06-06fix the changelogReynald Affeldt
2020-06-06add new lemmas to the changelogReynald Affeldt
2020-06-06Missing homo_mono lemmasCyril Cohen
2020-06-06Merge pull request #516 from CohenCyril/maxraffeldt-aist
2020-06-06ImprovementsCyril Cohen
2020-06-06tentative changelogReynald Affeldt
2020-06-06General theory of min and max, and use in ssrnumCyril Cohen
2020-06-06Increasing definitional equalitiesCyril Cohen
2020-06-06Generalizing max and min to porderTypeCyril Cohen
2020-06-06change links to the wiki to links to the websiteReynald Affeldt
2020-06-05Merge pull request #514 from affeldt-aist/lemmas_from_analysis_20200521Yves Bertot
2020-06-05fix namingReynald Affeldt
2020-06-05Missing mono lemmas (#513)Cyril Cohen
2020-06-04fix changelogReynald Affeldt
2020-06-04fix md formattingReynald Affeldt
2020-06-04fix namingReynald Affeldt
2020-06-03Merge pull request #520 from CohenCyril/cachix-actionCyril Cohen
2020-06-03update default nix and setup cachixCyril Cohen
2020-06-03add real_* variantsReynald Affeldt
2020-06-02another lemma about norm from mathcomp-analysisReynald Affeldt
2020-05-28Merge pull request #511 from CohenCyril/nixYves Bertot
2020-05-28Merge pull request #504 from pi8027/selectorsaffeldt-aist
2020-05-27URL in httpsCyril Cohen
2020-05-22tentative change of naming convention and add variantsReynald Affeldt
2020-05-21three lemmas that we found useful in the context of theReynald Affeldt
2020-05-16A few more revisionsKazuhiko Sakaguchi
2020-05-15adding default nix shellCyril Cohen
2020-05-13Revise proofs in ssreflect/*.vKazuhiko Sakaguchi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:47:21 +0000