projects / helm.git / shortlog
| 2006-02-03 | Stefano Zacchiroli | - no longer need to dynamically discover if the compone... | commit | commitdiff | tree | snapshot |
| 2006-02-03 | Stefano Zacchiroli | moved (dummy) dist stuff into software/matita/ | commit | commitdiff | tree | snapshot |
| 2006-02-03 | Stefano Zacchiroli | moved toplevel makefile to sfotware/ | commit | commitdiff | tree | snapshot |
| 2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | commit | commitdiff | tree | snapshot |
| 2006-02-02 | Stefano Zacchiroli | reorganization continues ... | commit | commitdiff | tree | snapshot |
| 2006-02-02 | Stefano Zacchiroli | (dis)organized web stuff | commit | commitdiff | tree | snapshot |
| 2006-02-02 | Stefano Zacchiroli | daemons tamed | commit | commitdiff | tree | snapshot |