{"push_id":1201748237,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"5cd2324f0250f66db6c8712d8f93f4934df4833d","before":"e164c321f9d0ef19f229d8a95fcab12e1badb02a","commits":[{"sha":"150a6f3356a72119cc66c16196e9a4e002a78394","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[js] Towards more uniform handling of lib files.\n\nWe reduce the amount of special treatment for cma files. There is still\nsome remaining work to be done.\n\nFixes progress event reporting for cma/cmo plugins.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq-serapi/commits/150a6f3356a72119cc66c16196e9a4e002a78394"},{"sha":"329c7c641dea4c902816cee1ce9134df4ba75b41","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[serlib] Serialize Ppextend and Ppannotation\n\nWe support the serialization of \"unparsed\" notations and pretty printing\nannotations. In fact, we could do some useful stuff with it.\n\nWe also improve the support for tactics as a side effects.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq-serapi/commits/329c7c641dea4c902816cee1ce9134df4ba75b41"},{"sha":"5cd2324f0250f66db6c8712d8f93f4934df4833d","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[proto] [print] Add new output format `PpAnn`\n\nThis permits to enjoy (the incomplete) rich annotation support.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq-serapi/commits/5cd2324f0250f66db6c8712d8f93f4934df4833d"}]}
{"actor":{"display_login":"ejgallego"}}