agacek/abella — pull request #4 by chaudhuri (2012-03-21 14:45:09+00:00)
Title: Tactics improvements

Variant of earlier pull request without ocamlbuild