]>
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | commit | commitdiff |
2006-02-03 | Stefano Zacchiroli | release snapshot | commit | commitdiff |
2005-12-07 | Enrico Tassi | Big commit to let Ferruccio try the merge_coercion... | commit | commitdiff |
2005-11-04 | Enrico Tassi | make profiler silent | commit | commitdiff |
2005-10-07 | Stefano Zacchiroli | added support for MATITA_FLAGS and NODB make variables | commit | commitdiff |
2005-07-27 | Enrico Tassi | fixed matitamake to handle development with names with... | commit | commitdiff |
2005-07-22 | Enrico Tassi | fix | commit | commitdiff |
2005-07-22 | Claudio Sacerdoti... | Big changes: | commit | commitdiff |
2005-07-19 | Enrico Tassi | matitac now automatically cleans a non empty baseuri | commit | commitdiff |
2005-07-13 | Enrico Tassi | matitamake stuff: | commit | commitdiff |