]> matita.cs.unibo.it Git - helm.git/history - helm/software/configure.ac
exportation completed!!
[helm.git] / helm / software / configure.ac
2006-07-22 Enrico Tassimatitaprover
2006-03-13 Enrico TassiHuge commit for the release. Includes:
2006-02-07 Stefano Zacchirolichanged location of version.txt
2006-02-07 Stefano Zacchirolireshaped manual
2006-02-07 Stefano Zacchiroliadded configure time values SRCROOT and DISTRIBUTED
2006-02-03 Stefano Zacchiroli- no longer need to dynamically discover if the compone...
2006-02-03 Stefano Zacchirolimoved toplevel makefile to sfotware/