coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coq-dpdgraph release 0.6.1

From: Yves Bertot <Yves.Bertot AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] coq-dpdgraph release 0.6.1
Date: Tue, 10 Jan 2017 09:27:16 +0100

Dear all,

We are pleased to announce a new release of coq-dpdgraph, a plugin and a
set of tools to build dependency graphs between coq objects (definitions, theorems, constructors).

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

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

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

The changes brought by this release:

-compatibility with coq-8.6

Yves

[Coq-Club] coq-dpdgraph release 0.6.1, Yves Bertot, 01/10/2017