]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59777ae) | patch
rebuilt
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Feb 2004 13:32:25 +0000 (13:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Feb 2004 13:32:25 +0000 (13:32 +0000)
commit3c70702720a8b63282f0aac3ed2d40abe6127817
tree5cd1d68c36c43391f94a8a290afce257e499d504tree | snapshot
parent59777aef7eef8a174f2c7de425676c120e46d978commit | diff
rebuilt
helm/ocaml/cic_unification/.depend diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.