{"push_id":2926482104,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"91e0ea8531708ff79774208a2b1eb18063357a9d","before":"7f4882e5e8fb3138c2181805115357218ec7c060","commits":[{"sha":"bf991ee728a4ef9277c046427a3b419b095753b1","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"unbounded tracing for proper termination, e.g. relevant for theory Sequents.Hard_Quantifiers;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/bf991ee728a4ef9277c046427a3b419b095753b1"},{"sha":"e37ed16065513a53a1d3d8d6322fc62558e3827e","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"reduce tracing messages to make it work in PIDE session;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/e37ed16065513a53a1d3d8d6322fc62558e3827e"},{"sha":"7d8d1fbf744e13d65f7c8b926e39cbc777794c11","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"explicit group \"no_doc\" for unfinished documentation, allows to suppress everything uniformly: -X doc -X no_doc;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/7d8d1fbf744e13d65f7c8b926e39cbc777794c11"},{"sha":"91e0ea8531708ff79774208a2b1eb18063357a9d","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"updated windows_app to launch4j 3.12: \"fully supports Java 9 and newer\";","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/91e0ea8531708ff79774208a2b1eb18063357a9d"}]}
{"actor":{"display_login":"larsrh"}}