]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5baf68b) | patch
rebuilt
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Sep 2006 10:35:15 +0000 (10:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Sep 2006 10:35:15 +0000 (10:35 +0000)
commit2199206214c6c4d34e027088651ad969defd3296
treeb18b683ff4dfd5d41aa53e2b8d21af47b3bd8adctree | snapshot
parent5baf68bea00b0ee84fd3ebc97069c1cab88001f2commit | diff
rebuilt
matita/.depend diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.