GitHub PushEvent at 2014-01-27 16:21:44
Repository: modal-logic
Actor: tbvdm
Payload: {"shas":[["11609bd31d7051ee31197da1039dd781e6513805","6b2586e0f208662c403cab70f591631852d535a0@xs4all.nl","Update evaluation test.","Tim van der Molen",true]],"size":1,"ref":"refs/heads/basic_modal_logic","head":"11609bd31d7051ee31197da1039dd781e6513805"}