projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 9 Jan 2006 11:04:12 +0000 (11:04 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 9 Jan 2006 11:04:12 +0000 (11:04 +0000) | ||
| commit | 9eae7f0efb8ced9a5e389a2b839d439313a7b0cd | |
| tree | e31256a3445d1f9635a0bebff7a0e124d1a2e355 | tree | snapshot |
| parent | acf84dee7d161e3405527c8506bc475098a98634 | commit | diff |
| helm/matita_homepage/bg.png | [deleted file] | blob | history |
| helm/matita_homepage/matita.png | [deleted file] | blob | history |
| helm/matita_homepage/matita.xcf | [deleted file] | blob | history |
