From e5babdbd98412fd1b8058ac0925664127c2cd4c8 Mon Sep 17 00:00:00 2001
From: Assia Mahboubi
Date: Wed, 9 Dec 2015 17:59:11 -0500
Subject: Updated the address of the website in README

Plus corrected some typos.
---
 etc/README | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'etc/README')

diff --git a/etc/README b/etc/README
index 8cbd1b5..4d33be7 100644
--- a/etc/README
+++ b/etc/README
@@ -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
-- 
cgit v1.2.3