projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Tue, 6 Oct 2009 14:13:51 +0000 (14:13 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Tue, 6 Oct 2009 14:13:51 +0000 (14:13 +0000) | ||
| commit | ef8d23555d76d07c3c7b1ef7a91d55ad7814087d | |
| tree | 8f129a0fca6cae842e81631be31e3de426fa9719 | tree | snapshot |
| parent | 806ecbdd749ecf2a1cabff52b41cf748fe022401 | commit | diff |
| helm/software/matita/matita.lang | diff | blob | history |