diff options
| author | herbelin | 2008-06-22 13:02:25 +0000 |
|---|---|---|
| committer | herbelin | 2008-06-22 13:02:25 +0000 |
| commit | de45178c0b684a211fa61866e82b045f12f85ffe (patch) | |
| tree | 55c6157714a0284bf4d0ecd57f5937dc8f43cbe9 /README | |
| parent | c9278a6352d94bd04a438a9f9276f598160c5395 (diff) | |
MAJ fichiers spécifiques trunk
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11165 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'README')
| -rw-r--r-- | README | 21 |
1 files changed, 8 insertions, 13 deletions
@@ -1,6 +1,6 @@ - THE COQ V8.1 SYSTEM - =================== + THE COQ V8 SYSTEM + ================= INSTALLATION. ============= @@ -11,9 +11,9 @@ INSTALLATION. DOCUMENTATION. ============== - The documentation of Coq V8.1 is available by anonymous ftp (see below), - in a directory doc/. It is also available on Coq web site at - http://coq.inria.fr/doc-eng.html. + The documentation is part of the archive in directory doc. The + documentation of the last released version is available on the Coq + web site at http://coq.inria.fr/doc. CHANGES. @@ -27,10 +27,9 @@ CHANGES. AVAILABILITY. ============= - Coq is available by anonymous FTP on ftp.inria.fr: + Coq is available at http://coq.inria.fr, or, for older versions at + ftp://ftp.inria.fr/INRIA/LogiCal/coq. - host: ftp.inria.fr (192.93.2.54) - directory: INRIA/LogiCal/coq/ THE COQ CLUB. ============= @@ -68,11 +67,7 @@ BUGS REPORT. Send your bug reports by filling a form at - http://coq.inria.fr/bin/coq-bugs - - or by E-mail to - - coq-bugs@coq.inria.fr + http://logical.saclay.inria.fr/coq-bugs To be effective, bug reports should mention the Caml version used to compile and run Coq, the Coq version (coqtop -v), the configuration |