projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 16 Nov 2005 15:43:55 +0000 (15:43 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 16 Nov 2005 15:43:55 +0000 (15:43 +0000) | ||
| commit | 3b744d6e811f514b800c0dc3b57038f01d4ba8a6 | |
| tree | 72cc09aa1b8262a3092c1d669f52c7a99736f487 | tree | snapshot |
| parent | 3cb94e90fc5ee51fed59c9169aa9a08db6389210 | commit | diff |
| helm/papers/matita/input_phase.dia | [new file with mode: 0644] | blob |
| helm/papers/matita/input_phase.eps | [new file with mode: 0644] | blob |
| helm/papers/matita/matita.tex | diff | blob | history |