]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11852aa) | patch
Bug fixed: when computing the left arguments, I was not doing the right thing.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 18 May 2008 20:51:15 +0000 (20:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 18 May 2008 20:51:15 +0000 (20:51 +0000)
commit6b1ac4f9ec36e07ac0e69e6cb6d8530af18d3832
treeaf74cc22648c2f0437c73d0527a8a4de93c7d303tree | snapshot
parent11852aa9c64848457d84af63186d2317772e74bfcommit | diff
Bug fixed: when computing the left arguments, I was not doing the right thing.

New check implemented: references should cache data correctly.
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.