projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Fri, 25 Nov 2005 11:12:05 +0000 (11:12 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Fri, 25 Nov 2005 11:12:05 +0000 (11:12 +0000) | ||
| commit | 1475371df21b01889b06477984961cc09cc09e91 | |
| tree | dbcbfee857b2cdb646cd400d5b88a65658b79df6 | tree | snapshot |
| parent | ffbef6329458347da5805b12c98819cc0ce4ab73 | commit | diff |
| helm/papers/matita/Makefile | diff | blob | history |