aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/ssreflect/plugin/v8.4
AgeCommit message (Collapse)Author
2018-04-20remove ssr plugin for 8.4 and 8.5Enrico Tassi
2016-11-07update copyright bannerAssia Mahboubi
2016-09-27Add a typing colon in the output of the Search ssreflect vernacular.Erik Martin-Dorel
2016-06-16Port build system to trunk (ssrmatching merged in Coq)Enrico Tassi
2016-02-18typo in error messagethery
2016-02-02fix compilation on 8.4Enrico Tassi
2016-02-02Do not hide critical errors with a blind catch all (fix #19)Enrico Tassi
2016-02-02Explicit error message if rewrite fails due to TC inference (fix #21)Enrico Tassi
2016-01-12Move bullet initialization to ssreflect.vRobbert Krebbers
2016-01-08fix version number in initialization messageEnrico Tassi
2015-12-04update license banner in .ml filesEnrico Tassi
2015-07-18update to preserve backward compatibility with v8.4Cyril Cohen
2015-07-17Updating files + reorganizing everythingCyril Cohen
2015-04-09support for camlp4Enrico Tassi
2015-04-09Forward compatibility with "From X Require Y."Enrico Tassi
2015-03-09Initial commitEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 03:58:36 +0000