]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f14041) | patch
Bugfix in tipify: a metavariable was set to type without sortifying its type.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 24 Nov 2009 16:56:59 +0000 (16:56 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 24 Nov 2009 16:56:59 +0000 (16:56 +0000)
commit123e66ead6ee8f502bd2fc2baf5482fe78ae6f34
tree26bcc25f96a4e6a040985b58bf433a0080176619tree | snapshot
parent3f14041310efe95e436bea8efd51ebdab67d5defcommit | diff
Bugfix in tipify: a metavariable was set to type without sortifying its type.
helm/software/components/ng_refiner/nCicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.