diff options
| author | Assia Mahboubi | 2015-12-04 18:42:12 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2015-12-04 18:42:12 +0100 |
| commit | 87804458c1ab7230380459335f870b9d17c00ae4 (patch) | |
| tree | fa9ac28aa1a7ef8341f011bda3352f45dd2154db /mathcomp/ssreflect/plugin | |
| parent | 9adb94735e407167f312f218868df7576b631880 (diff) | |
Minor edition of the Announce.
Added a few more details in the description of the components and
corrected some typos.
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions