projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 14 Nov 2007 13:21:06 +0000 (13:21 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 14 Nov 2007 13:21:06 +0000 (13:21 +0000) | ||
| commit | 8de247e8d14940d9f619b6d35107cc5fae11b412 | |
| tree | b0bf7c87b60bb567ddc6e0cc60c10ae46f679f2f | tree | snapshot |
| parent | 624a7c13a2ed22ed2535690074c7a08e18de7f13 | commit | diff |
| helm/software/matita/dama/excedence.ma | diff | blob | history |