diff options
| author | Assia Mahboubi | 2015-12-09 17:59:11 -0500 |
|---|---|---|
| committer | Assia Mahboubi | 2015-12-09 17:59:11 -0500 |
| commit | e5babdbd98412fd1b8058ac0925664127c2cd4c8 (patch) | |
| tree | c31a2410d4f342939cf41623d761199a22943e5e /etc | |
| parent | 2291fa456b0d385f3f8da1316d86f3b84d0aaf2d (diff) | |
Updated the address of the website in README
Plus corrected some typos.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/ANNOUNCE-1.6.md | 2 | ||||
| -rw-r--r-- | etc/README | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/etc/ANNOUNCE-1.6.md b/etc/ANNOUNCE-1.6.md index 91169ad..4b965a1 100644 --- a/etc/ANNOUNCE-1.6.md +++ b/etc/ANNOUNCE-1.6.md @@ -9,7 +9,7 @@ received minor fixes while the libraries received minor additions. A detailed ChangeLog is available at: https://github.com/math-comp/math-comp/blob/master/etc/ChangeLog -This document contains in particulat the list of new theorems as well +This document contains in particular the list of new theorems as well as the list of theorems that were renamed or replaced by more general variants. @@ -10,14 +10,14 @@ DOCUMENTATION and a detailed list of the changes made in the releases is available as an Inria Research Report at - http://hal.inria.fr/inria-00258384 + http://hal.inria.fr/inria-00258384 AVAILABILITY ============ Ssreflect and the Mathematical Components library are available at: - http://ssr.msr-inria.inria.fr/ + http://math-comp.github.io/math-comp/ THE DISCUSSION LIST @@ -37,4 +37,4 @@ LICENSING You should have received a copy of the CeCILL B License with this Kit, in the file named "CeCILL-B". - If not, visit http://www.cecill.info + If not, visit http://www.cecill.info |