projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 6 Aug 2012 14:55:28 +0000 (14:55 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 6 Aug 2012 14:55:28 +0000 (14:55 +0000) | ||
| commit | bd5d6160029247d8c4e3f8cec82f7acd7199d7d5 | |
| tree | b089ef77a40ed5b75c459a0154f422de86672ccd | tree | snapshot |
| parent | 45e128062d4ad05b4dfa6e30b9b4d553315186ab | commit | diff |
| matita/matita/.depend | diff | blob | history | |
| matita/matita/.depend.opt | diff | blob | history |