projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 21 Sep 2006 08:54:08 +0000 (08:54 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 21 Sep 2006 08:54:08 +0000 (08:54 +0000) | ||
| commit | 2edd802fd82af7aa282a82344d14c851c210ed1c | |
| tree | e73d11e149e4be17902cd8605a26b8757bcc18a2 | tree | snapshot |
| parent | c61fbff7b7296b56aa5313823bc2df4d344c9ce6 | commit | diff |
| matita/matitadep.ml | diff | blob | history | |
| matita/template_makefile.in | diff | blob | history |