projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 30 Nov 2005 10:48:35 +0000 (10:48 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 30 Nov 2005 10:48:35 +0000 (10:48 +0000) | ||
| commit | 04f700d0ce01c1cc5bce8a6013e28bf38a25cf56 | |
| tree | e99be813084a2736ca0cad71e88a0c8af878f578 | tree | snapshot |
| parent | 2034db684e1d295527afad07a94f2f3b6b4ed7e2 | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |