]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c031aa4) | patch
fixed wrong Rel, still to do: Fix(i,j) applied to dangerous rel, check all bodies...
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Apr 2008 17:02:00 +0000 (17:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Apr 2008 17:02:00 +0000 (17:02 +0000)
commitc87ca87169e38a22e7bf7a347238597500964285
tree9a1b794211e3f809d12f03aaa12c09e0807c50e0tree | snapshot
parentc031aa4ca97d0d563a772d7bd247ff7814c51b04commit | diff
fixed wrong Rel, still to do: Fix(i,j) applied to dangerous rel, check all bodies in parallel, not just the i-th
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.