{"push_id":708176601,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"e58568cf9fbd9374cd3239df5b57681a3242fcdf","before":"cc3b403898c5cf87a5cc1674fae4e66d3730f3b6","commits":[{"sha":"3caaeceaaf2674ce2270edd52a7d0b2a7f351eb3","author":{"email":"167b80cf6a6bc34b0e1646fc9262c652023f8750@soton.ac.uk","name":"David Monks"},"message":"added figures for operators, fixed EBNF templating (moved EBNF environment definition to the template folder, moved include to the article template to avoid the pagebreak), added the Axiom environment missing from Nick's last commit","distinct":true,"url":"https://api.github.com/repos/scalen/CoDeR4/commits/3caaeceaaf2674ce2270edd52a7d0b2a7f351eb3"},{"sha":"8a355a9c9c08c53f1684bb47fd324d9b18b903b7","author":{"email":"167b80cf6a6bc34b0e1646fc9262c652023f8750@soton.ac.uk","name":"David Monks"},"message":"changed the Hypothesis environment to a theorem environment","distinct":true,"url":"https://api.github.com/repos/scalen/CoDeR4/commits/8a355a9c9c08c53f1684bb47fd324d9b18b903b7"},{"sha":"e58568cf9fbd9374cd3239df5b57681a3242fcdf","author":{"email":"167b80cf6a6bc34b0e1646fc9262c652023f8750@soton.ac.uk","name":"David Monks"},"message":"Merge branch 'master' of github.com:scalen/CoDeR4\nreformatted edits\n\nConflicts:\n\tcontent/contribution/continuous-datalog.tex\n\ttemplate/article.tex","distinct":true,"url":"https://api.github.com/repos/scalen/CoDeR4/commits/e58568cf9fbd9374cd3239df5b57681a3242fcdf"}]}