projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 12 Sep 2014 18:28:34 +0000 (18:28 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 12 Sep 2014 18:28:34 +0000 (18:28 +0000) | ||
| commit | f5924d06e3e5d5a4e16247f51fe675e97433128e | |
| tree | 98c069166fab51a5ef42e6324756f0d672d5ab6b | tree | snapshot |
| parent | d6909ee6f43e0f29efbaf28b75b69723634c3af2 | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml | diff | blob | history |