projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 30 Jan 2006 15:32:19 +0000 (15:32 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 30 Jan 2006 15:32:19 +0000 (15:32 +0000) | ||
| commit | e82de2986645548c4d10318443b863d4766be8cc | |
| tree | 5684781dd3b045f11e76e4bd77e26c07d38b19b7 | tree | snapshot |
| parent | 82ec52f9e431b17659033cbfdcaa56c44d9e285d | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history | |
| helm/papers/matita/pics/matita-screenshot.eps | diff | blob | history | |
| helm/papers/matita/pics/matita-screenshot.png | diff | blob | history |
