projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Sat, 10 Jun 2006 16:24:03 +0000 (16:24 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Sat, 10 Jun 2006 16:24:03 +0000 (16:24 +0000) | ||
| commit | f6fbde555da84d68da2dc87de8d731f1c6ea4476 | |
| tree | 8860a3ce85cfa60d1fc74453bc09afb4d79c8164 | tree | snapshot |
| parent | cce6f6dc86e2891f87b2023f35ccc5d73a10a5dd | commit | diff |
| helm/software/matita/help/C/matita.xml | diff | blob | history |