projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 18 Jan 2010 12:49:58 +0000 (12:49 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 18 Jan 2010 12:49:58 +0000 (12:49 +0000) | ||
| commit | e1cbf489bba32a8109f3373f43f9e3cfe2e0171f | |
| tree | 3281dbdacdf7b98dd20a56d7e15a0dc58fcd44ae | tree | snapshot |
| parent | 899222fb394af9ee449cd6618e6e38ce30b45ca8 | commit | diff |
| helm/software/matita/nlibrary/topology/igft3.ma | diff | blob | history |