projects / helm.git / search
| 2006-02-03 | Stefano Zacchiroli | - no longer need to dynamically discover if the components... |
commit | commitdiff | tree |
| 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 |