]> matita.cs.unibo.it Git - helm.git/commit - helm/software/pkg-matita/tarballs/matita_0.4.96.orig.tar.gz
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4560235) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 10:10:11 +0000 (10:10 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 10:10:11 +0000 (10:10 +0000)
commit5fc68b38232567a5f85daf21b6796863280a00d5
treeee69f669b0bfe991d41b5d0b72b0e4e02dc34619tree | snapshot
parent4560235ab329d193f663aa245aa4afe7938dbe03commit | diff
...
helm/software/pkg-matita/tarballs/matita-0.4.96.tar.gz [new file with mode: 0644] blob
helm/software/pkg-matita/tarballs/matita_0.4.96.orig.tar.gz [new symlink] blob
Unnamed repository; edit this file 'description' to name the repository.