]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2642c0) | patch
Improved eat_prods error message (at the cost of passing the 6th argument!)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Apr 2008 16:10:40 +0000 (16:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Apr 2008 16:10:40 +0000 (16:10 +0000)
commita5edfb2ab4773a6b162f1458fa4497b4296f2444
treea1c3f182a6f65b2df3823cb10c03746f28ea2911tree | snapshot
parenta2642c03bef7812ca81b25da0d3cb2f504e0a0b0commit | diff
Improved eat_prods error message (at the cost of passing the 6th argument!)
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.