]>
2006-02-03 | Stefano Zacchiroli | moved (dummy) dist stuff into software/matita/ |
commit | commitdiff | tree |
2006-02-03 | Stefano Zacchiroli | moved toplevel makefile to sfotware/ |
commit | commitdiff | tree |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ |
commit | commitdiff | tree |
2006-02-02 | Stefano Zacchiroli | reorganization continues ... |
commit | commitdiff | tree |
2006-02-02 | Stefano Zacchiroli | (dis)organized web stuff |
commit | commitdiff | tree |
2006-02-02 | Stefano Zacchiroli | daemons tamed |
commit | commitdiff | tree |