projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 15 Nov 2005 14:40:09 +0000 (14:40 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 15 Nov 2005 14:40:09 +0000 (14:40 +0000) | ||
| commit | edad5bdc005e8004116ef10ac3cf7b0c9d92c3b6 | |
| tree | 16ca1ee6b3ecb1e1655642ef926fee017370087e | tree | snapshot |
| parent | 1de1589cd58fa18f1699c7fe1780adcd5da47a64 | commit | diff |
| helm/papers/matita/matita.tex | diff | blob | history |