{"push_id":1470191712,"size":103,"distinct_size":103,"ref":"refs/heads/master","head":"601f8111ceca58773ffb87ca2e3fe5c547768297","before":"8e1a75a0867ba5e40ad89be884d087b4618e45af","commits":[{"sha":"a4d28813f1263946035917161c7aeb494376a369","author":{"name":"Yves Bertot","email":"886a35dee0cdf1f23be8deeabf7b74ecaa048df2@inria.fr"},"message":"result of a proof-readin pass, with some problems just marked\nas LaTeX comment for later discussion","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/a4d28813f1263946035917161c7aeb494376a369"},{"sha":"9111f19c73e3354ead1dfa8c4d4a2fe75604f94a","author":{"name":"Yves Bertot","email":"886a35dee0cdf1f23be8deeabf7b74ecaa048df2@inria.fr"},"message":"this version takes into account remarks made by A. Giorgetti on\nhttps://github.com/math-comp/mcb/issues/1#issue-175792218 (sep 8, 2016)","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/9111f19c73e3354ead1dfa8c4d4a2fe75604f94a"},{"sha":"10ea600963a3b9d69fdc11e928c35cf700b4cf53","author":{"name":"Yves Bertot","email":"886a35dee0cdf1f23be8deeabf7b74ecaa048df2@inria.fr"},"message":"add a section to treat multiple argument functions and partial application\nbefore treating higher-order functions, as suggested by M. Soegtrop","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/10ea600963a3b9d69fdc11e928c35cf700b4cf53"},{"sha":"6db139703d97268ffa5f49e4f37258485f2e77fe","author":{"name":"Yves Bertot","email":"886a35dee0cdf1f23be8deeabf7b74ecaa048df2@inria.fr"},"message":"integrate most of the remarks of M. Soegtrop concerning boolean values","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/6db139703d97268ffa5f49e4f37258485f2e77fe"},{"sha":"f5fc0936d06fbc120b9219ebce77e3a94519f033","author":{"name":"Yves Bertot","email":"886a35dee0cdf1f23be8deeabf7b74ecaa048df2@inria.fr"},"message":"re-worked the part on sections, abstraction, and symbolic computation\nto take into account my own remarks about this section and M. Soegtrop's","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/f5fc0936d06fbc120b9219ebce77e3a94519f033"},{"sha":"78775b7ff24d910b72594ed4c3cc9d8071b18fdd","author":{"name":"Yves Bertot","email":"886a35dee0cdf1f23be8deeabf7b74ecaa048df2@inria.fr"},"message":"make the reference to the Coq manual more precise (version of Coq)","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/78775b7ff24d910b72594ed4c3cc9d8071b18fdd"},{"sha":"a8af3261672760a8239e09bd9aeb2ccec6609b4a","author":{"name":"Yves Bertot","email":"886a35dee0cdf1f23be8deeabf7b74ecaa048df2@inria.fr"},"message":"clean up some uses of coqout and coqrun.  Adds a section about the let-in\nsyntax.","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/a8af3261672760a8239e09bd9aeb2ccec6609b4a"},{"sha":"5a3bbe01de51e56841e569a1fb15c620b9a058f7","author":{"name":"Yves Bertot","email":"886a35dee0cdf1f23be8deeabf7b74ecaa048df2@inria.fr"},"message":"talk more uniformly about the size of sequences (instead of length)\nremove an unnecessary capital to the word Ring","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/5a3bbe01de51e56841e569a1fb15c620b9a058f7"},{"sha":"bf1fdedcf3b605f4a0ef0503525b4c74f1f1f71a","author":{"name":"Yves Bertot","email":"886a35dee0cdf1f23be8deeabf7b74ecaa048df2@inria.fr"},"message":"adds a very simple exercise in the first chapter","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/bf1fdedcf3b605f4a0ef0503525b4c74f1f1f71a"},{"sha":"e37082bf7518e1beb9b6a7afdd485608a0fccd7e","author":{"name":"Enrico Tassi","email":"29f645c74fce783a847388f2f7f94148b0af9fd7@fettunta.org"},"message":"brainstorming on part 3","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/e37082bf7518e1beb9b6a7afdd485608a0fccd7e"},{"sha":"b4aa18012f4151846f9a2490d8072972b295c0eb","author":{"name":"Cyril Cohen","email":"5f59d4dc5d569d60416c2120185adb5190f62ee7@crans.org"},"message":"very drafty draft of linalg","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/b4aa18012f4151846f9a2490d8072972b295c0eb"},{"sha":"1990b75111d716254c1687a18daf25f5b79cb2ab","author":{"name":"Yves Bertot","email":"886a35dee0cdf1f23be8deeabf7b74ecaa048df2@inria.fr"},"message":"adds explanations on how to get Coq and how to start a math-comp related\nCoq session","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/1990b75111d716254c1687a18daf25f5b79cb2ab"},{"sha":"e9fee105d2f42731c677d957b20f11ef12e7e4a3","author":{"name":"Cyril Cohen","email":"5f59d4dc5d569d60416c2120185adb5190f62ee7@crans.org"},"message":"Todo notes of meeting with Assia","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/e9fee105d2f42731c677d957b20f11ef12e7e4a3"},{"sha":"ad5276f8d7ecc41492bb8205120c8c1516e28bd1","author":{"name":"Cyril Cohen","email":"5f59d4dc5d569d60416c2120185adb5190f62ee7@crans.org"},"message":"discussion notes with Georges and Assia","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/ad5276f8d7ecc41492bb8205120c8c1516e28bd1"},{"sha":"7277a67eee7b52053e4fc36ff5cce868ba5e7e5a","author":{"name":"Cyril Cohen","email":"5f59d4dc5d569d60416c2120185adb5190f62ee7@crans.org"},"message":"more discussion notes + itemize for them","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/7277a67eee7b52053e4fc36ff5cce868ba5e7e5a"},{"sha":"fd2308ccc2f5c883e52221db81580d832e473be1","author":{"name":"Assia Mahboubi","email":"f929b993d639f158a92ba08cc09f365c1fcdcc56@inria.fr"},"message":"Typo in ref.","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/fd2308ccc2f5c883e52221db81580d832e473be1"},{"sha":"4de052ab32029d79866ca09a0cd109256255fdea","author":{"name":"Assia Mahboubi","email":"f929b993d639f158a92ba08cc09f365c1fcdcc56@inria.fr"},"message":"Comments after discussion Assia + Enrico + Georges","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/4de052ab32029d79866ca09a0cd109256255fdea"},{"sha":"99030b172f43fd8ab33d5e4efdaed959cbb893b7","author":{"name":"Assia Mahboubi","email":"f929b993d639f158a92ba08cc09f365c1fcdcc56@inria.fr"},"message":"Proof reading Chapter 1, up to the end of section 1.2.\n\nIncluding a few extra margin notes.","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/99030b172f43fd8ab33d5e4efdaed959cbb893b7"},{"sha":"9e47d11bc82be5539003cb209ca78ebaa8b5058c","author":{"name":"Cyril Cohen","email":"5f59d4dc5d569d60416c2120185adb5190f62ee7@crans.org"},"message":"draft on linear algebra","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/9e47d11bc82be5539003cb209ca78ebaa8b5058c"},{"sha":"e8b24fddaabdeb394448f47ab540330129d37c86","author":{"name":"Assia Mahboubi","email":"f929b993d639f158a92ba08cc09f365c1fcdcc56@inria.fr"},"message":"Modified a label name.","distinct":true,"url":"https://api.github.com/repos/math-comp/mcb/commits/e8b24fddaabdeb394448f47ab540330129d37c86"}]}
{"actor":{"display_login":"amahboubi"}}