]> matita.cs.unibo.it Git - helm.git/history - helm/software/configure.ac
...
[helm.git] / helm / software / configure.ac
2009-10-12 Enrico Tassi...
2009-06-08 Enrico Tassiadded META for ng_paramodulation
2009-04-30 Matthias PuechAdded an option --enable-annot to the configure to...
2009-04-09 Claudio Sacerdoti... + Chain NCic.term -> content -> presentation very...
2009-03-26 Enrico Tassi...
2008-12-19 Enrico Tassi...
2008-12-01 Enrico Tassi0.5.6
2008-11-27 Enrico Tassicic_disambiguation splitted into disambiguation and...
2008-11-16 Enrico Tassi....
2008-10-19 Enrico Tassi...
2008-07-23 Enrico Tassi0.5.3
2008-07-09 Enrico Tassi...
2008-05-21 Enrico Tassi0.5.1 should be realased soon, the bug that was affecti...
2008-05-01 Enrico Tassitagging 0.5.0-rc1
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/