GitHub PushEvent at 2014-11-27 16:53:18
Repository: abella
Actor: chaudhuri
Payload: {"shas":[["c1c80ec4b0073fcdd3c3d7d4165f9552311fd9fd","aea54e98d5955ce7782e0e0e08db1a26110243e5@inria.fr","wip: cleanup of prover.ml","Kaustuv Chaudhuri",true]],"size":1,"ref":"refs/heads/tactics_cleanup","head":"c1c80ec4b0073fcdd3c3d7d4165f9552311fd9fd"}