From 89a285071f885fc6a22685a066230142757c8633 Mon Sep 17 00:00:00 2001
From: Enrico
Date: Tue, 15 Dec 2015 10:23:40 +0100
Subject: Update ANNOUNCE-1.6.md

---
 etc/ANNOUNCE-1.6.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/ANNOUNCE-1.6.md b/etc/ANNOUNCE-1.6.md
index 4b965a1..5730554 100644
--- a/etc/ANNOUNCE-1.6.md
+++ b/etc/ANNOUNCE-1.6.md
@@ -44,14 +44,14 @@ entire component. For example the command
 
        Require Import all_ssreflect.
 
-loads all the theory files in the contained in the 'ssreflect'
+loads all the theory files contained in the 'ssreflect'
 component.
 
 Note that this modularity comes at the price of a possible
 incompatibility for users of previous version of the Mathematical
 Components library, due to the change of logical/physical paths
 implied by the reorganization of the library. See the installation
-notes for more on this issue an a suggested migration scheme.
+notes for more on this issue and a migration scheme.
 
 The tarball can be download at
 http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.6.tar.gz
-- 
cgit v1.2.3