]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2006-02-03 Stefano Zacchirolimoved (dummy) dist stuff into software/matita/
2006-02-03 Stefano Zacchirolimoved toplevel makefile to sfotware/
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/
2006-02-02 Stefano Zacchirolireorganization continues ...
2006-02-02 Stefano Zacchiroli(dis)organized web stuff
2006-02-02 Stefano Zacchirolidaemons tamed