projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 17 Nov 2005 15:13:15 +0000 (15:13 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 17 Nov 2005 15:13:15 +0000 (15:13 +0000) | ||
| commit | aae5962a5f1cdd3f69f0b989ab315449f583fd6a | |
| tree | e2fc715607b82edd83563a1fb1cf250144e4b9ca | tree | snapshot |
| parent | 8684c6f92b368b567fa401b1054bcdefa8fa72ae | commit | diff |
| helm/papers/matita/matita.tex | diff | blob | history |