]> matita.cs.unibo.it Git - helm.git/history - helm/software/pkg-matita/trunk
...
[helm.git] / helm / software / pkg-matita / trunk /
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassiadded manpages
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassiwrong dependency removed
2007-11-15 Enrico Tassichangelog to -rc-1
2007-11-14 Enrico Tassixxx
2007-11-09 Enrico Tassi...
2007-10-28 Enrico Tassiadded patch for the configuration file
2007-10-26 Enrico Tassi0.4.0 almost working
2007-10-22 Enrico Tassifixed copyright file... an ITP should be done
2007-09-10 Enrico Tassi...
2007-08-30 Enrico Tassithe version on the livecd
2007-06-21 Enrico Tassibetter description
2007-06-21 Enrico Tassibetter description
2007-05-23 Enrico Tassidebian package for matita