]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Fri, 3 Feb 2006 17:33:46 +0000 (17:33 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Fri, 3 Feb 2006 17:33:46 +0000 (17:33 +0000) |
Makefile | patch | blob | history | |
matita/dist/configure.ac.sed | [new file with mode: 0644] | patch | blob |