projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 9 Jan 2006 13:53:45 +0000 (13:53 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 9 Jan 2006 13:53:45 +0000 (13:53 +0000) | ||
| commit | c1851394d6df179ae776fc126baf8d60c5b9980c | |
| tree | 5e8c3c3ce61ff09d660c6329c2e981cfa36cae38 | tree | snapshot |
| parent | 0475d733a3fcafe2ed37fccda33b830e5284cda9 | commit | diff |
| helm/matita/coq.ma | [deleted file] | blob | history |
| helm/matita/library/legacy/coq.ma | [new file with mode: 0644] | blob |