]> matita.cs.unibo.it Git - helm.git/history - Makefile.defs.in
* NOT RELEASED YET
[helm.git] / Makefile.defs.in
2006-05-29 Stefano ZacchiroliOCAMLPATH is no longer overrid if already set in curren...
2006-02-08 Stefano Zacchiroliexpand SRCROOT (is needed by matita/Makefile)
2006-02-07 Stefano Zacchiroliadded configure time values SRCROOT and DISTRIBUTED
2006-02-03 Stefano Zacchirolimoved toplevel makefile to sfotware/