projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 1 Mar 2007 15:45:33 +0000 (15:45 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 1 Mar 2007 15:45:33 +0000 (15:45 +0000) | ||
| commit | e63beeff229680e6f6933fc7095e0910dbb56209 | |
| tree | fcf7fa8d4000727986506b1efb345aafc54209af | tree | snapshot |
| parent | c2d8fcd86793151c8cf24f45fc3064b97f16f596 | commit | diff |
| helm/software/matita/contribs/prova.ma | diff | blob | history |