GitHub PushEvent at 2014-06-29 17:09:34
Repository: hott-book
Actor: bjmprice
Payload: {"shas":[["e6a58dd3fd89712c0e5d96c1ded4061b6a577bd3","5ee0edb9e2229c0838f1959779f1949031de0123@cs.uni-potsdam.de","typo: Getzen","Tim Richter",true],["2ac8b2b62b4a06e0905d8fe5eed06fe4d3cc7bc4","7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","Merge pull request #478 from TimRichter/getzen\n\ntypo: Getzen","Bas Spitters",true],["7ea2ff4460f9a87c41c5958b0ff173619e9e40ce","5ee0edb9e2229c0838f1959779f1949031de0123@cs.uni-potsdam.de","point view -> point of view (twice)","Tim Richter",true],["80bae36a17f73daf00d8ddabe183b3353a99d272","cba0fef17285386956737483f829171a211b13d9@gmail.com","Merge pull request #477 from bjmprice/master\n\nTypo basics.tex : litle -> little","Mike Shulman",true],["8a26f6a0161bb198596b07c72384e7947dd0dd53","cba0fef17285386956737483f829171a211b13d9@gmail.com","Merge pull request #479 from TimRichter/pointview\n\npoint view -> point of view (twice)","Mike Shulman",true],["83d02bafcdb3cf3d8ea9ff12a132571adfe94277","5ee0edb9e2229c0838f1959779f1949031de0123@cs.uni-potsdam.de","type of ap_f in Lemma 2.2.1","Tim Richter",true],["8ff8a7fb252a0c0f50ca55e6628790f8e9a91a06","5ee0edb9e2229c0838f1959779f1949031de0123@cs.uni-potsdam.de","Errata for 83d02ba, unmarked","Tim Richter",true],["abb68a805179867b536eea00253cb933c7d37e07","cba0fef17285386956737483f829171a211b13d9@gmail.com","mark errata for 83d02ba","Mike Shulman",true],["4e1c688526a4fa719f68dea04586b8805e197fb9","cabe5a9cbb7f8c7d32e2fd1ab0300a8e38ec67c7@cs.cmu.edu","correct unit elimination rule\n\nThe unit elimination rule had a spurious additional bound variable that has been removed.","Robert Harper",true],["3d6549cfe0810f9063f84aaf88cd583ba7cb823e","cabe5a9cbb7f8c7d32e2fd1ab0300a8e38ec67c7@cs.cmu.edu","notation for left- and right-whiskering\n\nit seems preferable to use a sans-serif subscript to indicate left- and right-whiskering.  prior to this change the subscripts used in the eckmann-hilton proof conflict with the use of l and r as variables.","Robert Harper",true],["4ae69312057133a6c239600e1c2beae151a510b4","69088b01848c9e171296e8a6c10279802a3a8a84@carloangiuli.com","(Marked) errata for the correction of the unit elimination rule.","Carlo Angiuli",true],["9b8a4b6d74daddb75ca268e793bfcbc0b268e37b","5ee0edb9e2229c0838f1959779f1949031de0123@cs.uni-potsdam.de","be more specific in the definition of the equivalences relating ap_f and apd_f","Tim Richter",true],["28856b0e608b8cdc1975209eab2e50fd3b70a52f","5ee0edb9e2229c0838f1959779f1949031de0123@cs.uni-potsdam.de","Errata for 9b8a4b6d, unmarked","Tim Richter",true],["6efd7249de3f3d450ee0f0019dd12960b0b84b83","cba0fef17285386956737483f829171a211b13d9@gmail.com","Merge pull request #483 from TimRichter/transportconst\n\nbe more specific in the definition of the equivalences relating ap_f and apd_f","Mike Shulman",true],["6e9005ae5e5883b6a9ceef2d839d070531729e5a","cba0fef17285386956737483f829171a211b13d9@gmail.com","mark errata for 9b8a4b6d","Mike Shulman",true],["ea6bd86c3ea642485eb208f8c0a4eb5c1e799345","67c1497eb7117ddd42d94ffde1d8e7dd61b86568@gmail.com","fixed bracketing","Egbert Rijke",true],["dfc324834c2afc393d1a28b522de3e7dab047908","5ee0edb9e2229c0838f1959779f1949031de0123@cs.uni-potsdam.de","typo in thm:trans-prod","Tim Richter",true],["b936b98e95c2b28b3ad7b15e4772e620cb19d093","5ee0edb9e2229c0838f1959779f1949031de0123@cs.uni-potsdam.de","Errata for dfc3248, unmarked","Tim Richter",true],["4048630583477a8187fd61e4f132919677077d7d","9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","Revert \"fixed bracketing\" because it breaks the ebook version.\n\nThis reverts commit ea6bd86c3ea642485eb208f8c0a4eb5c1e799345.","Andrej Bauer",true],["cf5e3f367254346ef61415923c341558f72e50f2","cba0fef17285386956737483f829171a211b13d9@gmail.com","improved \\prd and \\sm magic","Mike Shulman",true]],"size":406,"ref":"refs/heads/master","head":"275d6360096a9d886b7abb1e9f2e152cd7b7cf0b"}