{"push_id":554108038,"size":12,"distinct_size":0,"ref":"refs/heads/master","head":"6d64736cbd06d302cbd71fa969bd92d6c6d0cf07","before":"ccf5f962c90b945a6080f8d4042b8ca80eeb9788","commits":[{"sha":"8fcfc064ebafce00df7b982f3e4ba4a882d7ea79","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom Wiesing"},"message":"Updated Makefile","distinct":false,"url":"https://api.github.com/repos/KWARC/KAT/commits/8fcfc064ebafce00df7b982f3e4ba4a882d7ea79"},{"sha":"80658f6d886ae405073b134ccbe8ca67b323248c","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom Wiesing"},"message":"Preparation for JOBAD integrat6ion","distinct":false,"url":"https://api.github.com/repos/KWARC/KAT/commits/80658f6d886ae405073b134ccbe8ca67b323248c"},{"sha":"b3e9ec9797dc82d620a6b897e5998440553bc6e9","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom Wiesing"},"message":"Basic KAT / JOBAD integration","distinct":false,"url":"https://api.github.com/repos/KWARC/KAT/commits/b3e9ec9797dc82d620a6b897e5998440553bc6e9"},{"sha":"e6e116ece97ad5a7cfde33ed1cf67b01b799d2f0","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom Wiesing"},"message":"CSS path adjustments","distinct":false,"url":"https://api.github.com/repos/KWARC/KAT/commits/e6e116ece97ad5a7cfde33ed1cf67b01b799d2f0"},{"sha":"e3de7c807854863f92b454e2f68482724701e84c","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom"},"message":"Added a new-annotation handler for the JOBAD module","distinct":false,"url":"https://api.github.com/repos/KWARC/KAT/commits/e3de7c807854863f92b454e2f68482724701e84c"},{"sha":"0fa5da736c885af9238bec40f60026409bfaac06","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom"},"message":"Commented and documented kat.display.ControlPanel","distinct":false,"url":"https://api.github.com/repos/KWARC/KAT/commits/0fa5da736c885af9238bec40f60026409bfaac06"},{"sha":"f8479f406c5c16b8a7f7d98083bade5e1d293ee9","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom"},"message":"Updated kat.Display class","distinct":false,"url":"https://api.github.com/repos/KWARC/KAT/commits/f8479f406c5c16b8a7f7d98083bade5e1d293ee9"},{"sha":"8080fbf8e86616e8df5c9e3816ed58efcaa1d64f","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom"},"message":"Fixed some things","distinct":false,"url":"https://api.github.com/repos/KWARC/KAT/commits/8080fbf8e86616e8df5c9e3816ed58efcaa1d64f"},{"sha":"fdf05d816311aa61bc8d36747174f40d771f338f","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom"},"message":"Updated ArrowConnector class","distinct":false,"url":"https://api.github.com/repos/KWARC/KAT/commits/fdf05d816311aa61bc8d36747174f40d771f338f"},{"sha":"85660f71a4d6968bcf4a0e9c0504e673f72a3b54","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom"},"message":"Started on a better documentation style","distinct":false,"url":"https://api.github.com/repos/KWARC/KAT/commits/85660f71a4d6968bcf4a0e9c0504e673f72a3b54"},{"sha":"9d0dcefd5cc2fa7226319cc5ca90f8b5e6133e94","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom Wiesing"},"message":"Revert \"Started on a better documentation style\"\n\nThis reverts commit 85660f71a4d6968bcf4a0e9c0504e673f72a3b54.","distinct":false,"url":"https://api.github.com/repos/KWARC/KAT/commits/9d0dcefd5cc2fa7226319cc5ca90f8b5e6133e94"},{"sha":"6d64736cbd06d302cbd71fa969bd92d6c6d0cf07","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom Wiesing"},"message":"Revert \"Updated ArrowConnector class\"\n\nThis reverts commit fdf05d816311aa61bc8d36747174f40d771f338f.","distinct":false,"url":"https://api.github.com/repos/KWARC/KAT/commits/6d64736cbd06d302cbd71fa969bd92d6c6d0cf07"}]}