projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 9 Aug 2013 17:27:58 +0000 (17:27 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 9 Aug 2013 17:27:58 +0000 (17:27 +0000) | ||
| commit | 9cce83f0364d04a98cc5e9dfc80ce47ce3c68686 | |
| tree | a194babbcbeb48dbaee785c8a6d220f96b48e5e5 | tree | snapshot |
| parent | 260c699033d4ec65a3e4ab0f591a2109a5a831ad | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/grammar/test.ma | diff | blob | history | |
| matita/matita/matita.lang | diff | blob | history |