projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 15 Sep 2016 15:32:32 +0000 (15:32 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 15 Sep 2016 15:32:32 +0000 (15:32 +0000) | ||
| commit | f2e989e7710ad99b76dc1b73315c00b8ba8fc40f | |
| tree | 3c9b247282fbee2e7669eec864212ae7a590901e | tree | snapshot |
| parent | 984856dbab870ddc3156040df69b1f1846cc3aaf | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml | diff | blob | history |