]> matita.cs.unibo.it Git - helm.git/commit
objects are typechecked to ensure there is a graph before doing all the stuff......
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 14 Apr 2008 14:59:12 +0000 (14:59 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 14 Apr 2008 14:59:12 +0000 (14:59 +0000)
commite299c8aad16752ea008cbb8a673996652b548e30
tree6307213422280e10f5679f92080e04228b70bb2e
parent15f914ea52e7f3ec2bf00ec740d9a9935559b859
objects are typechecked to ensure there is a graph before doing all the stuff... read: much more memory is required
helm/software/components/ng_kernel/check.ml