diff options
Diffstat (limited to 'doc/RefMan-pre.tex')
| -rwxr-xr-x | doc/RefMan-pre.tex | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/RefMan-pre.tex b/doc/RefMan-pre.tex index 73f6eb5b70..15dd54be29 100755 --- a/doc/RefMan-pre.tex +++ b/doc/RefMan-pre.tex @@ -493,6 +493,9 @@ tactics. Benjamin Monate is the developer of the \CoqIde{} graphical interface with contributions by Claude Marché. +Claude Marché coordinated the update of the Reference Manual for + \Coq{} V8.0. + Pierre Letouzey and Jacek Chrz\k{a}szcz respectively maintained the extraction tool and module system of {\Coq}. @@ -500,7 +503,7 @@ Jean-Christophe Filliâtre, Pierre Letouzey, Hugo Herbelin and contributors from Sophia-Antipolis and Nijmegen participated to the extension of the library. -Hugo Herbelin and Christine Paulin coordinated the developement which +Hugo Herbelin and Christine Paulin coordinated the development which was under the responsability of Christine Paulin. \begin{flushright} @@ -509,7 +512,7 @@ Hugo Herbelin \& Christine Paulin \end{flushright} -\newpage +%\newpage % Integration of ZArith lemmas from Sophia and Nijmegen. |