GitHub PushEvent at 2014-04-21 11:21:02
Repository: Triangles
Actor: rs-
Payload: {"shas":[["da400b084184a33f8d8dc5ce6bf933dd11201680","1a71e9d346860fd037947505b1b422a8e3d08ffd@gmail.com","Various refactorings","rs-",true],["25322ec55b93af0191bb858c35eccf0984987640","1a71e9d346860fd037947505b1b422a8e3d08ffd@gmail.com","[Rename] redec --> cosubst for streams","rs-",true],["498971887b51eb9f5facead8c75f0a4f1a9fe68c","1a71e9d346860fd037947505b1b422a8e3d08ffd@gmail.com","Update coq documentation","rs-",true],["11ba44b523443ab0962fd34708c14d297cae7c0b","1a71e9d346860fd037947505b1b422a8e3d08ffd@gmail.com","Re-organized coqdoc documentation generation assets","rs-",true]],"size":4,"ref":"refs/heads/master","head":"11ba44b523443ab0962fd34708c14d297cae7c0b"}