GitHub PushEvent at 2014-10-01 13:28:28
Repository: CategoriesForHomalg
Actor: sebastianpos
Payload: {"shas":[["0fe51055f6cd17ffed6ea2850749ac2df17dbeb8","00f95a1efbc7f36ab99fc5d97005fce728d59625@momo.math.rwth-aachen.de","Renamed EvalUnderlyingObject -> Eval","Sebastian Gutsche",true],["f8a5cf82169250e85bda0f116a6a0ef376b211fb","00f95a1efbc7f36ab99fc5d97005fce728d59625@momo.math.rwth-aachen.de","Renamed DummyLazy -> Lazy","Sebastian Gutsche",true],["0a1fef06c600506439373ff177992f1603fec89f","526bcb87dc3774eb958b4875dd06e40cbe566cbe@rwth-aachen.de","Lazy category: methods for kernel lift","Sebastian Posur",true]],"size":3,"ref":"refs/heads/master","head":"0a1fef06c600506439373ff177992f1603fec89f"}