projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 5 Jun 2006 11:38:24 +0000 (11:38 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 5 Jun 2006 11:38:24 +0000 (11:38 +0000) | ||
| commit | 560dcf554215ac3b272555f68bf7536b49d72383 | |
| tree | d6e61f343cbfcdccc61fc268223b5808d03e8112 | tree | snapshot |
| parent | 2fa59f0450a2f1fe871a09fd9841ddc1bfd67080 | commit | diff |
| matita/help/C/sec_terms.xml | diff | blob | history |