projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 5 Feb 2015 00:30:59 +0000 (00:30 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 5 Feb 2015 00:30:59 +0000 (00:30 +0000) | ||
| commit | 38d63e5adf7f0eeeab575697e10c2867cc1c2a7f | |
| tree | f514d2da1096f8fcedb5da61bc22e923efbc09cc | tree | snapshot |
| parent | 6d1bb99e7f355d826c07285ba46b6b13a4abaefc | commit | diff |
| matita/components/syntax_extensions/.depend | diff | blob | history |