]> matita.cs.unibo.it Git - helm.git/history - helm/software/Makefile.defs.in
partially fixed boxes in rewite
[helm.git] / helm / software / Makefile.defs.in
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/