]> matita.cs.unibo.it Git - helm.git/history - helm/software/configure.ac
added a warning if the baseuri we want to clean is read-only
[helm.git] / helm / software / configure.ac
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-11-16 Enrico Tassifrom the tarball removed all contribs, they used to...
2007-11-15 Enrico Tassiremoved ugly prerr_endline
2007-11-15 Enrico Tassirc-1
2007-11-02 Claudio Sacerdoti... *** Very experimental and not branched ***
2007-10-26 Enrico Tassiwe use ulex08 not ulex
2007-10-12 Claudio Sacerdoti... Move to OCaml 3.10. Requires debian packages from unsta...
2007-09-10 Enrico Tassilast version with caml 3.09 built and saved as 0.3.0
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/