GitHub PushEvent at 2014-06-14 19:57:02
Repository: modal-logic
Actor: tbvdm
Payload: {"shas":[["f394800f712e39338a062e1368dec6f8023c3dd6","6b2586e0f208662c403cab70f591631852d535a0@xs4all.nl","Use the new tableau_expand_do().","Tim van der Molen",true]],"size":1,"ref":"refs/heads/master","head":"f394800f712e39338a062e1368dec6f8023c3dd6"}