2008-10-22 | Gordon Henriksen | [PR2886] Ignore stderr from ocamlc since it prints... | blob | commitdiff | raw |
2007-12-22 | Gordon Henriksen | Fix a partial application typo. | blob | commitdiff | raw | diff to current |
2007-12-01 | Gordon Henriksen | Fix a typo noticed by Alain Frisch. | blob | commitdiff | raw | diff to current |
2007-10-06 | Gordon Henriksen | Bindings for the verifier. | blob | commitdiff | raw | diff to current |