projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 17 May 2017 13:23:46 +0000 (13:23 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 17 May 2017 13:23:46 +0000 (13:23 +0000) | ||
| commit | f3905556122a1990efa647cfc638d38207624a6d | |
| tree | 5098c0919bf09937e7886ed87b64391578621925 | tree | snapshot |
| parent | c4ee4f93850d64a1ad583c0fa00a4c38d2c43a88 | commit | diff |
| matita/components/syntax_extensions/Makefile | diff | blob | history | |
| matita/matita/.depend.opt | diff | blob | history |