GitHub PushEvent at 2014-07-16 14:42:36
Repository: HoTT
Actor: JasonGross
Payload: {"shas":[["0dcf825769a2d0bc908e577a482967989d892c16","29bbaec13092d36559e3abc6f27f7d09c395819f@mit.edu","Work around trunk having dependent goals\n\nSince [instantiate (n := ...)] is deprecated in trunk, we shouldn't use\nit.","Jason Gross",true]],"size":1,"ref":"refs/heads/trunk-small-fixes","head":"0dcf825769a2d0bc908e577a482967989d892c16"}