projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 6 Feb 2006 17:22:11 +0000 (17:22 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 6 Feb 2006 17:22:11 +0000 (17:22 +0000) | ||
| commit | 71dfe1aaf300bf4cfb07e7906e9827dc3cf76070 | |
| tree | 728741dcf1c16749265376fe145425fb467be3ec | tree | snapshot |
| parent | 3158b6cbc3b374a7840e79c2cd35dd46ffeaf324 | commit | diff |
| matita/matita.conf.xml.build.in | diff | blob | history |