projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 14 Nov 2005 18:37:08 +0000 (18:37 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 14 Nov 2005 18:37:08 +0000 (18:37 +0000) | ||
| commit | 2f647b0a312dce84b6a922676a4e213aa440bd1c | |
| tree | 3af6e93fcaf613a890e33b7fe1eb120d421a1477 | tree | snapshot |
| parent | fc8c8c46a0f97ab7f69898bcccbae6a6a8d2591b | commit | diff |
| helm/matita/.depend | diff | blob | history | |
| helm/matita/Makefile.in | diff | blob | history |