]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b47fe9c) | patch
Trivial bug fixed in type inference of LetIn source types.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2007 21:46:15 +0000 (21:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2007 21:46:15 +0000 (21:46 +0000)
commitaa8e74a3f9b16a2fc2521b58a2413534bfb2641e
treefa04b66c87767b233938f7a3b708a2dfd6ff6dc5tree | snapshot
parentb47fe9c65af809ae5002de4ecca6fa64640b1aa0commit | diff
Trivial bug fixed in type inference of LetIn source types.
helm/software/components/cic_exportation/cicExportation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.