[T1] ================================================ AMAST Links 03 01

                 Coq Proof Assistant, Version 5.10.15

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301T1.txt

  We are glad to announce the release of version 5.10.15 of the Coq
Proof Assistant for the Calculus of Inductive Constructions. This 
release includes various changes in the code and libraries, which are
described more precisely below. The documentation has also been 
updated.
  Coq V5.10.15 comes in two flavors: the regular Coq, and a new, fully
up-to-date and compatible distribution of Ct-Coq (i.e. Coq with a
sophisticated graphical user-interface).
  The www page is available at URL:
   http://www.inria.fr/croap/ctcoq/ctcoq-eng.html

  As usual, you might send problems, bug reports, remarks about the
installation to _coq@pauillac.inria.fr_ and more general questions 
about the coq system to the mailing list _coq-club@pauillac.inria.fr_.
Questions specific to the Ct-Coq interface should be addressed to
_ctcoq-request@sophia.inria.fr_.

  Enjoy!