projects / helm.git / history
| 2004-02-11 | Stefano Zacchiroli | new logger | blob | commitdiff | raw |
| 2003-12-16 | Stefano Zacchiroli | renamed module "logger" to "cicLogger" to avoid confusi... | blob | commitdiff | raw | diff to current |
| 2003-07-20 | Claudio Sacerdoti... | cic_transformations factorized into cic_omdoc and cic_t... | blob | commitdiff | raw | diff to current |
| 2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | blob | commitdiff | raw | diff to current |
| 2002-04-16 | Claudio Sacerdoti... | Module Logger added. | blob | commitdiff | raw | diff to current |
| 2002-04-16 | Andrea Asperti | 1. CicReduction moved into CicReductionNaif | blob | commitdiff | raw | diff to current |
| 2001-11-29 | Claudio Sacerdoti... | * .mli added where needed | blob | commitdiff | raw | diff to current |
| 2001-11-27 | Claudio Sacerdoti... | 1) .cma/.cmxa used to simplify META files. | blob | commitdiff | raw | diff to current |
| 2001-11-26 | Claudio Sacerdoti... | HELM OCaml libraries with findlib support. | blob | commitdiff | raw | diff to current |