projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 4 Nov 2010 21:23:32 +0000 (21:23 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 4 Nov 2010 21:23:32 +0000 (21:23 +0000) | ||
| commit | 5e3dd80bf4f904ad895562ed54d0df35970df8a3 | |
| tree | 4f2bbabb6b691ada00c333cc2c7e92ffdb2bb1f2 | tree | snapshot |
| parent | 16250ed29f9200595694cd49dfc1aed76280dcb9 | commit | diff |
| matita/components/statuses.txt | diff | blob | history |