GitHub PushEvent at 2014-07-23 09:32:39
Repository: overture
Actor: gkanos
Payload: {"shas":[["78827b2a74391c847302be32ad35ffcd497eb7f2","f0f72e4d2e82144c7d4bf47f0418fc46253f3911@gmail.com","added the forall exp method.","George Kanakis",true],["c9a1b22882d74ade0d82d8eaef5e8cce500980d9","f0f72e4d2e82144c7d4bf47f0418fc46253f3911@gmail.com","fixing to method forall\n+tests","George Kanakis",true]],"size":2,"ref":"refs/heads/prettyprinter","head":"c9a1b22882d74ade0d82d8eaef5e8cce500980d9"}