Switch the few remaining iso-latin-1 files to utf8

1 files changed, 34 insertions, 34 deletions

diff --git a/CREDITS b/CREDITS
index c654db2ee..b664bf69c 100644
--- a/CREDITS
+++ b/CREDITS
@@ -17,7 +17,7 @@ All files of the "Coq proof assistant" in directories or sub-directories of
 
 are distributed under the terms of the GNU Lesser General Public License 
 Version 2.1 (see file LICENSE). These files are COPYRIGHT 1999-2010,
-The Coq development team, CNRS, INRIA and Université Paris Sud.
+The Coq development team, CNRS, INRIA and Université Paris Sud.
 
 Files from the directory doc are distributed as indicated in file doc/LICENCE.
 
@@ -29,9 +29,9 @@ plugins/cc
   developed by Pierre Corbineau (ENS Cachan, 2001, LRI, 2001-2005, Radboud
   University at Nijmegen, 2005-2008)
 plugins/correctness
-  developed by Jean-Christophe Filliâtre (LRI, 1999-2001)
+  developed by Jean-Christophe Filliâtre (LRI, 1999-2001)
 plugins/dp
-  developed by Nicolas Ayache (LRI, 2005-2006) and Jean-Christophe Filliâtre
+  developed by Nicolas Ayache (LRI, 2005-2006) and Jean-Christophe Filliâtre
   (LRI, 2005-2008)
 plugins/extraction
   developed by Pierre Letouzey (LRI, 2000-2004, PPS, 2005-now)
@@ -40,25 +40,25 @@ plugins/field
 plugins/firstorder 
   developed by Pierre Corbineau (LRI, 2003-2008)
 plugins/fourier
-  developed by Loïc Pottier (INRIA-Lemme, 2001)
+  developed by Loïc Pottier (INRIA-Lemme, 2001)
 plugins/funind
   developed by Pierre Courtieu (INRIA-Lemme, 2003-2004, CNAM, 2004-2008),
   Julien Forest (INRIA-Everest, 2006, CNAM, 2007-2008) 
   and Yves Bertot (INRIA-Marelle, 2005-2006)
 plugins/omega
-  developed by Pierre Crégut (France Telecom R&D, 1996)
+  developed by Pierre Crégut (France Telecom R&D, 1996)
 plugins/nsatz
-  developed by Loïc Pottier (INRIA-Marelle, 2009)
+  developed by Loïc Pottier (INRIA-Marelle, 2009)
 plugins/ring
   developed by Samuel Boutin (INRIA-Coq, 1996) and Patrick 
   Loiseleur (LRI, 1997-1999)
 plugins/romega
-  developed by Pierre Crégut (France Telecom R&D, 2001-2004)
+  developed by Pierre Crégut (France Telecom R&D, 2001-2004)
 plugins/rtauto
   developed by Pierre Corbineau (LRI, 2005)
 plugins/setoid_ring
-  developed by Benjamin Grégoire (INRIA-Everest, 2005-2006), 
-  Assia Mahboubi, Laurent Théry (INRIA-Marelle, 2006) 
+  developed by Benjamin Grégoire (INRIA-Everest, 2005-2006), 
+  Assia Mahboubi, Laurent Théry (INRIA-Marelle, 2006) 
   and Bruno Barras (INRIA LogiCal, 2005-2006),
 plugins/subtac
   developed by Matthieu Sozeau (LRI, 2005-2008)
@@ -67,18 +67,18 @@ plugins/xml
   as part of the HELM and MoWGLI projects; extension by Cezary Kaliszyk as
   part of the ProofWeb project (Radboud University at Nijmegen, 2008)
 plugins/micromega
-  developed by Frédéric Besson (IRISA/INRIA, 2006-2008), with some 
+  developed by Frédéric Besson (IRISA/INRIA, 2006-2008), with some 
   extensions by Evgeny Makarov (INRIA, 2007); sum-of-squares solver and 
   interface to the csdp solver uses code from John Harrison (University
   of Cambridge, 1998)
 parsing/search.ml
   mainly developed by Yves Bertot (INRIA-Lemme, 2000-2004)
 theories/ZArith
-  started by Pierre Crégut (France Telecom R&D, 1996)
+  started by Pierre Crégut (France Telecom R&D, 1996)
 theories/Strings
-  developed by Laurent Théry (INRIA-Lemme, 2003)
+  developed by Laurent Théry (INRIA-Lemme, 2003)
 theories/Numbers/Cyclic
-  developed by Benjamin Grégoire (INRIA-Everest, 2007), Laurent Théry (INRIA-Marelle, 2007-2008), Arnaud Spiwack (INRIA-LogiCal, 2007) and Pierre Letouzey (PPS, 2008)
+  developed by Benjamin Grégoire (INRIA-Everest, 2007), Laurent Théry (INRIA-Marelle, 2007-2008), Arnaud Spiwack (INRIA-LogiCal, 2007) and Pierre Letouzey (PPS, 2008)
 ide/utils
   some files come from Maxence Guesdon's Cameleon tool 
 
@@ -87,16 +87,16 @@ development influenced the design of Coq especially with
 
   C. Auger, Y. Bertot, F. Blanqui, J. Courant, P. Courtieu, J. Duprat,
   S. Glondu, J. Goubault, J.-P. Jouannaud, S. Lescuyer, A. Mahboubi,
-  C. Marché, A. Miquel, B. Monate, L. Pottier, Y. Régis-Gianas,
-  P.-Y. Strub, L. Théry, B. Werner
+  C. Marché, A. Miquel, B. Monate, L. Pottier, Y. Régis-Gianas,
+  P.-Y. Strub, L. Théry, B. Werner
 
 The development of Coq also significantly benefited from feedback,
 suggestions or short contributions from:
 
-  C. Alvarado, P. Crégut, J.-F. Monin (France Telecom R&D),
-  P. Castéran (University Bordeaux 1),
+  C. Alvarado, P. Crégut, J.-F. Monin (France Telecom R&D),
+  P. Castéran (University Bordeaux 1),
   the Foundations Group (Radboud University, Nijmegen, The Netherlands),
-  Laboratoire J.-A. Dieudonné (University of Nice-Sophia Antipolis),
+  Laboratoire J.-A. Dieudonné (University of Nice-Sophia Antipolis),
   F. Garillot, G. Gonthier (INRIA-MSR joint lab),
   INRIA-Gallium project, 
   the CS dept at Yale, the CIS dept at U. Penn, 
@@ -117,34 +117,34 @@ of the Coq Proof assistant during the indicated time:
   Olivier Desmettre (INRIA, 2001-2003)
   Gilles Dowek (INRIA, 1991-1994)
   Amy Felty (INRIA, 1993)
-  Jean-Christophe Filliâtre (ENS Lyon, 1994-1997, LRI, 1997-now)
-  Eduardo Giménez (ENS Lyon, 1993-1996, INRIA, 1997-1998)
-  Stéphane Glondu (INRIA-PPS, 2007-now)
-  Benjamin Grégoire (INRIA, 2003-now)
+  Jean-Christophe Filliâtre (ENS Lyon, 1994-1997, LRI, 1997-now)
+  Eduardo Giménez (ENS Lyon, 1993-1996, INRIA, 1997-1998)
+  Stéphane Glondu (INRIA-PPS, 2007-now)
+  Benjamin Grégoire (INRIA, 2003-now)
   Hugo Herbelin (INRIA, 1996-now)
-  Gérard Huet (INRIA, 1985-1997)
+  Gérard Huet (INRIA, 1985-1997)
   Pierre Letouzey (LRI, 2000-2004, PPS, 2005-2008, INRIA-PPS, 2009-now)
   Patrick Loiseleur (Paris Sud, 1997-1999)
   Evgeny Makarov (INRIA, 2007)
   Pascal Manoury (INRIA, 1993)
   Micaela Mayero (INRIA, 1997-2002)
-  Claude Marché (INRIA 2003-2004 & LRI, 2004)
+  Claude Marché (INRIA 2003-2004 & LRI, 2004)
   Benjamin Monate (LRI, 2003)
-  César Muñoz (INRIA, 1994-1995)
+  César Muñoz (INRIA, 1994-1995)
   Chetan Murthy (INRIA, 1992-1994)
   Julien Narboux (INRIA, 2005-2006, Strasbourg, 2007-now)
   Jean-Marc Notin (CNRS, 2006-now)
   Catherine Parent-Vigouroux (ENS Lyon, 1992-1995)
   Christine Paulin-Mohring (INRIA, 1985-1989, ENS Lyon, 1989-1997, 
                             LRI, 1997-now)
-  Pierre-Marie Pédrot (INRIA-PPS, 2011-now)
+  Pierre-Marie Pédrot (INRIA-PPS, 2011-now)
   Matthias Puech (INRIA-Bologna, 2008-now)
-  Yann Régis-Gianas (INRIA-PPS, 2009-now)
-  Clément Renard (INRIA, 2001-2004)
+  Yann Régis-Gianas (INRIA-PPS, 2009-now)
+  Clément Renard (INRIA, 2001-2004)
   Claudio Sacerdoti Coen (INRIA, 2004-2005)
-  Amokrane Saïbi (INRIA, 1993-1998)
+  Amokrane Saïbi (INRIA, 1993-1998)
   Vincent Siles (INRIA, 2007)
-  Élie Soubiran (INRIA, 2007-now)
+  Élie Soubiran (INRIA, 2007-now)
   Matthieu Sozeau (INRIA, 2005-now)
   Arnaud Spiwack (INRIA, 2006-now)
   Enrico Tassi (INRIA, 2011-now)
@@ -156,9 +156,9 @@ INRIA refers to:
 CNRS refers to:
   Centre National de la Recherche Scientifique
 LRI refers to: Laboratoire de Recherche en Informatique, UMR 8623
-  CNRS and Université Paris-Sud
+  CNRS and Université Paris-Sud
 ENS Lyon refers to:
-  Ecole Normale Supérieure de Lyon
-PPS refers to: Laboratoire Preuve, Programmation, Système, UMR 7126,
-  CNRS and Université Paris 7
+  Ecole Normale Supérieure de Lyon
+PPS refers to: Laboratoire Preuve, Programmation, Système, UMR 7126,
+  CNRS and Université Paris 7
 ****************************************************************************