diff options
| author | Hugo Herbelin | 2017-10-04 00:19:59 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-10-10 14:57:05 +0200 |
| commit | 9b9071beb9be6eb62e01971edcba30415ba6ae27 (patch) | |
| tree | e10f76e30f3ee1773db73d5b088a12185b10c512 /doc | |
| parent | b9740771e8113cb9e607793887be7a12587d0326 (diff) | |
Updating citing Coq in FAQ.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/faq/FAQ.tex | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/doc/faq/FAQ.tex b/doc/faq/FAQ.tex index 213fb03137..541d39501b 100644 --- a/doc/faq/FAQ.tex +++ b/doc/faq/FAQ.tex @@ -2413,15 +2413,14 @@ You can use {\tt coq\_tex}. \Question{How can I cite the {\Coq} reference manual?} -You can use this bibtex entry: +You can use this bibtex entry (to adapt to the appropriate version): \begin{verbatim} -@Manual{Coq:manual, - title = {The Coq proof assistant reference manual}, - author = {\mbox{The Coq development team}}, - organization = {LogiCal Project}, - note = {Version 8.2}, - year = {2009}, - url = "http://coq.inria.fr" +@manual{Coq:manual, + author = {{Coq} {Development} {Team}, The}, + title = {The {Coq} Proof Assistant Reference Manual, version 8.7}, + month = Oct, + year = {2017}, + url = {http://coq.inria.fr} } \end{verbatim} |