{"push_id":2642030459,"size":9,"distinct_size":5,"ref":"refs/heads/move/INSTALL.doc","head":"1fe5cdefd9bf0318f8d52ba091d8bbd6c8d65c27","before":"7f257719c2b9e1f193404dfc39b467760b93e437","commits":[{"sha":"46a9d3a4430dc262f78596b4030d6195194c6aee","author":{"name":"Enrico Tassi","email":"4f6d07e2b142da7a8716d1cd541ae44f0d273335@inria.fr"},"message":"[coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)","distinct":false,"url":"https://api.github.com/repos/Zimmi48/coq/commits/46a9d3a4430dc262f78596b4030d6195194c6aee"},{"sha":"c464965df350ab5007d2a1c0d6e625d119abf650","author":{"name":"Hugo Herbelin","email":"6c2d20c0261809f41f8166782e00714227562ada@inria.fr"},"message":"Fixes #7779 (destruct's \"in\" clause was forgetting the possibility of \"eqn\").\n\nThis is a quick fix. Code should be made nicer along these lines:\n- try to pass the name of the variable created by \"mkletin_goal\" in\n  the monad using \"refine_one\";\n- use a disjunctive type of \"inhyps\" to indicate when it is\n  meaningful, rather than using [].","distinct":false,"url":"https://api.github.com/repos/Zimmi48/coq/commits/c464965df350ab5007d2a1c0d6e625d119abf650"},{"sha":"3d30f6f2478cfdcacb0c3c56852230499e83aeea","author":{"name":"Pierre-Marie Pédrot","email":"d45bbc7219d0bd4f68cd1f2123ca07c7ea74db3e@inria.fr"},"message":"Merge PR #7789: Fixes #7779: destruct's \"in\" clause was forgetting the possibility of an \"eqn\" clause","distinct":false,"url":"https://api.github.com/repos/Zimmi48/coq/commits/3d30f6f2478cfdcacb0c3c56852230499e83aeea"},{"sha":"43d6395232632853ba90e6c4dab512e6a862859e","author":{"name":"Théo Zimmermann","email":"6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr"},"message":"Merge PR #7241: [coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)","distinct":false,"url":"https://api.github.com/repos/Zimmi48/coq/commits/43d6395232632853ba90e6c4dab512e6a862859e"},{"sha":"53c5c9b7d1c3fd5cc4ae827b71692963ba6ae4a5","author":{"name":"Théo Zimmermann","email":"6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr"},"message":"Move INSTALL.doc into doc/README.md.\n\nThis will avoid in particular this ambiguous file extension.\n\n[ci skip]","distinct":true,"url":"https://api.github.com/repos/Zimmi48/coq/commits/53c5c9b7d1c3fd5cc4ae827b71692963ba6ae4a5"},{"sha":"413ee64b4354c07ea643b5d77583e916f3800f3e","author":{"name":"Théo Zimmermann","email":"6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr"},"message":"Improve doc/README.md.\n\n- Fix the Markdown.\n- Add link to latest build of the refman for the master branch.\n- Clarify what are the dependencies of the HTML doc.\n\n[ci skip]","distinct":true,"url":"https://api.github.com/repos/Zimmi48/coq/commits/413ee64b4354c07ea643b5d77583e916f3800f3e"},{"sha":"4c06a4130ca3035b7683125e01bb3306c01de6c6","author":{"name":"Théo Zimmermann","email":"6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr"},"message":"Fix copyright dates in doc/LICENSE.\n\n[ci skip]","distinct":true,"url":"https://api.github.com/repos/Zimmi48/coq/commits/4c06a4130ca3035b7683125e01bb3306c01de6c6"},{"sha":"825aecdbcaf7b849e48c285fe5e64c831e5b6517","author":{"name":"Théo Zimmermann","email":"6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr"},"message":"Clarify further doc/README.md following Jim's comments.\n\n[ci skip]","distinct":true,"url":"https://api.github.com/repos/Zimmi48/coq/commits/825aecdbcaf7b849e48c285fe5e64c831e5b6517"},{"sha":"1fe5cdefd9bf0318f8d52ba091d8bbd6c8d65c27","author":{"name":"Théo Zimmermann","email":"6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr"},"message":"Relative links. Cf. #7800.\n\n[ci skip]","distinct":true,"url":"https://api.github.com/repos/Zimmi48/coq/commits/1fe5cdefd9bf0318f8d52ba091d8bbd6c8d65c27"}]}
{"actor":{"display_login":"Zimmi48"}}