diff options
| author | Matej Kosik | 2016-08-25 13:58:30 +0200 |
|---|---|---|
| committer | Matej Kosik | 2016-08-25 14:16:40 +0200 |
| commit | 76794e738bc9c2f9e26dfafab94ccfac39ce50de (patch) | |
| tree | ea69b97a378597bd7de7a33d16e8250dcbd11177 /docs/stylesheets | |
| parent | 3a17aed49fc44439636709dad46c3ffa736ffec5 (diff) | |
FIX: adding missing version of the ssreflect plugin that compiles with Coq v8.6.
The committed files represent copies of the ssreflect plugin for Coq trunk taken from commit c353aa5
which is the last commit in which ssreflect plugin marked for Coq trunk is usable with both, Coq trunk as well as Coq v8.6.
Diffstat (limited to 'docs/stylesheets')
0 files changed, 0 insertions, 0 deletions