projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Sat, 10 Jun 2006 16:20:44 +0000 (16:20 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Sat, 10 Jun 2006 16:20:44 +0000 (16:20 +0000) | ||
| commit | 6c93ca5dd33afabca8414cd5c8ff28b25e031ba3 | |
| tree | 1138524a53b5bd9964b47a376841d2fcd9479f3b | tree | snapshot |
| parent | f20a7c0ed9571dd5a4c16cbbcfc8474947fcb71c | commit | diff |
| matita/help/C/legal.xml | diff | blob | history | |
| matita/help/C/sec_license.xml | [new file with mode: 0644] | blob |