projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 25 Nov 2005 11:19:59 +0000 (11:19 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 25 Nov 2005 11:19:59 +0000 (11:19 +0000) | ||
| commit | e5d77bcbc81aa4e3f5d2f8d53ce47f029e1618a6 | |
| tree | 755e76f9abb349a15ff61ac52b2ce3ebb8f885c8 | tree | snapshot |
| parent | 1475371df21b01889b06477984961cc09cc09e91 | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |