]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4426c9e) | patch
added some match examples/regtests
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 12:27:02 +0000 (12:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 12:27:02 +0000 (12:27 +0000)
commit589ae89bb5148143ea9362cb4c1c38aa4b1c316d
tree031807f406eb19d47989e03695cd905c62ad3879tree | snapshot
parent4426c9ebff12c236150841eb04374ae5f9cc733fcommit | diff
added some match examples/regtests
helm/ocaml/cic_disambiguation/tests/match.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.