projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 28 May 2008 12:48:43 +0000 (12:48 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 28 May 2008 12:48:43 +0000 (12:48 +0000) | ||
| commit | 366bd990e5c375b7c2af6f5560ac7f00b453c246 | |
| tree | 3b3cc174931cb604161679fc328c73bfe3aac164 | tree | snapshot |
| parent | 2caf6f16d535477ccccbf4f0ebe47edceeddab78 | commit | diff |
| helm/software/matita/contribs/dama/dama/depends | diff | blob | history | |
| helm/software/matita/contribs/dama/dama/excedence.ma | [new file with mode: 0644] | blob |