{"push_id":2793480245,"size":14,"distinct_size":2,"ref":"refs/heads/colins_playground","head":"9c7805f38df6f0d23814c2367071aaced50c4c7d","before":"fd18e9b8ea422920f7970899fff452f1174ae5c9","commits":[{"sha":"dbebd5e661a195028eac60703b95b7dd5d07ac0a","author":{"name":"Makarius","email":"6476496d24188c65e27fc67b9d87fa17fd9a5d2f@sketis.net"},"message":"Isabelle component settings","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/dbebd5e661a195028eac60703b95b7dd5d07ac0a"},{"sha":"a00bd47404b65982a97bd652aeb28d1ae8528548","author":{"name":"Makarius","email":"6476496d24188c65e27fc67b9d87fa17fd9a5d2f@sketis.net"},"message":"build and deploy MMT, using sbt","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/a00bd47404b65982a97bd652aeb28d1ae8528548"},{"sha":"dec067dad654ee98934ec364538c96d496bc3080","author":{"name":"Makarius","email":"6476496d24188c65e27fc67b9d87fa17fd9a5d2f@sketis.net"},"message":"tuned","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/dec067dad654ee98934ec364538c96d496bc3080"},{"sha":"8da23eb2ae8ddf53fb9af7e9107af6a22c621734","author":{"name":"Makarius","email":"6476496d24188c65e27fc67b9d87fa17fd9a5d2f@sketis.net"},"message":"setup for command-line tool \"isabelle mmt_import\"","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/8da23eb2ae8ddf53fb9af7e9107af6a22c621734"},{"sha":"acfd01c0acde5834ad81820bac2796cef39956ed","author":{"name":"Makarius","email":"6476496d24188c65e27fc67b9d87fa17fd9a5d2f@sketis.net"},"message":"import sessions via arguments file (JSON)","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/acfd01c0acde5834ad81820bac2796cef39956ed"},{"sha":"740be18169341de40db41d00f8a3cec12f6dd4cf","author":{"name":"Makarius","email":"6476496d24188c65e27fc67b9d87fa17fd9a5d2f@sketis.net"},"message":"removed obsolete test setup","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/740be18169341de40db41d00f8a3cec12f6dd4cf"},{"sha":"c8f842b13259af118728b21f770b49a1c8286462","author":{"name":"Makarius","email":"6476496d24188c65e27fc67b9d87fa17fd9a5d2f@sketis.net"},"message":"clarified tool setup and examples","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/c8f842b13259af118728b21f770b49a1c8286462"},{"sha":"5c3adc917daf30990b2438214c88892afc65e6ec","author":{"name":"Makarius","email":"6476496d24188c65e27fc67b9d87fa17fd9a5d2f@sketis.net"},"message":"proper select_dirs","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/5c3adc917daf30990b2438214c88892afc65e6ec"},{"sha":"2f4984bd6d783303636f92fc828d7414fa84f2b9","author":{"name":"Makarius","email":"6476496d24188c65e27fc67b9d87fa17fd9a5d2f@sketis.net"},"message":"Isabelle tool setup for MMT shell","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/2f4984bd6d783303636f92fc828d7414fa84f2b9"},{"sha":"85f323a2c539f5a8b3d7bb61c45efc14e10be654","author":{"name":"Makarius","email":"6476496d24188c65e27fc67b9d87fa17fd9a5d2f@sketis.net"},"message":"simplified Isabelle tool setup","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/85f323a2c539f5a8b3d7bb61c45efc14e10be654"},{"sha":"3c67b0c395f86303278a9f7465dbdfa80afd17bc","author":{"name":"Makarius","email":"6476496d24188c65e27fc67b9d87fa17fd9a5d2f@sketis.net"},"message":"clarified name, e.g. for log messages","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/3c67b0c395f86303278a9f7465dbdfa80afd17bc"},{"sha":"bfa07465702d25123465114cd5fbe684ca283171","author":{"name":"Makarius","email":"6476496d24188c65e27fc67b9d87fa17fd9a5d2f@sketis.net"},"message":"avoid collapse of qualified names, e.g. ZF.AC, ZF.Arith","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/bfa07465702d25123465114cd5fbe684ca283171"},{"sha":"e3e4067a1fb1b4ee343cbee252d96cd34db3190d","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"First hacky implementation for record types. Cleanup and testing needed.","distinct":true,"url":"https://api.github.com/repos/UniFormal/MMT/commits/e3e4067a1fb1b4ee343cbee252d96cd34db3190d"},{"sha":"9c7805f38df6f0d23814c2367071aaced50c4c7d","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Merge branch 'devel' of https://github.com/UniFormal/MMT into colins_playground","distinct":true,"url":"https://api.github.com/repos/UniFormal/MMT/commits/9c7805f38df6f0d23814c2367071aaced50c4c7d"}]}
{"actor":{"display_login":"ColinRothgang"}}