]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a671a6) | patch
added false test
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 17:19:17 +0000 (17:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 17:19:17 +0000 (17:19 +0000)
commitfc3be5fed893d9ab491cf2c68bfc558d81462cfb
tree799bd60f444e9f0a43d82b06eda025610be0f6f9tree | snapshot
parent4a671a60ba714f60b86d8ce02ff022899d6e52b7commit | diff
added false test
helm/ocaml/cic_disambiguation/tests/match.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.