]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14684f9) | patch
Bug fixed: only Type < Type1 was declared.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 17 May 2008 13:19:22 +0000 (13:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 17 May 2008 13:19:22 +0000 (13:19 +0000)
commit64588ee1a349ea931782c8388f0dbcb9e15279ef
treebbf9b30088ee72afeb52b450d2723d6ef6e02410tree | snapshot
parent14684f9b8fcc2ce4ffb0b9fa5d287c2ab5843760commit | diff
Bug fixed: only Type < Type1 was declared.
helm/software/components/ng_kernel/check.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.