{"push_id":564233094,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"260c90630c0b298c448871fcbb2090f4f6b342fc","before":"6f4036a5cd202839e8e7d9f07b99d516f573d5a9","commits":[{"sha":"113cb7537dd5e49db4a6c35f49b46eddcd6a51e6","author":{"email":"60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org","name":"gallais"},"message":"[ new ] more examples\n\nThe index page of the wee website will point to this `examples` page\nso let's add a few comments","distinct":true,"url":"https://api.github.com/repos/gallais/proof-search-ILLWiL/commits/113cb7537dd5e49db4a6c35f49b46eddcd6a51e6"},{"sha":"260c90630c0b298c448871fcbb2090f4f6b342fc","author":{"email":"60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org","name":"gallais"},"message":"[ travis ] using travis to build the project\n\nWe need a rather recent version of Agda so I fetch the one I build using\na travis instance running on the dev version which I host on dropbox.\n\nThe lipics cls needs to be patched to remove inputenc which is incompatible\nwith xelatex and would make the build fail otherwise.\n\nAlso, we need a patched version of polytable playing nice with unicode-\nmath (see: https://github.com/kosmikus/lhs2tex/issues/29).\n\nFinally, index.md is used to generate a wee webpage pointing at the pdfs\nand the html documentation.","distinct":true,"url":"https://api.github.com/repos/gallais/proof-search-ILLWiL/commits/260c90630c0b298c448871fcbb2090f4f6b342fc"}]}