]>
2001-12-04 | Claudio Sacerdoti... | is_small did not use the environment. Hence the List... | blob | commitdiff | raw |
2001-12-04 | Claudio Sacerdoti... | decast must also perform LetIn reduction now. | blob | commitdiff | raw | diff to current |
2001-12-03 | Claudio Sacerdoti... | * Major code cleanup. | blob | commitdiff | raw | diff to current |
2001-11-30 | Claudio Sacerdoti... | Exception management improved. | blob | commitdiff | raw | diff to current |
2001-11-26 | Claudio Sacerdoti... | HELM OCaml libraries with findlib support. | blob | commitdiff | raw | diff to current |