]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Tue, 26 Sep 2006 16:06:54 +0000 (16:06 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Tue, 26 Sep 2006 16:06:54 +0000 (16:06 +0000) | ||
commit | 3811995e8c58a431ee03b75a7f30a760df327519 | |
tree | 628e88886e012eba1c86b6e9d3a7cd3b63abdea3 | tree | snapshot |
parent | 4527c3cd00ac1de7e248c4f90e7d826ad572ccc0 | commit | diff |
matita/matitamakeLib.ml | diff | blob | history | |
matita/template_makefile_devel.in | diff | blob | history |