projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 30 May 2011 16:28:27 +0000 (16:28 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 30 May 2011 16:28:27 +0000 (16:28 +0000) | ||
| commit | ec401f51799a051fe8935b36d589fca5a4728d81 | |
| tree | 83bd9f41c863b114e7acce7657335a0e5102b66e | tree | snapshot |
| parent | f7c92759fdc11f3b0c0b1d9dd07bdebc40fc769b | commit | diff |
| matita/components/content_pres/content2pres.ml | diff | blob | history | |
| matita/components/content_pres/termContentPres.ml | diff | blob | history |