projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 7 Feb 2006 23:08:27 +0000 (23:08 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 7 Feb 2006 23:08:27 +0000 (23:08 +0000) | ||
| commit | 711fccf758110e334a44e74fc0fea059c6ac7525 | |
| tree | 3e4195d49aa20d7a0a1fd7e99c752577d2c953da | tree | snapshot |
| parent | 3949b3222c3ca9be2279beda4cbcf7cd49400d73 | commit | diff |
| matita/help/C/matita.xml | diff | blob | history | |
| matita/help/C/sec_install.xml | diff | blob | history | |
| matita/help/C/sec_tactics.xml | diff | blob | history |