CoqMT
OCaml Coq TeX C Scheme Shell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
checker Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
config Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
dev Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
doc Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
ide Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
interp Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
kernel Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
lib Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
library Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
man Coq 8.2pl1 -> 8.3 Feb 15, 2011
parsing Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
plugins Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
pretyping Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
proofs Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
scripts Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
states Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
tactics Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
test-suite Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
theories Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
tools Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
toplevel Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
.gitignore Coq 8.3pl1 -> 8.3pl2 Feb 27, 2012
CHANGES Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
COMPATIBILITY Coq 8.2pl1 -> 8.3 Feb 15, 2011
COPYRIGHT Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
CREDITS Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
INSTALL Coq 8.3pl1 -> 8.3pl2 Feb 27, 2012
INSTALL.doc Import Coq version 8.2pl1 Oct 6, 2009
INSTALL.ide Coq 8.3pl1 -> 8.3pl2 Feb 27, 2012
INSTALL.macosx Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
LICENSE Import Coq version 8.2pl1 Oct 6, 2009
Makefile Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
Makefile.build Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
Makefile.common Coq 8.2pl1 -> 8.3 Feb 15, 2011
Makefile.doc Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
Makefile.stage1 Coq 8.2pl1 -> 8.3 Feb 15, 2011
Makefile.stage2 Coq 8.2pl1 -> 8.3 Feb 15, 2011
README Coq 8.2pl1 -> 8.3 Feb 15, 2011
README.doc Import Coq version 8.2pl1 Oct 6, 2009
README.win Coq 8.3pl1 -> 8.3pl2 Feb 27, 2012
_tags Coq 8.3pl1 -> 8.3pl2 Feb 27, 2012
build Coq 8.2pl1 -> 8.3 Feb 15, 2011
configure Coq 8.3pl2 -> 8.3pl3 Feb 27, 2012
coq-win32.itarget Coq 8.2pl1 -> 8.3 Feb 15, 2011
coq.itarget Coq 8.2pl1 -> 8.3 Feb 15, 2011
install.sh Coq 8.2pl1 -> 8.3 Feb 15, 2011
myocamlbuild.ml Coq 8.3pl1 -> 8.3pl2 Feb 27, 2012

README

               	         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 at http://coq.inria.fr/download.


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@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, go to
   https://sympa-roc.inria.fr/wws/info/coq-club or write to
   sympa@inria.fr with subject either "subscribe coq-club" or
   "unsubscribe coq-club". List is moderated for non-subscribers.


BUGS REPORT.
============

   Send your bug reports by filling a form at

        http://coq.inria.fr/bugs/

   To be effective, bug reports should mention the Coq version (coqtop -v),
   the configuration used, and include a complete source example
   leading to the bug.