]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb58714) | patch
removed two useless calls to the environment, one still to be optimized out
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 9 Apr 2008 11:58:33 +0000 (11:58 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 9 Apr 2008 11:58:33 +0000 (11:58 +0000)
commit497fcd1fe028781bcb3853044dc787d83fa8d1a9
tree03a844145c0b503b63c58833ff80f103b7923078tree | snapshot
parenteb58714742121171e45852558f92d05addf6a6e8commit | diff
removed two useless calls to the environment, one still to be optimized out
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.