]> matita.cs.unibo.it Git - helm.git/history - helm/configure.ac
- renamed ocaml/ to components/
[helm.git] / helm / configure.ac
2006-02-03 Stefano Zacchirolirelease snapshot
2006-02-03 Stefano Zacchiroliadded DBHOST & co ...
2006-02-02 Stefano Zacchirolino more multiple configure/Makefile, just one for both...
2006-02-02 Stefano Zacchiroli- "ocaml/" -> "libs/" in the distribution