]>
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 | ba7371c1e56b52e1114dfb7e9407229f373889b9 | |
tree | 400c61fd081249e322dd9e4366a5a25c667b5ad3 | tree | snapshot |
parent | c9efb92560230e52522266417f6c5b75f6e8d8aa | commit | diff |
helm/software/matita/matitadep.ml | diff | blob | history | |
helm/software/matita/template_makefile.in | diff | blob | history |