{"push_id":1326237772,"size":3,"distinct_size":3,"ref":"refs/heads/pp_new","head":"be63170ae32239eb024a19614d9f45d08e43b24e","before":"3a1e78bdcf58851ed2015ddaa9d715bf6daf12ec","commits":[{"sha":"65fb39217da14758a0c047156f53ac7c142b74a1","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[feedback] Allow to remove feedback listeners.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq/commits/65fb39217da14758a0c047156f53ac7c142b74a1"},{"sha":"b03e8d47f50aa66c924542e1fccbf5abd089796d","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[pp] Remove console logging from feedback.\n\nThere was an asymmetry between the way console clients were threated.\n\nThis cleans up many parts of Coq, and compartmentalizes console access.\n\n- changes file.\n- Control on flush?\n- allow to add/remove feeders (give us a feeder id)\n- Move Pp_style etc to its proper place (/toplevel)\n  - TODO : simplify color printing\n\n- this PR makes the core of coq finally independent from console access.\n\n  + all console is encapsulated in the toplevel\n  + it critically relies on the ability to serialize coq doc type.\n\n- coqtop has to take console control until feedback is ready.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq/commits/b03e8d47f50aa66c924542e1fccbf5abd089796d"},{"sha":"be63170ae32239eb024a19614d9f45d08e43b24e","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[pp] printing width tricks.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq/commits/be63170ae32239eb024a19614d9f45d08e43b24e"}]}
{"actor":{"display_login":"ejgallego"}}