From af84e080ff674a3d5cf2cf88874ddb6ebaf38ecf Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Tue, 9 Dec 2014 12:48:32 +0100
Subject: Switch the few remaining iso-latin-1 files to utf8

---
 doc/RecTutorial/morebib.bib | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/RecTutorial/morebib.bib')

diff --git a/doc/RecTutorial/morebib.bib b/doc/RecTutorial/morebib.bib
index 11dde2cd51..438f2133d4 100644
--- a/doc/RecTutorial/morebib.bib
+++ b/doc/RecTutorial/morebib.bib
@@ -1,14 +1,14 @@
 @book{coqart,
    title = "Interactive Theorem Proving and Program Development. 
     Coq'Art: The Calculus of Inductive Constructions",
-   author = "Yves Bertot and Pierre Castéran",
+   author = {Yves Bertot and Pierre Castéran},
    publisher = "Springer Verlag",
    series = "Texts in Theoretical Computer Science. An EATCS series",  
  year = 2004
 }
 
 @Article{Coquand:Huet,
-  author = 	 {Thierry Coquand and Gérard Huet},
+  author = 	 {Thierry Coquand and Gérard Huet},
   title = 	 {The Calculus of Constructions},
   journal = 	 {Information and Computation},
   year = 	 {1988},
-- 
cgit v1.2.3