diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-02-20 13:50:10 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-02-20 13:50:10 +0000 |
commit | 70621433c2c4028650e1c09e88c496f0aba67a6f (patch) | |
tree | 32e4ed456ae5a3c84b51103f6c70c35f2ed2e0ce /doc/faq/FAQ.tex | |
parent | 18ea9b8400e03b815f81fcff3c79459d2b5db1f6 (diff) |
- changing minimal version for OCaml: Coq uses Filename.dirsep that is available from OCaml 3.11.2 (see bug #2707)
- fixing outdated address for Coq Club
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14987 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/faq/FAQ.tex')
-rw-r--r-- | doc/faq/FAQ.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/faq/FAQ.tex b/doc/faq/FAQ.tex index c0f8c087a..0bd84992b 100644 --- a/doc/faq/FAQ.tex +++ b/doc/faq/FAQ.tex @@ -379,15 +379,15 @@ This FAQ is unfinished (in the sense that there are some obvious sections that are missing). Please send contributions to Coq-Club. \Question{Is there any mailing list about {\Coq}?} -The main {\Coq} mailing list is \url{coq-club@pauillac.inria.fr}, which +The main {\Coq} mailing list is \url{coq-club@inria.fr}, which broadcasts questions and suggestions about the implementation, the logical formalism or proof developments. See -\ahref{http://coq.inria.fr/mailman/listinfo/coq-club}{\url{http://pauillac.inria.fr/mailman/listinfo/coq-club}} for +\ahref{http://coq.inria.fr/mailman/listinfo/coq-club}{\url{http://sympa-roc.inria.fr/wws/info/coq-club}} for subscription. For bugs reports see question \ref{coqbug}. \Question{Where can I find an archive of the list?} The archives of the {\Coq} mailing list are available at -\ahref{http://pauillac.inria.fr/pipermail/coq-club}{\url{http://coq.inria.fr/pipermail/coq-club}}. +\ahref{http://pauillac.inria.fr/pipermail/coq-club}{\url{http://sympa-roc.inria.fr/wws/arc/coq-club}}. \Question{How can I be kept informed of new releases of {\Coq}?} |