]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Tue, 31 Jan 2006 16:07:04 +0000 (16:07 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Tue, 31 Jan 2006 16:07:04 +0000 (16:07 +0000) | ||
commit | d04c51d4a69b0dc4838f46a41b4018835b252ff8 | |
tree | 0e16c67de77c3ba371e88bc8e21772eaeb6932d1 | tree | snapshot |
parent | 57d038849d866853795522e360723a881c2d4831 | commit | diff |
helm/papers/matita/matita2.tex | diff | blob | history |