diff options
author | Stephane Glondu <steph@glondu.net> | 2010-07-21 09:46:51 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2010-07-21 09:46:51 +0200 |
commit | 5b7eafd0f00a16d78f99a27f5c7d5a0de77dc7e6 (patch) | |
tree | 631ad791a7685edafeb1fb2e8faeedc8379318ae /README | |
parent | da178a880e3ace820b41d38b191d3785b82991f5 (diff) |
Imported Upstream snapshot 8.3~beta0+13298
Diffstat (limited to 'README')
-rw-r--r-- | README | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -1,6 +1,6 @@ - THE COQ V8.2 SYSTEM - =================== + THE COQ V8 SYSTEM + ================= INSTALLATION. ============= @@ -11,8 +11,9 @@ INSTALLATION. DOCUMENTATION. ============== - The documentation of Coq V8.2 is available online from the Coq web - site (see http://coq.inria.fr) + 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. @@ -26,9 +27,8 @@ CHANGES. AVAILABILITY. ============= - Coq is available as a precompiled package from the major linux - distributions. It is also available for Windows and Mac OS systems - from the Coq web site (see http://coq.inria.fr). + Coq is available at http://coq.inria.fr, or, for older versions at + ftp://ftp.inria.fr/INRIA/LogiCal/coq. THE COQ CLUB. |