X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita1.0%2FFILES%2Fmatita_0.5.7.orig.tar.gz;fp=helm%2Fwww%2Fmatita1.0%2FFILES%2Fmatita_0.5.7.orig.tar.gz;h=e2818daa31ded805fea8746b8bfed7d39a696d3f;hb=fcaa64e1cf492478f5d93ca041d6d18d6b4faf9d;hp=0000000000000000000000000000000000000000;hpb=b0f8a972ce0e1e6a501724d40e9f78c343fdcfbc;p=helm.git

diff --git a/helm/www/matita1.0/FILES/matita_0.5.7.orig.tar.gz b/helm/www/matita1.0/FILES/matita_0.5.7.orig.tar.gz
new file mode 100644
index 000000000..e2818daa3
Binary files /dev/null and b/helm/www/matita1.0/FILES/matita_0.5.7.orig.tar.gz differ