projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 19 Sep 2012 16:42:27 +0000 (16:42 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 19 Sep 2012 16:42:27 +0000 (16:42 +0000) | ||
| commit | fe109b10677871f9d29803c378e1ffa6c9e8501c | |
| tree | 542b4ed2d955b24e7b2d54161057316c193a3d61 | tree | snapshot |
| parent | 039f4f6db3a3c128959cd471eb78f575906e07b6 | commit | diff |
| matita/matita/lib/preamble.hs | diff | blob | history |