coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Coq V6.1 for OCAML 1.06 or 1.07

From: Christine Paulin <Christine.Paulin AT lri.fr>
To: coq-club AT pauillac.inria.fr
Subject: Coq V6.1 for OCAML 1.06 or 1.07
Date: Wed, 14 Jan 1998 14:38:39 +0100

Dear Coq-users,

Thanks to the contributions of Pierre Cregut and Jean-Christophe Filliatre
a version of Coq V6.1 running with OCAML 1.06 or 1.07 is available
by ftp in
ftp://ftp.inria.fr/INRIA/coq/V6.1/V6.1-ocaml1.07.tar.gz
there is also a patch available :
ftp://ftp.inria.fr/INRIA/coq/V6.1/patch.coq61.oc107.gz

Christine Paulin.

--
  Christine Paulin-Mohring             mailto :
Christine.Paulin AT lri.fr
  LRI, URA 410 CNRS, Bat 490, Universit� Paris Sud,   91405 ORSAY Cedex
  LRI   tel : (+33) (0)1 69 15 66 35       fax : (+33) (0)1 69 15 65 86
  INRIA tel : (+33) (0)1 39 63 55 70       fax : (+33) (0)1 39 63 56 84

Coq V6.1 for OCAML 1.06 or 1.07, Christine Paulin