projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 14 Jun 2006 14:32:46 +0000 (14:32 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 14 Jun 2006 14:32:46 +0000 (14:32 +0000) | ||
| commit | fb1616ba8bbaeb0dce60fb463ec4a9f48b11a082 | |
| tree | 148daa3674270523398a621c4997e9e387fed5b2 | tree | snapshot |
| parent | ccefabf0d9542a7788e89e7115e3037e1d32a9b9 | commit | diff |
| matita/matitamakeLib.ml | diff | blob | history |