summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorGravatar Enrico Tassi <gareuselesinge@debian.org>2016-12-27 16:53:30 +0100
committerGravatar Enrico Tassi <gareuselesinge@debian.org>2016-12-27 18:33:25 +0100
commit1b92c226e563643da187b8614d5888dc4855eb43 (patch)
treec4c3d204b36468b58cb71050ba95f06b8dd7bc2e /README
parent7c9b0a702976078b813e6493c1284af62a3f093c (diff)
Imported Upstream version 8.6
Diffstat (limited to 'README')
-rw-r--r--README66
1 files changed, 0 insertions, 66 deletions
diff --git a/README b/README
deleted file mode 100644
index 293ee4c8..00000000
--- a/README
+++ /dev/null
@@ -1,66 +0,0 @@
-
- THE COQ V8 SYSTEM
- =================
-
-INSTALLATION.
-=============
-
- See the file INSTALL for installation procedure.
-
-
-DOCUMENTATION.
-==============
-
- 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.
-========
-
- 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 from http://coq.inria.fr.
-
-
-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
- subscription link can be found at http://coq.inria.fr/community.
-
- 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.
-
- For any questions/suggestions about the Coq Club, please write to
- coq-club-request@inria.fr.
-
-
-BUGS REPORT.
-============
-
- Send your bug reports by filling a form at
-
- http://coq.inria.fr/bugs
-
- 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.