projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 15 Jan 2010 16:12:43 +0000 (16:12 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 15 Jan 2010 16:12:43 +0000 (16:12 +0000) | ||
| commit | 4a8f4870edcc4fee7cf51744d4a731be84365ea7 | |
| tree | bee64ca3a6de6cb249793085090d49abe1676ec9 | tree | snapshot |
| parent | 634a86f552919afdb4e9cbb211c9a5371f86f45f | commit | diff |
| helm/software/matita/nlibrary/topology/igft3.ma | diff | blob | history |