Ssreflect Users Discussion List

[Jónathan Heras <>]

Hi,

I have developed several files in Coq/SSReflect and
I would like to generate a theory graph like the one
available at
http://ssr.msr-inria.inria.fr/~jenkins/current/index.html

I have seen that I should use the dot language from
graphviz; but, I don't know how to generate the dot
file from the dependency file created using coqdep.

Thanks in advance.

Cheers,
Jónathan
begin:vcard
fn;quoted-printable:J=C3=B3nathan Heras Vicente
n;quoted-printable:Heras Vicente;J=C3=B3nathan
org:University of Dundee;School of Computing
email;internet:
title:Postdoctoral researcher
tel;work:+34 941299461
tel;fax:+34 941299460
url:www.unirioja.es/cu/joheras
version:2.1
end:vcard