projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Sat, 28 Jan 2006 08:51:58 +0000 (08:51 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Sat, 28 Jan 2006 08:51:58 +0000 (08:51 +0000) | ||
| commit | 5580875d08eb17a1e280e48b6f5d0a4a6b5f8baf | |
| tree | bb041f5bebbc8c9500945fa7c30246e28ace24b1 | tree | snapshot |
| parent | ec13ac23f555f04b0a546d0e8ae464d9b5806d9b | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |