]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 7 Jul 2005 09:55:25 +0000 (09:55 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 7 Jul 2005 09:55:25 +0000 (09:55 +0000) | ||
commit | e4f647a89ca8fefdc69bab65468683c415ff0619 | |
tree | 07b1011f1df5799ffe86b51f00433d3378de35c8 | tree | snapshot |
parent | 2afb20c90f56b970887c650c35fb9043ccc4c2dc | commit | diff |
helm/matita/.depend | diff | blob | history |