projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 18 Jan 2006 14:09:13 +0000 (14:09 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 18 Jan 2006 14:09:13 +0000 (14:09 +0000) | ||
| commit | 0934df282c5a661213df1962e678d9b9b95fee50 | |
| tree | 9c33f2897ac883006506c76a5332d90e76cd76c7 | tree | snapshot |
| parent | ff4f8bef029d1c55b2e50c5635b0ca98c967d9ff | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |