GitHub PushEvent at 2014-02-23 18:32:53
Repository: pi-dual
Actor: JacquesCarette
Payload: {"shas":[["39143f6457febb375c2748c524e3551a46b945e6","67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","rename HoTT so that it does no conflict with the HoTT-Agda library (which is also in my path)","Jacques Carette",true],["b698af1a322a7f611af4b1dbbe93da9a7e7cde2b","67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","start re-splitting, as Sane is no longer sane, and is hard to navigate","Jacques Carette",true],["377ec0b3109001ad035f59683933c0e137415521","67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","split off Nat functions","Jacques Carette",true],["a85364ffc56b76d0f02040f9096fb8f679dca9f6","67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","remove these completely stale files, as they are just misleading","Jacques Carette",true],["83c27276129ea45f703f47a701da0f07d80426ab","67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","remove redundant import","Jacques Carette",true],["9a1d5075c2ac52551880aea9004def69e403871b","67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","more cleaning up","Jacques Carette",true]],"size":6,"ref":"refs/heads/master","head":"9a1d5075c2ac52551880aea9004def69e403871b"}