{"push_id":3155721121,"size":19,"distinct_size":2,"ref":"refs/heads/devel","head":"8b9a028067221db1d0e2c089e2d4eb7eef31355c","before":"b75848a5abe63f2931117696025ecc0f87e04472","commits":[{"sha":"975abe579f76cbe0b21565eeb33bcf6b8c256147","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Adapted implementation, to deal with dependentyl-typed declarations.","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/975abe579f76cbe0b21565eeb33bcf6b8c256147"},{"sha":"c8faa5f7a17399698c63aba0966b1da9924a5024","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Merge branch 'devel' of https://github.com/UniFormal/MMT into devel","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/c8faa5f7a17399698c63aba0966b1da9924a5024"},{"sha":"c0637b93c7b2cbb03cc7803ed250ec6fc26f9a32","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Added check to detect arguments in negative positions to the inductive type feature.","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/c0637b93c7b2cbb03cc7803ed250ec6fc26f9a32"},{"sha":"3689722d84e2a034b47105a74c6e0e8f28edf9bd","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Merge branch 'devel' of https://github.com/UniFormal/MMT into colins_playground","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/3689722d84e2a034b47105a74c6e0e8f28edf9bd"},{"sha":"19f8e4768accf6ee9d3e5866fbedd069df5f9087","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Fix of the injectivity declarations.","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/19f8e4768accf6ee9d3e5866fbedd069df5f9087"},{"sha":"5dacda3e38260438b9423ffca6c89af2dabb64e5","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Merge branch 'devel' of https://github.com/UniFormal/MMT into colins_playground","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/5dacda3e38260438b9423ffca6c89af2dabb64e5"},{"sha":"5a5475127006c7573000f3939c040b138f0e9bdf","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Merge branch 'devel' of https://github.com/UniFormal/MMT into devel","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/5a5475127006c7573000f3939c040b138f0e9bdf"},{"sha":"677aaca78f8d609a38dfd248fe53e4370e72b103","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Merge branch 'colins_playground' into devel","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/677aaca78f8d609a38dfd248fe53e4370e72b103"},{"sha":"04c590083acceb3c35fc7f3dcdb4cfa57ea539ef","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Various fixes.","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/04c590083acceb3c35fc7f3dcdb4cfa57ea539ef"},{"sha":"873ec588bef7890b3a647e463aace53f2159613c","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Merge branch 'devel' of https://github.com/UniFormal/MMT into devel","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/873ec588bef7890b3a647e463aace53f2159613c"},{"sha":"f32b02968f59d0cc6c6d3414b3fdbe498628b049","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"trying to fix missing theory parameter arguments to typelevels and constructors in the elaboration. Not yet done.","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/f32b02968f59d0cc6c6d3414b3fdbe498628b049"},{"sha":"d2fe36e387087401b896d6f4f0b2b320bc218a11","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Fixes.","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/d2fe36e387087401b896d6f4f0b2b320bc218a11"},{"sha":"348ae420a7ca3da4da037475f4895472a35b4384","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Fixes.","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/348ae420a7ca3da4da037475f4895472a35b4384"},{"sha":"f2699721dea5e6849b7701f9f4c36e7630295905","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Merge branch 'devel' of https://github.com/UniFormal/MMT into colins_playground","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/f2699721dea5e6849b7701f9f4c36e7630295905"},{"sha":"6691cc542bfda0432e146711a85d27d585c4b61d","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Fixes.","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/6691cc542bfda0432e146711a85d27d585c4b61d"},{"sha":"53666230e7daaa76ac9cbf0516bc0991d79a967e","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Minor fixes.","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/53666230e7daaa76ac9cbf0516bc0991d79a967e"},{"sha":"266e20b58f8044610b4aa0297d2bab12d8925153","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Merge branch 'devel' of https://github.com/UniFormal/MMT into colins_playground","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/266e20b58f8044610b4aa0297d2bab12d8925153"},{"sha":"b04d60ce3c479738ff96f2cc3ec0222e6c03b629","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Merge branch 'devel' of https://github.com/UniFormal/MMT into devel","distinct":true,"url":"https://api.github.com/repos/UniFormal/MMT/commits/b04d60ce3c479738ff96f2cc3ec0222e6c03b629"},{"sha":"8b9a028067221db1d0e2c089e2d4eb7eef31355c","author":{"name":"Colin Rothgang","email":"cff14034c8e86ecb58fd6b20c2ea4d864793df49@gmx.de"},"message":"Merge branch 'colins_playground' into devel","distinct":true,"url":"https://api.github.com/repos/UniFormal/MMT/commits/8b9a028067221db1d0e2c089e2d4eb7eef31355c"}]}
{"actor":{"display_login":"ColinRothgang"}}