projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 27 Jan 2011 14:58:12 +0000 (14:58 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 27 Jan 2011 14:58:12 +0000 (14:58 +0000) | ||
| commit | bd61818314b7bac079bc707106dbc95212ad88b2 | |
| tree | a94cacb6b69c6c1e61597631770e525b10945ac0 | tree | snapshot |
| parent | 7761bd5341f81e4b7d335c0b47bc1e2271f02227 | commit | diff |
| matita/components/content_pres/boxPp.ml | diff | blob | history |