coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] camlp5 5.13

From: Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] camlp5 5.13
Date: Fri, 19 Feb 2010 13:55:06 +0100

Hi there,

If interested: I made a release of Camlp5, compatible with latest
version of OCaml.

Kisses.

--
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/

[Coq-Club] camlp5 5.13, Daniel de Rauglaudre