diff options
| author | herbelin | 2001-09-20 15:56:00 +0000 |
|---|---|---|
| committer | herbelin | 2001-09-20 15:56:00 +0000 |
| commit | c0d693080a3108886d9ed6777c1b4c1ca741ed7d (patch) | |
| tree | 8866af78656bcdee2c5f2df344512dad2c5ec909 /README | |
| parent | 90e4bb226594b3f44febb369bb36d28af4fa2079 (diff) | |
MAJ V7.1
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2027 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'README')
| -rw-r--r-- | README | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -1,6 +1,6 @@ - THE COQ V7.0 SYSTEM - ================= + THE COQ V7.1 SYSTEM + =================== INSTALLATION. ============= @@ -8,15 +8,15 @@ INSTALLATION. See the file INSTALL for installation procedure. -DOCUMENTATION. (not available for beta version) +DOCUMENTATION. ============== - The documentation of Coq V7.0 is available by anonymous ftp (see below), + The documentation of Coq V7.1 is available by anonymous ftp (see below), in a directory doc/. The documents are available separately or all together in the tar file all-docs.tar . -CHANGES. (beta version: a document Changes.ps explains the differences) +CHANGES. ======== There is a file named CHANGES that explains the differences and the |