diff options
| author | Georges Gonthier | 2016-05-12 14:39:38 +0100 |
|---|---|---|
| committer | Georges Gonthier | 2016-05-12 14:39:38 +0100 |
| commit | b40d797a0c1b667857364ebed489a6e87e7d3f98 (patch) | |
| tree | 4a1f1f35283b9c62fb41f459edbb82889ee323e2 /mathcomp/ssreflect/plugin | |
| parent | 6e2a748cf0ab3d5198d7786e559f395c639a6076 (diff) | |
| parent | 8c704cf7eaddd1858113e46ea00a79e094b102db (diff) | |
Merge pull request #43 from hivert/fixdoc
Fixes the doc of mxrepresentation.v
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions