diff options
| author | Pierre Letouzey | 2014-12-09 12:48:32 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2014-12-09 14:27:21 +0100 |
| commit | af84e080ff674a3d5cf2cf88874ddb6ebaf38ecf (patch) | |
| tree | b8325cd8ce34dd2dcfba2792a0123cf8c46ab703 /doc/RecTutorial/morebib.bib | |
| parent | 9c24cecec3a7381cd924c56ca50c77a49750e2e5 (diff) | |
Switch the few remaining iso-latin-1 files to utf8
Diffstat (limited to 'doc/RecTutorial/morebib.bib')
| -rw-r--r-- | doc/RecTutorial/morebib.bib | 4 |
1 files changed, 2 insertions, 2 deletions
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}, |