{"push_id":587242610,"size":28,"distinct_size":28,"ref":"refs/heads/master","head":"662cdd86b54e771d55a113aaa6e9dcc483fa59b6","before":"5c551bcfe1694131832c2153fda078661b40bdb3","commits":[{"sha":"74987d61312d8ece7f3e0d65e9a01488438ba140","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"mikeshulman"},"message":"add an explicit topological example to remark 1.12.1","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/74987d61312d8ece7f3e0d65e9a01488438ba140"},{"sha":"18f7224544c3075f26507c75fbae034652eb7763","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"mikeshulman"},"message":"improve wording in 1.12.1","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/18f7224544c3075f26507c75fbae034652eb7763"},{"sha":"60fd004f2294e0d79679c5b149bd741052e95196","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"mikeshulman"},"message":"Exercise 4.4(ii) has an easy generalization","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/60fd004f2294e0d79679c5b149bd741052e95196"},{"sha":"fed062c0aac0cc5a460b393c8e089b6a1d962376","author":{"email":"3654684dd5567334ff7f4ad5b220ec3e024bfb76@web.de","name":"Ingo Blechschmidt"},"message":"Fixed several tiny (non-mathematical) typos","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/fed062c0aac0cc5a460b393c8e089b6a1d962376"},{"sha":"48a7c2f06b881b18b21eaca147534ac6df1be002","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"Merge pull request #750 from andrejbauer/master\n\nInsert punctuations, as a replacement this closes #749","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/48a7c2f06b881b18b21eaca147534ac6df1be002"},{"sha":"b99beac396b53bced6eb4346c1d0b7c1d0cc9d15","author":{"email":"2f62bff9a9877e9468d9dd6018bcda4721bd8fa1@gmail.com","name":"Pierre-Yves Gaillard"},"message":"Changed version.txt to version.tex  (twice)\n\nChanged version.txt to version.tex  (twice).","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/b99beac396b53bced6eb4346c1d0b7c1d0cc9d15"},{"sha":"2107947b2890cd1673e450a4bec074046cd484a8","author":{"email":"3654684dd5567334ff7f4ad5b220ec3e024bfb76@web.de","name":"Ingo Blechschmidt"},"message":"corrections as per PR comments in issue #751","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/2107947b2890cd1673e450a4bec074046cd484a8"},{"sha":"65d8c029a5e800cc3ce28725f62a3b6aad5fefea","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"Merge pull request #752 from Pierre-Yves-Gaillard/patch-4\n\nChanged version.txt to version.tex  (twice)","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/65d8c029a5e800cc3ce28725f62a3b6aad5fefea"},{"sha":"023a7a02f78d03c0f4d7f4cfdd21c2c5ac4a7735","author":{"email":"3654684dd5567334ff7f4ad5b220ec3e024bfb76@web.de","name":"Ingo Blechschmidt"},"message":"restored original bracketing, as per discussion the pull request","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/023a7a02f78d03c0f4d7f4cfdd21c2c5ac4a7735"},{"sha":"a446f3a9abfbb72d016a2f85685df037a6a0c1b4","author":{"email":"2f62bff9a9877e9468d9dd6018bcda4721bd8fa1@gmail.com","name":"Pierre-Yves Gaillard"},"message":"Punctuation\n\nAdded a period.","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/a446f3a9abfbb72d016a2f85685df037a6a0c1b4"},{"sha":"5f36151ce86eddedfed086e4808c0b5e63d705b8","author":{"email":"2f62bff9a9877e9468d9dd6018bcda4721bd8fa1@gmail.com","name":"Pierre-Yves Gaillard"},"message":"Punctuation\n\nAdded a period and a space.","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/5f36151ce86eddedfed086e4808c0b5e63d705b8"},{"sha":"b2ab4db6d1059b0a1cd17289fa80a04788f40302","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"Merge pull request #754 from Pierre-Yves-Gaillard/patch-6\n\nPunctuation","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/b2ab4db6d1059b0a1cd17289fa80a04788f40302"},{"sha":"676d461ac2ed8e4ad3575d73b0a0dc49aee8d39e","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"Merge pull request #755 from Pierre-Yves-Gaillard/patch-7\n\nPunctuation","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/676d461ac2ed8e4ad3575d73b0a0dc49aee8d39e"},{"sha":"ac32ee08fe6dfec344b2bbd6d7514afc38b62e61","author":{"email":"3654684dd5567334ff7f4ad5b220ec3e024bfb76@web.de","name":"Ingo Blechschmidt"},"message":"Made the visible URL's fixed-width","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/ac32ee08fe6dfec344b2bbd6d7514afc38b62e61"},{"sha":"0cb658ef435d4c2e2ca53a05982546c234e3d489","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"Merge pull request #751 from iblech/patch-1\n\nFixed several tiny (non-mathematical) typos","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/0cb658ef435d4c2e2ca53a05982546c234e3d489"},{"sha":"2c9b4bcc53c78cee91464031b32d7ea8ef0e95aa","author":{"email":"1fb13b1f48f1e85dffd6bab984b7c9632373a49b@travis.fake","name":"Travis-CI Bot"},"message":"Mark Errata (auto)","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/2c9b4bcc53c78cee91464031b32d7ea8ef0e95aa"},{"sha":"27d705ccba8178ffb9eff08e8ece0ba2c84e2bd4","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"P in the flattening lemma is defined *recursively*, not inductively\n(unless I'm crazy)","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/27d705ccba8178ffb9eff08e8ece0ba2c84e2bd4"},{"sha":"842eb79f9ad9e6d18ec49c913fc349a26f9dfc5d","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge pull request #728 from mikeshulman/punctured-disc\n\nadd an explicit topological example to remark 1.12.1","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/842eb79f9ad9e6d18ec49c913fc349a26f9dfc5d"},{"sha":"e02f8fd2189bc281d2999571beb1510c3a07fa3a","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge pull request #757 from mikeshulman/flattening-typo\n\nP in the flattening lemma is defined *recursively*, not inductively","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/e02f8fd2189bc281d2999571beb1510c3a07fa3a"},{"sha":"9b3dc77fc379f56e83f72ae1a5ab0280f6187525","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge pull request #732 from mikeshulman/exercise4.4\n\nExercise 4.4(ii) has an easy generalization","distinct":true,"url":"https://api.github.com/repos/andrejbauer/book/commits/9b3dc77fc379f56e83f72ae1a5ab0280f6187525"}]}