{"push_id":1938133282,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"70cf6ba7405270dfa9fe3d97c9a2c5c4f02a92cc","before":"0f8617a11bf372e042bba5daac39897d5bef402d","commits":[{"sha":"e94b63b1d133d0cb1fbdf17f910f062744e73efd","author":{"name":"Lars Hupel","email":"00274e5437e8aa7d936f1a3a39420ac8d2553aeb@mytum.de"},"message":"output syntax for pattern aliases","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/e94b63b1d133d0cb1fbdf17f910f062744e73efd"},{"sha":"4981d9d909a6f79a1b79cf03be0ad94878e6a8ba","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"tuned;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/4981d9d909a6f79a1b79cf03be0ad94878e6a8ba"},{"sha":"b61e5f9daf8d6a9d418eef22c0623d61686b9202","author":{"name":"Lars Hupel","email":"00274e5437e8aa7d936f1a3a39420ac8d2553aeb@mytum.de"},"message":"tuned syntax","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/b61e5f9daf8d6a9d418eef22c0623d61686b9202"},{"sha":"ffcbfe6699e02056e8d74523c399a2914e1ae567","author":{"name":"Lars Hupel","email":"00274e5437e8aa7d936f1a3a39420ac8d2553aeb@mytum.de"},"message":"merged","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/ffcbfe6699e02056e8d74523c399a2914e1ae567"},{"sha":"e681b2ca46ce3917bedd2f1d0c7d7808ee711529","author":{"name":"Lars Hupel","email":"00274e5437e8aa7d936f1a3a39420ac8d2553aeb@mytum.de"},"message":"tuned","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/e681b2ca46ce3917bedd2f1d0c7d7808ee711529"},{"sha":"70cf6ba7405270dfa9fe3d97c9a2c5c4f02a92cc","author":{"name":"Manuel Eberl","email":"fd35e52c0a0acdc94798b332c8475eea6e525312@in.tum.de"},"message":"Lemmas about analysis and permutations","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/70cf6ba7405270dfa9fe3d97c9a2c5c4f02a92cc"}]}
{"actor":{"display_login":"larsrh"}}