projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 23 Jan 2006 10:44:09 +0000 (10:44 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 23 Jan 2006 10:44:09 +0000 (10:44 +0000) | ||
| commit | 6c43a7f440daf19e2475b7eabd20456bdb0e9f76 | |
| tree | 8414d291249b57fc8b08b5dfeeff65be4fd69885 | tree | snapshot |
| parent | 460802c49902d1225b37ac6cd6f5aa599aa5ecd8 | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |