projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 24 Jul 2007 11:54:28 +0000 (11:54 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 24 Jul 2007 11:54:28 +0000 (11:54 +0000) | ||
| commit | b8c5c1fbd225a79e39f6c8260b675a8828d5f345 | |
| tree | e5f893ad253a10e6b514da5ad5930044284e6b72 | tree | snapshot |
| parent | bfb5017ff7198b55a078c090f9cd23e3cbedaff4 | commit | diff |
| matita/Makefile | diff | blob | history |