projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 17 Nov 2011 00:07:33 +0000 (00:07 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 17 Nov 2011 00:07:33 +0000 (00:07 +0000) | ||
| commit | 01dc8db691f533de49f53dfdd173195336731c2b | |
| tree | 6e07d08368f32dbb610ae4bbe1fdaf6f7d76c8a2 | tree | snapshot |
| parent | 1bcb7873873c3d4ec213ee1ff289aa8eccc5c1ad | commit | diff |
| matita/matita/dist/ChangeLog | diff | blob | history | |
| matita/matita/dist/TODO | diff | blob | history |