]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2006-02-06 Andrea Aspertitermine bacato.
2006-02-06 Andrea Aspertifixed usage of matita.auto_disambiguation
2006-02-06 Andrea AspertiBug?
2006-02-03 Claudio Sacerdoti... First proof on groups completed!
2006-02-03 Stefano Zacchirolion the fly generation of distribution configure.ac
2006-02-03 Stefano Zacchiroliported to the new svn architecture
2006-02-03 Stefano Zacchiroli- no longer need to dynamically discover if the compone...
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