coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coq-dpdgraph release 0.5

From: Yves Bertot <Yves.Bertot AT inria.fr>
To: coq-club AT inria.fr
Cc: Anne Pacalet <anne.pacalet AT free.fr>
Subject: [Coq-Club] coq-dpdgraph release 0.5
Date: Mon, 29 Feb 2016 08:11:49 +0100

Dear all,

Anne Pacalet and I are pleased to announce a new release of coq-dpdgraph, a plugin and a
tool to build dependency graphs between Coq objects (definitions,
theorems, constructors).

Anne Pacalet is the main author. I performed the most recent maintenance
operations and plan to keep doing so in the future.

This release compiles with Coq 8.5. The documentation is available at:

https://github.com/karmaki/coq-dpdgraph

It is also available on opam (in the Coq released suite).

Yves

[Coq-Club] coq-dpdgraph release 0.5, Yves Bertot, 02/29/2016