projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Fri, 25 Nov 2005 11:11:27 +0000 (11:11 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Fri, 25 Nov 2005 11:11:27 +0000 (11:11 +0000) | ||
| commit | 787788af714dc5ca1bd80f036c149592d7dc0088 | |
| tree | 16f3f266514b5e6b5a434a54efb750812726dfd1 | tree | snapshot |
| parent | 5f4abc5ba58ff12dfabd1acf4d784ff7f242cbf9 | commit | diff |
| helm/papers/matita/matita.tex | diff | blob | history |