aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/ssreflect
AgeCommit message (Collapse)Author
2015-10-26Restaured the config files (including doc) for PG in the ssreflect package.Assia Mahboubi
2015-09-27fix compilation on trunkEnrico Tassi
2015-09-24Fix compilation on 8.5Enrico Tassi
2015-08-24Compare pattern heads (constants) up to "univs"Enrico Tassi
So that Universe Polymorphic constants are compared "correctly", i.e. not discriminated by the pattern filtering phase (verbatim head comparison) but eventually by unification.
2015-07-30fix trunk compilationEnrico Tassi
2015-07-29fix MakefilesEnrico Tassi
2015-07-28update copyright bannerEnrico Tassi
2015-07-28factor common Makefile stuffEnrico Tassi
2015-07-22blind patch by EnricoCyril Cohen
2015-07-22remove duplicate fieldsCyril Cohen
2015-07-22make the opam package meta dataCyril Cohen
2015-07-21update opam meta-dataCyril Cohen
2015-07-21keeping track of the changes for trunk (import from svn)Cyril Cohen
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-04-03Fix Makefiles.Matthieu Sozeau
2015-04-02support both coq.8.5beta1 and coq.8.5.devEnrico Tassi
2015-04-02plugin that compiles with 8.5Enrico Tassi
2015-04-02The right way to ignore the plugin directoryEnrico Tassi
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-03-02 13:46:52 +0000