]> matita.cs.unibo.it Git - helm.git/commit
0.4.0 almost working
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 26 Oct 2007 12:47:30 +0000 (12:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 26 Oct 2007 12:47:30 +0000 (12:47 +0000)
commitf8cc3ca9341553197c08cc217f787b663787d758
tree95e74e28644327c5e0667befc7c6f5f6d5900865
parent39541174994235283a3c67e0c48b52e067c948af
0.4.0 almost working
helm/software/pkg-matita/tarballs/matita-0.4.0.tar.gz [new file with mode: 0644]
helm/software/pkg-matita/trunk/debian/changelog
helm/software/pkg-matita/trunk/debian/control