{"push_id":2840292318,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"39acea604fe10f29847892e6da7e3f562799a438","before":"f05f7309e37bc50d2d5f3ec1059237d788d00c59","commits":[{"sha":"77b329b51983649f83f8bdf9dea5ce59163e3b91","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Correct Holmakefile for KNametab under Moscow ML","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/77b329b51983649f83f8bdf9dea5ce59163e3b91"},{"sha":"10308a8e27ff0d65f2299dc53c9fc924b8696a16","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Isolate assignment to traces ref in metis code\n\nHide assignment to this reference behind add_trace and set_traces\nfunction calls.","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/10308a8e27ff0d65f2299dc53c9fc924b8696a16"},{"sha":"20bbfd8d7bb23d00e4d6b02092e9323ffe6c4a39","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Clean up some METIS library syntax (semantically a no-op)\n\nMostly deleting redundant infix declarations, but some other random\nreformatting along the way","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/20bbfd8d7bb23d00e4d6b02092e9323ffe6c4a39"},{"sha":"39acea604fe10f29847892e6da7e3f562799a438","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Try to metis calls in parallel map - currently fails\n\nThanks to Thibault Gauthier for bringing this to my attention.\n\nUltimately work towards github #575","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/39acea604fe10f29847892e6da7e3f562799a438"}]}
{"actor":{"display_login":"mn200"}}