projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Sat, 10 Jun 2006 16:21:25 +0000 (16:21 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Sat, 10 Jun 2006 16:21:25 +0000 (16:21 +0000) | ||
| commit | 68a48cdf1ef091660a6cbd8293e6cc8fa21435f0 | |
| tree | 5e43529172d78b8f3067d37963ab51049fc7995e | tree | snapshot |
| parent | 48fdd3d233012ef2ed8f38cab2ac9258ff1aaaa0 | commit | diff |
| matita/help/C/sec_gettingstarted.xml | diff | blob | history | |
| matita/help/C/sec_intro.xml | diff | blob | history |