compilation avec make de Solaris; README et INSTALL

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@797 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 83 insertions, 0 deletions

diff --git a/README b/README
new file mode 100644
index 000000000..b3a1efa4e
--- /dev/null
+++ b/README
@@ -0,0 +1,83 @@
+
+            		THE COQ V7 SYSTEM
+            		=================
+
+INSTALLATION.
+=============
+
+   See the file INSTALL for installation procedure.
+
+
+DOCUMENTATION.
+==============
+
+   The documentation of Coq V7 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.
+========
+
+   There is a file named CHANGES that explains the differences and the
+   incompatibilities since last versions. If you upgrade Coq, please read
+   it carefully.
+
+
+AVAILABILITY.
+=============
+
+   Coq is available by anonymous FTP on ftp.inria.fr:
+
+	host:	    ftp.inria.fr (192.93.2.54)
+	directory:  INRIA/coq/
+
+THE COQ CLUB.
+=============
+
+   The Coq Club moderated mailing list is meant to be a standard way to
+   discuss questions about the Coq system and related topics. The submission
+   address is:
+
+	coq-club@margaux.inria.fr
+
+   The topics to be discussed in the club should include:
+
+     * technical problems;
+
+     * questions about proof developments;
+
+     * suggestions and questions about the implementation;
+
+     * announcements of proofs;
+
+     * theoretical questions about typed lambda-calculi which are
+       closely related to Coq.
+
+   To be added to, or removed from, the mailing list, please write to:
+
+	coq-club-request@margaux.inria.fr
+
+   Please use also this address for any questions/suggestions about the
+   Coq Club. It might sometimes take a few days before your messages get
+   forwarded.
+
+
+BUGS REPORT.
+============
+
+   Send your bug reports by E-mail to
+
+	coq@pauillac.inria.fr
+
+   or by snail mail to
+
+	Projet Coq
+	INRIA Rocquencourt
+	B.P. 105
+	78153 Le Chesnay
+	France
+
+   To be effective, bug reports should mention the Caml version used
+   to compile and run Coq, the Coq version (coqtop -v), the configuration
+   used, and include a complete source example leading to the bug.