projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 31 Jan 2006 15:50:06 +0000 (15:50 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 31 Jan 2006 15:50:06 +0000 (15:50 +0000) | ||
| commit | 57d038849d866853795522e360723a881c2d4831 | |
| tree | e0733aca870f5ee6b81b76f4b258ed4158ea2fb7 | tree | snapshot |
| parent | bb55db1e81149b7f3a58c2cd723c096883b66ab4 | commit | diff |
| helm/papers/matita/matita.bib | diff | blob | history | |
| helm/papers/matita/matita2.bbl | diff | blob | history | |
| helm/papers/matita/matita2.tex | diff | blob | history |