]> matita.cs.unibo.it Git - helm.git/commit
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 25 Nov 2006 11:57:01 +0000 (11:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 25 Nov 2006 11:57:01 +0000 (11:57 +0000)
commitc3b08479c43a035b915e675f3be015df3608dc9d
tree3839a2f8b30368c29f326c44dae6c217bde40ced
parenta5cb4c29b556fdfe343b8fcc574fac57974bfe4e
fix
helm/software/components/library/coercGraph.mli