]>
2001-12-04 | Claudio Sacerdoti... | does_not_occur now handles LetIn correctly (i.e. raisin... | blob | commitdiff | raw |
2001-12-04 | Claudio Sacerdoti... | Error reporting improved. | blob | commitdiff | raw | diff to current |
2001-12-04 | Claudio Sacerdoti... | is_small did not use the environment. Hence the List... | blob | commitdiff | raw | diff to current |
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 |