projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 26 Jan 2006 13:20:37 +0000 (13:20 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 26 Jan 2006 13:20:37 +0000 (13:20 +0000) | ||
| commit | 4fa098d44a4f6f88fe09597abf6ad2af726cbff0 | |
| tree | 3e97006d90fdf1dcbaa056bb8264ebff0d000c99 | tree | snapshot |
| parent | a8d3be41b60e0720b32750243c1999c5083f4299 | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |