]> matita.cs.unibo.it Git - helm.git/history - helm/software/configure.ac
...
[helm.git] / helm / software / configure.ac
2007-08-30 Enrico Tassi0.2.0
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs.
2007-02-08 Ferruccio Guidifix dependences for matita
2007-02-07 Claudio Sacerdoti... New dependency over acic_procedural.
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/