]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15f914e) | patch
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
tree6307213422280e10f5679f92080e04228b70bb2etree | snapshot
parent15f914ea52e7f3ec2bf00ec740d9a9935559b859commit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.