]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7759f8) | patch
added integration entry
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jun 2005 15:25:11 +0000 (15:25 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jun 2005 15:25:11 +0000 (15:25 +0000)
commitdf14d9f91343f97a90ea16762f364cdb60b9651b
tree9c11b7dda45de70aa5df9b94521e74824aaf0c82tree | snapshot
parentf7759f86b755f4f7dc2b23edd52ed4d2e5c028fecommit | diff
added integration entry
helm/ocaml/cic_notation/TODO diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.