]> matita.cs.unibo.it Git - helm.git/history - helm/software/configure.ac
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
transcript: bug fix in the generation of axioms
[helm.git] / helm / software / configure.ac
2008-07-23 Enrico Tassi0.5.3 blob | commitdiff | raw
2008-07-09 Enrico Tassi... blob | commitdiff | raw | diff to current
2008-05-21 Enrico Tassi0.5.1 should be realased soon, the bug that was affecti... blob | commitdiff | raw | diff to current
2008-05-01 Enrico Tassitagging 0.5.0-rc1 blob | commitdiff | raw | diff to current
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE blob | commitdiff | raw | diff to current
2007-11-16 Enrico Tassifrom the tarball removed all contribs, they used to... blob | commitdiff | raw | diff to current
2007-11-15 Enrico Tassiremoved ugly prerr_endline blob | commitdiff | raw | diff to current
2007-11-15 Enrico Tassirc-1 blob | commitdiff | raw | diff to current
2007-11-02 Claudio Sacerdoti... *** Very experimental and not branched *** blob | commitdiff | raw | diff to current
2007-10-26 Enrico Tassiwe use ulex08 not ulex blob | commitdiff | raw | diff to current
2007-10-12 Claudio Sacerdoti... Move to OCaml 3.10. Requires debian packages from unsta... blob | commitdiff | raw | diff to current
2007-09-10 Enrico Tassilast version with caml 3.09 built and saved as 0.3.0 blob | commitdiff | raw | diff to current
2007-08-30 Enrico Tassi0.2.0 blob | commitdiff | raw | diff to current
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs. blob | commitdiff | raw | diff to current
2007-02-08 Ferruccio Guidifix dependences for matita blob | commitdiff | raw | diff to current
2007-02-07 Claudio Sacerdoti... New dependency over acic_procedural. blob | commitdiff | raw | diff to current
2006-07-22 Enrico Tassimatitaprover blob | commitdiff | raw | diff to current
2006-03-13 Enrico TassiHuge commit for the release. Includes: blob | commitdiff | raw | diff to current
2006-02-07 Stefano Zacchirolichanged location of version.txt blob | commitdiff | raw | diff to current
2006-02-07 Stefano Zacchirolireshaped manual blob | commitdiff | raw | diff to current
2006-02-07 Stefano Zacchiroliadded configure time values SRCROOT and DISTRIBUTED blob | commitdiff | raw | diff to current
2006-02-03 Stefano Zacchiroli- no longer need to dynamically discover if the compone... blob | commitdiff | raw | diff to current
2006-02-03 Stefano Zacchirolimoved toplevel makefile to sfotware/ blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.