projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 13 Jun 2006 11:42:28 +0000 (11:42 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 13 Jun 2006 11:42:28 +0000 (11:42 +0000) | ||
| commit | e6bdb7d7400df360a5b36b411a27c754080e5363 | |
| tree | 382aeef300b95f8ce193e75939c3b2a8ce3cb72f | tree | snapshot |
| parent | 6f769078a23e6c63706a86a35fdc4e8ba08a5414 | commit | diff |
| matita/Makefile | diff | blob | history |