Updated the address of the website in README

Plus corrected some typos.
math-comp · Dec 9, 2015 · e5babdb · e5babdb
1 parent 2291fa4
commit e5babdb
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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.
 

diff --git 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