]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d503093) | patch
graph generation phase fixed
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 18 Apr 2008 15:26:11 +0000 (15:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 18 Apr 2008 15:26:11 +0000 (15:26 +0000)
commitfcdc755773839176c7206b579b6dd1ff665ed8f5
tree8ca5acc5c6818ee12dde8d85cb27dd74316f9a49tree | snapshot
parentd50309307c1dc85341759a020d7052b4a1d025b3commit | diff
graph generation phase fixed
helm/software/components/ng_kernel/check.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.