projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 25 May 2005 14:16:53 +0000 (14:16 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 25 May 2005 14:16:53 +0000 (14:16 +0000) | ||
| commit | a8b7c2dde5be21864e841bcf2741293e8e0a82e6 | |
| tree | b82697390200a4ea3e84aa948f13d01f1c699e64 | tree | snapshot |
| parent | 051722c687354888aebfefb1c5759e1a7fc224ab | commit | diff |
| helm/matita/matita.txt | diff | blob | history |