{"push_id":762988257,"size":10,"distinct_size":10,"ref":"refs/heads/master","head":"5b25d662a7ee4226012f2f1abc4a812fcf323e19","before":"2ec60ac5160b132ea16a7f8999458505ba15da67","commits":[{"sha":"9045a94e963fad31064d11beb31097c09a0fca8f","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Silence Check in non-interactive mode\n\nOtherwise #including a file is very verbose","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/9045a94e963fad31064d11beb31097c09a0fca8f"},{"sha":"8328816083eff3a2d1767960d03b54d61fa76227","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Expose [whnf] as a command","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/8328816083eff3a2d1767960d03b54d61fa76227"},{"sha":"24a4315a674896a11930576169abcdf7026a28d9","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Printing for hint keys","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/24a4315a674896a11930576169abcdf7026a28d9"},{"sha":"010602e2b2eca432e173a1f27bc81027c40fe6b8","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Hints can be installed as \";\"-separated lists","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/010602e2b2eca432e173a1f27bc81027c40fe6b8"},{"sha":"55b13dc9a85ff240d18bc2888dd577e2a1162399","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Independent Emacs mode","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/55b13dc9a85ff240d18bc2888dd577e2a1162399"},{"sha":"5a4f5707d69c233ddad002d377a0280006c603ff","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Always require DOT as top-terminator","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/5a4f5707d69c233ddad002d377a0280006c603ff"},{"sha":"04e26a4120e831db8d8fea20b47f805ba3805c6f","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Add a new entry point using the new parser\n\nmainloop.ml is a mostly a copy of andromeda.ml using the new parser\nsetup in tokens.ml.","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/04e26a4120e831db8d8fea20b47f805ba3805c6f"},{"sha":"30b01b046b27a12da7e5174a52b92ab82070c9a6","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Make targets for mainloop","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/30b01b046b27a12da7e5174a52b92ab82070c9a6"},{"sha":"e5a4fc79be1699e858f217cf4f4e27a5f8ce334e","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Use the new parser","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/e5a4fc79be1699e858f217cf4f4e27a5f8ce334e"},{"sha":"5b25d662a7ee4226012f2f1abc4a812fcf323e19","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Small fixes to theory","distinct":true,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/5b25d662a7ee4226012f2f1abc4a812fcf323e19"}]}