diff options
author | Stephane Glondu <steph@glondu.net> | 2012-01-12 16:02:20 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-01-12 16:02:20 +0100 |
commit | 97fefe1fcca363a1317e066e7f4b99b9c1e9987b (patch) | |
tree | 97ec6b7d831cc5fb66328b0c63a11db1cbb2f158 /doc/faq/fk.bib | |
parent | 300293c119981054c95182a90c829058530a6b6f (diff) |
Imported Upstream version 8.4~betaupstream/8.4_beta
Diffstat (limited to 'doc/faq/fk.bib')
-rw-r--r-- | doc/faq/fk.bib | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/faq/fk.bib b/doc/faq/fk.bib index 976b36b0..d41ab7f0 100644 --- a/doc/faq/fk.bib +++ b/doc/faq/fk.bib @@ -1117,9 +1117,10 @@ cedures.}, @Manual{Coq:manual, title = {The Coq proof assistant reference manual}, author = {\mbox{The Coq development team}}, - note = {Version 8.3}, - year = {2010}, - url = "http://coq.inria.fr/doc" + organization = {LogiCal Project}, + note = {Version 8.0}, + year = {2004}, + url = "http://coq.inria.fr" } @string{jfp = "Journal of Functional Programming"} |