GitHub PushEvent at 2014-04-23 05:35:13
Repository: HoTT
Actor: JasonGross
Payload: {"shas":[["6521f492e6a5a909c64e9ec06a58e1ba347ec114","29bbaec13092d36559e3abc6f27f7d09c395819f@mit.edu","Define Type0 to mean Set","Jason Gross",false],["c9b0a758c368c236cb63c3940cd1d59c57684bab","9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","Merge pull request #375 from JasonGross/set-notation\n\nDefine Type0 to mean Set","Andrej Bauer",false],["77194560b4102ad24b0b8f593cfffbeb6b419060","1fb13b1f48f1e85dffd6bab984b7c9632373a49b@travis.fake","./autogen.sh","Travis-CI Bot",true]],"size":3,"ref":"refs/heads/master-with-autoreconf-files","head":"77194560b4102ad24b0b8f593cfffbeb6b419060"}