{"push_id":2094119263,"size":17,"distinct_size":17,"ref":"refs/heads/master","head":"e937c13985db8c6aae0015fcad32ca64b3426e84","before":"08c150cda8834166fcaaf17154ef276de138d40a","commits":[{"sha":"0cd86488be4ca7ab94d8b73827d83f5e9b8beb1a","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/0cd86488be4ca7ab94d8b73827d83f5e9b8beb1a"},{"sha":"78c6d77ec0475d2777dd9d214a2965a55249f596","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"tuned diagram;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/78c6d77ec0475d2777dd9d214a2965a55249f596"},{"sha":"a298c96789f26ab9b4d1915b32f8c09384fbe5ce","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"no heap sharing for empty session (e.g. HOL-ODE);","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/a298c96789f26ab9b4d1915b32f8c09384fbe5ce"},{"sha":"f624afafbd89fc922044e4cf484b5db7e5d7fc2b","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"added isabelle jedit options -B, -P, clarified -R;\nmisc tuning and clarification;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/f624afafbd89fc922044e4cf484b5db7e5d7fc2b"},{"sha":"a8156b8d8fded6c339be0f94970a987eaccbcce3","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"avoid duplicate invocation of expensive Sessions.deps on full_sessions;\ntuned;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/a8156b8d8fded6c339be0f94970a987eaccbcce3"},{"sha":"142d6be745bcc4a8a7607f108ff2a1fb458ccb69","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"do not store bulky Session.Deps;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/142d6be745bcc4a8a7607f108ff2a1fb458ccb69"},{"sha":"8f0a2b86cfabad840c7716a1dd87130eec864f4d","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"tuned signature;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/8f0a2b86cfabad840c7716a1dd87130eec864f4d"},{"sha":"623e7c33be4c3fe12ffc698b6413be3fe8ba39e7","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"clarified terminology;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/623e7c33be4c3fe12ffc698b6413be3fe8ba39e7"},{"sha":"fcc011b1584df1b31cdc3a97007ac3c1df8b96a2","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"logic_selector refers to raw logic name;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/fcc011b1584df1b31cdc3a97007ac3c1df8b96a2"},{"sha":"87cf4db1d3292edb3157cb518d39e572f16e6a2a","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"tuned;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/87cf4db1d3292edb3157cb518d39e572f16e6a2a"},{"sha":"c11ff1674e3bffc42e1723ea43ba7ad0a51677b7","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"tuned output;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/c11ff1674e3bffc42e1723ea43ba7ad0a51677b7"},{"sha":"39d1234030cda5946950e97fe1685bd9b0a713f0","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"proper order for entries from multiple profiles, notably \"AFP\";","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/39d1234030cda5946950e97fe1685bd9b0a713f0"},{"sha":"20c3ef380d40c14e2b2d4c422403855d50a20698","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"build faster without heap images for minor imports;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/20c3ef380d40c14e2b2d4c422403855d50a20698"},{"sha":"a37069b819ea741b5478ab73b018eb33c35a3728","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"proper merge (amending fb46c031c841);","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/a37069b819ea741b5478ab73b018eb33c35a3728"},{"sha":"11f64cfa248240ecc38cb35052b6e14608e5557f","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"init only once (see also c0f776b661fa);","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/11f64cfa248240ecc38cb35052b6e14608e5557f"},{"sha":"145c48819754ac8d00ad97185bcb5215afeb603d","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"tuned;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/145c48819754ac8d00ad97185bcb5215afeb603d"},{"sha":"e937c13985db8c6aae0015fcad32ca64b3426e84","author":{"name":"wenzelm","email":"bf4c2d1342d3d69b8294393212ff62ecde8da431"},"message":"more timing;","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/mirror-isabelle/commits/e937c13985db8c6aae0015fcad32ca64b3426e84"}]}
{"actor":{"display_login":"larsrh"}}