]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c43a7f) | patch
completed disambiguation part
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 Jan 2006 12:13:00 +0000 (12:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 Jan 2006 12:13:00 +0000 (12:13 +0000)
commit34dbef19bdb8726cab7af14bff72dd4573c1d365
treecb2702ef193972a4f578961a90e811b5cb3cb9aetree | snapshot
parent6c43a7f440daf19e2475b7eabd20456bdb0e9f76commit | diff
completed disambiguation part
helm/papers/matita/matita2.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.