]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a151195) | patch
bugfix in cmatch constants_no now consider also the number of types of
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 25 Oct 2004 14:33:17 +0000 (14:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 25 Oct 2004 14:33:17 +0000 (14:33 +0000)
commitb6658a4a5c874be0223f44c7c1b99900185cbc60
tree2b4c15b23575ee206e4c227d9de172e2990cda60tree | snapshot
parenta151195a387e7dd1e68c58f7d5ee648622c52cf7commit | diff
bugfix in cmatch constants_no now consider also the number of types of
main
helm/ocaml/metadata/metadataConstraints.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.