projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 12 Jan 2012 12:03:29 +0000 (12:03 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 12 Jan 2012 12:03:29 +0000 (12:03 +0000) | ||
| commit | 2cc1435cba8bd6c7cefd9e34d22080574a8a6890 | |
| tree | bc12795c6ef1b072e7dd33377816850579b90c40 | tree | snapshot |
| parent | 7bf186f42e827e6e4112eba7ae5ca3e727f59026 | commit | diff |
| matita/components/content_pres/content2pres.ml | diff | blob | history |