diff options
| author | Pierre Letouzey | 2014-12-09 12:00:10 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2014-12-09 12:14:41 +0100 |
| commit | 9c24cecec3a7381cd924c56ca50c77a49750e2e5 (patch) | |
| tree | 52eee33926e6791b4d2ac23c04f48404057899b4 /doc/refman/Extraction.tex | |
| parent | 56302f63809494946adf4e805bc61d55ed9d6f14 (diff) | |
refman: switch all source files to utf8
Putting utf8 everywhere helps the maintainance of the online refman.
And anyway, this is the way to go. We should also chase and migrate
the few remaining iso-latin-1 files elsewhere in the sources.
Diffstat (limited to 'doc/refman/Extraction.tex')
| -rw-r--r-- | doc/refman/Extraction.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/Extraction.tex b/doc/refman/Extraction.tex index 37326c10f7..86c16f635d 100644 --- a/doc/refman/Extraction.tex +++ b/doc/refman/Extraction.tex @@ -1,6 +1,6 @@ \achapter{Extraction of programs in Objective Caml and Haskell} \label{Extraction} -\aauthor{Jean-Christophe Filliâtre and Pierre Letouzey} +\aauthor{Jean-Christophe Filliâtre and Pierre Letouzey} \index{Extraction} We present here the \Coq\ extraction commands, used to build certified |