aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/ssreflect/Make
AgeCommit message (Expand)Author
2021-03-12Silencing warning deprecated-ident-entryCyril Cohen
2021-03-04Silence Hint Locality warningCyril Cohen
2020-11-19Removing duplicate clears and turning the warning into an errorCyril Cohen
2020-11-19add declare scopesReynald Affeldt
2020-06-08silencing warnings in individual packagesCyril Cohen
2020-04-06Rewriting with AC (not modulo AC), using a small scale command.Cyril Cohen
2019-12-11Initial import of order.v into mathcompCohen Cyril
2018-02-26Add ssrmatching.v transitional fileErik Martin-Dorel
2017-07-31Fix build of ssreflect/ only on 8.6Enrico Tassi
2017-06-14No .ml4 file in the standard MakeEnrico
2017-06-14Fix compilation of ssreflect/ submoduleMatej Košík
2016-06-16Port build system to trunk (ssrmatching merged in Coq)Enrico Tassi
2015-11-05merge basic/ into ssreflect/Enrico Tassi
2015-07-17Updating files + reorganizing everythingCyril Cohen
2015-03-09some work on ssreflect and discreteEnrico Tassi
2015-03-09Initial commitEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:53:46 +0000