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 | 9b0c82650f44752fefaf7819947667466b904fbc | |
| tree | 4d6ba7d975898832b55ac5fb9994619ecf571c7c | tree | snapshot |
| parent | f64e7e9e24f63a926191f08c6e36ef6763718127 | commit | diff |
| helm/software/matita/help/C/legal.xml | diff | blob | history | |
| helm/software/matita/help/C/sec_license.xml | [new file with mode: 0644] | blob |