projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 9 Jan 2006 13:52:55 +0000 (13:52 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 9 Jan 2006 13:52:55 +0000 (13:52 +0000) | ||
| commit | bba4ac5f03b77ec80e15db081709a63999d952ab | |
| tree | 5ee465137554f0c6fedd3b7c0bd0332460d03c37 | tree | snapshot |
| parent | 4c2a5e7da43e15d9a5f35d65f6bd6eda9a117d93 | commit | diff |
| helm/matita/matitadep.ml | diff | blob | history |