]> matita.cs.unibo.it Git - helm.git/commit
more strict check by CSC, I miss it
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 22 Apr 2008 13:28:10 +0000 (13:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 22 Apr 2008 13:28:10 +0000 (13:28 +0000)
commit3acdbab1e661bead2d8741e0d2e525155f809f07
treebec0920149cb1ebc1fba8dfd09fa023b758d43e9
parentdc02fa875548541fd9ca33ec8f191a4fc149588f
more strict check by CSC, I miss it
helm/software/components/ng_kernel/alluris.txt
helm/software/components/ng_kernel/oCic2NCic.ml