coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] GRAPH BASICS in contrib8/lyon

From: Satrajit Roy <admin AT satrajit.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] GRAPH BASICS in contrib8/lyon
Date: Sun, 4 Sep 2005 11:15:01 -0700 (PDT)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Is there an update for GRAPH BASICS somewhere that
compiles out of the box under coq 8?

I can't seem to get the distribution included in
contrib8 archive to compile without having to go fix
almost every file.

Thanks

[Coq-Club] GRAPH BASICS in contrib8/lyon, Satrajit Roy
- Re: [Coq-Club] GRAPH BASICS in contrib8/lyon, Hugo Herbelin