{"push_id":3125149783,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"b6b4c844b300cdb3bec1782f64e47f737dd7a863","before":"9a39dac51c8aa4ec78214aa7bd973b779cde0c4b","commits":[{"sha":"b18709e932cdae963dffb44fcecf63ef38a5bb89","author":{"name":"wenzelm","email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none"},"message":"clarified names;\n\n--HG--\nrename : Admin/isabelle_fonts/IsabelleText.sfd => Admin/isabelle_fonts/IsabelleSymbols.sfd\nrename : Admin/isabelle_fonts/IsabelleTextBold.sfd => Admin/isabelle_fonts/IsabelleSymbolsBold.sfd","distinct":true,"url":"https://api.github.com/repos/seL4/isabelle/commits/b18709e932cdae963dffb44fcecf63ef38a5bb89"},{"sha":"a1f97411f2c07f9f9d5712b698f5dd41b36a167d","author":{"name":"wenzelm","email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none"},"message":"more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);","distinct":true,"url":"https://api.github.com/repos/seL4/isabelle/commits/a1f97411f2c07f9f9d5712b698f5dd41b36a167d"},{"sha":"19adf5868e71aae78c9abfc2f37a495269ec28e2","author":{"name":"wenzelm","email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none"},"message":"updated to scala-2.12.8;","distinct":true,"url":"https://api.github.com/repos/seL4/isabelle/commits/19adf5868e71aae78c9abfc2f37a495269ec28e2"},{"sha":"b6b4c844b300cdb3bec1782f64e47f737dd7a863","author":{"name":"wenzelm","email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none"},"message":"tuned message;","distinct":true,"url":"https://api.github.com/repos/seL4/isabelle/commits/b6b4c844b300cdb3bec1782f64e47f737dd7a863"}]}
{"actor":{"display_login":"ssrg-bamboo"}}