projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 19 Jun 2006 16:15:24 +0000 (16:15 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 19 Jun 2006 16:15:24 +0000 (16:15 +0000) | ||
| commit | 6e9ca15f1100ae2e5d62f62134084b6d15f0229f | |
| tree | ed3190fda3ae95360ce608d069d935dabf33a123 | tree | snapshot |
| parent | 17974f325b94010f784b745d481bbd343ba59bb1 | commit | diff |
| helm/software/matita/matita.lang | diff | blob | history |