coq-mathcomp/mathcomp/ssreflect/plugin, branch master

agressive fix for duplicated files!

2018-07-31T14:17:07+00:00

Replace all the CoInductives with Variants

2018-07-12T11:19:55+00:00

remove ssr plugin for 8.4 and 8.5

2018-04-20T12:15:22+00:00

Declare prenex implicits for `Some_inj`

2018-03-21T22:09:56+00:00

This backports the changes from Coq's [PR #6911](https://github.com/coq/coq/pull/6911)
And also fixes a typo in doc comments

Add ssrmatching.v transitional file

2018-02-26T14:23:18+00:00

The content of this file is similar to that of ssrfun.v and aims to
increase compatibility with Coq 8.6+ for third-party libraries that
depend on both math-comp and ssrmatching.v

Close #63

Update v8.5 plugin to fix math-comp/math-comp#61

2017-11-13T23:23:09+00:00

Fix obsolete vernacular syntax for locality.

2017-10-30T13:16:48+00:00

It was emitting a deprecation warning and will soon be removed from Coq.

fix compilation on 8.5

2017-06-09T13:41:09+00:00

fix compilation on 8.6

2017-06-09T11:39:21+00:00

For trunk, use merged ssr plugin.

2017-06-07T09:15:26+00:00