projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 22 May 2009 12:17:28 +0000 (12:17 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 22 May 2009 12:17:28 +0000 (12:17 +0000) | ||
| commit | c6094ab9349aaa41a8c29c5773a3e756ac819e7f | |
| tree | 1f7dee3206f86e6ce4e11aa96b655439584dd8e4 | tree | snapshot |
| parent | c71c1ae7fec17ba9e36b7a8fa2ca3bf2c8dfc3b8 | commit | diff |
| helm/software/matita/core_notation.moo | diff | blob | history |