aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/Make
AgeCommit message (Expand)Author
2018-04-20Merge remote-tracking branch 'origin/pr/189'Enrico Tassi
2018-04-20Merge remote-tracking branch 'origin/pr/192'Enrico Tassi
2018-04-18Moving real_closed to another repoCyril Cohen
2018-04-17move odd_order to its own repositoryEnrico Tassi
2018-04-12remove ssrtest: it now belongs to CoqEnrico Tassi
2018-02-26Add ssrmatching.v transitional fileErik Martin-Dorel
2018-02-06add 3 tests to MakeEnrico Tassi
2017-06-07For trunk, use merged ssr plugin.Maxime Dénès
2016-12-07new test for "rewrite /x" when x is OpaqueEnrico Tassi
2016-12-06add test for unfolding primitive projectionsEnrico Tassi
2016-06-17this test is now in Coq, removing it.Enrico Tassi
2016-06-16Port build system to trunk (ssrmatching merged in Coq)Enrico Tassi
2016-02-25ssrpattern: compose nicely with Tactic NotationEnrico Tassi
2015-12-04Move finfield to field moduleGeorges Gonthier
2015-11-05merge basic/ into ssreflect/Enrico Tassi
2015-07-17Updating files + reorganizing everythingCyril Cohen
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:07:49 +0000