projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 28 Nov 2005 13:01:50 +0000 (13:01 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 28 Nov 2005 13:01:50 +0000 (13:01 +0000) | ||
| commit | af95120ce01907e21b53ebcf23e085590fa9eb04 | |
| tree | 7bbdb6e01378aa7c703f2a81f6395f38f6a4b175 | tree | snapshot |
| parent | 33581c2ba6d8414968f4d3375352526ebf831a68 | commit | diff |
| helm/papers/matita/matita.bib | diff | blob | history | |
| helm/papers/matita/matita2.tex | diff | blob | history |