{"push_id":1347799384,"size":251,"distinct_size":251,"ref":"refs/heads/master","head":"dd73eba6f0ad94c2c31e738c33dfcf2cf4f1b814","before":"028e62b98e6064e19bccb47d2d2b303043720207","commits":[{"sha":"7f6ff6fbfe1b8d57abc01f93b38841a0b3e9a782","author":{"name":"Benzmüller","email":"10cbbcb3bcfd1aa7bb6cd3195c5e6f4c0157ad9a@leopard.imp.fu-berlin.de"},"message":"ÉxtResLEO2 added","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/7f6ff6fbfe1b8d57abc01f93b38841a0b3e9a782"},{"sha":"1b87668946edc3cb4892a12b4e564c10d3e5ed78","author":{"name":"Benzmüller","email":"10cbbcb3bcfd1aa7bb6cd3195c5e6f4c0157ad9a@leopard.imp.fu-berlin.de"},"message":"ÉxtResLEO2 added","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/1b87668946edc3cb4892a12b4e564c10d3e5ed78"},{"sha":"bfa3e8d70f2541734a6c525ae4bb09725f1178f9","author":{"name":"Benzmüller","email":"10cbbcb3bcfd1aa7bb6cd3195c5e6f4c0157ad9a@leopard.imp.fu-berlin.de"},"message":"ÉxtResLEO2 added","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/bfa3e8d70f2541734a6c525ae4bb09725f1178f9"},{"sha":"b80e86d5408e598653d88b61388f12dc9cc0789d","author":{"name":"Benzmüller","email":"10cbbcb3bcfd1aa7bb6cd3195c5e6f4c0157ad9a@leopard.imp.fu-berlin.de"},"message":"GBetaFB.bib added","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/b80e86d5408e598653d88b61388f12dc9cc0789d"},{"sha":"0a6970217a744a2489dca5067ca2deac1c241681","author":{"name":"Benzmüller","email":"10cbbcb3bcfd1aa7bb6cd3195c5e6f4c0157ad9a@leopard.imp.fu-berlin.de"},"message":"GBetaFB.bib added","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/0a6970217a744a2489dca5067ca2deac1c241681"},{"sha":"5daf4932928007e5ac5ef4d3847e42f8fc98459a","author":{"name":"Bruno","email":"994dfe1631f3ea182c757c803f73bf57bf2a8081@gmail.com"},"message":"Merge pull request #7 from cbenzmueller/master\n\nPull request for draft submission ExtResLEO2","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/5daf4932928007e5ac5ef4d3847e42f8fc98459a"},{"sha":"cda8dd34bf533af4fb1817143416354277f7986b","author":{"name":"Bruno","email":"994dfe1631f3ea182c757c803f73bf57bf2a8081@gmail.com"},"message":"Merge commit '028e62b98e6064e19bccb47d2d2b303043720207'\n\nConflicts:\n\tmain.pdf","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/cda8dd34bf533af4fb1817143416354277f7986b"},{"sha":"f65d42911fb5f2c5e1d6f1c4db5229fc49022d52","author":{"name":"Dale Miller","email":"91e3607db4fde93d1bf19e19a8dbc265fd5400b4@inria.fr"},"message":"Some fixes to the ljf and lkf sections.","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/f65d42911fb5f2c5e1d6f1c4db5229fc49022d52"},{"sha":"a2bbf62d1847206e204e62c04d5df87a9e951c8b","author":{"name":"Bruno","email":"994dfe1631f3ea182c757c803f73bf57bf2a8081@gmail.com"},"message":"Merge pull request #8 from ThatDaleMiller/master\n\nSome fixes to the ljf and lkf sections.","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/a2bbf62d1847206e204e62c04d5df87a9e951c8b"},{"sha":"64f04b038bb6dda2ef461523b853de55ce7aee88","author":{"name":"Harley Eades","email":"f82edeb4086e84fad67af1b12c9e6a0883cbacde@gru.edu"},"message":"Added FILL to the encyclopedia.","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/64f04b038bb6dda2ef461523b853de55ce7aee88"},{"sha":"101ed79a5beef02e08570cea938e8110d0d96b4b","author":{"name":"Benzmüller","email":"10cbbcb3bcfd1aa7bb6cd3195c5e6f4c0157ad9a@leopard.imp.fu-berlin.de"},"message":"GBetaFB.bib added","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/101ed79a5beef02e08570cea938e8110d0d96b4b"},{"sha":"2ed4737cc9cdc5218513e2628b82cf4f9ee93585","author":{"name":"Benzmüller","email":"10cbbcb3bcfd1aa7bb6cd3195c5e6f4c0157ad9a@leopard.imp.fu-berlin.de"},"message":"update of ExtResLEO2 and GBetaFB","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/2ed4737cc9cdc5218513e2628b82cf4f9ee93585"},{"sha":"97fa944e596c567530ab332176b44971eed4ce0c","author":{"name":"Bruno","email":"994dfe1631f3ea182c757c803f73bf57bf2a8081@gmail.com"},"message":"Merge branch 'master' of https://github.com/cbenzmueller/Encyclopedia\n\nConflicts:\n\tmain.pdf","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/97fa944e596c567530ab332176b44971eed4ce0c"},{"sha":"c3c8be22770480f3c7c3d80a502c05feb44fd356","author":{"name":"Bruno","email":"994dfe1631f3ea182c757c803f73bf57bf2a8081@gmail.com"},"message":"Merge branch 'master' of https://github.com/heades/Encyclopedia\n\nConflicts:\n\tmain.pdf\n\tproofsystems.tex","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/c3c8be22770480f3c7c3d80a502c05feb44fd356"},{"sha":"2ac6f039226e7b6d58e175c6eee56353087573f6","author":{"name":"Bruno","email":"994dfe1631f3ea182c757c803f73bf57bf2a8081@gmail.com"},"message":"Improve organization of the encyclopedia:\n\nAdd more indexes in the backmatter\nAdd space for introductory chapters","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/2ac6f039226e7b6d58e175c6eee56353087573f6"},{"sha":"a97e1fcb70345a4ac9cd9c133ebf241e38718c6e","author":{"name":"Bruno","email":"994dfe1631f3ea182c757c803f73bf57bf2a8081@gmail.com"},"message":"Improve frontmatter texts","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/a97e1fcb70345a4ac9cd9c133ebf241e38718c6e"},{"sha":"02c99ed0eec4ce945b9462c34117e32500e651f7","author":{"name":"Joseph Boudou","email":"eae32bdd53cc1abc5c1cc7b6b7862a7ea76a1aee@irit.fr"},"message":"first draft","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/02c99ed0eec4ce945b9462c34117e32500e651f7"},{"sha":"5695ef27888bf53b077e54beea50af093ad8b2ac","author":{"name":"Harley Eades","email":"f82edeb4086e84fad67af1b12c9e6a0883cbacde@gru.edu"},"message":"Small modifications:\n  - Fixed a date problem.\n  - Reformatted the inference rules.","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/5695ef27888bf53b077e54beea50af093ad8b2ac"},{"sha":"5a6d7f53f6b09ceb38655c6502f1995ccfc7204b","author":{"name":"Harley Eades","email":"f82edeb4086e84fad67af1b12c9e6a0883cbacde@gru.edu"},"message":"Small change.","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/5a6d7f53f6b09ceb38655c6502f1995ccfc7204b"},{"sha":"3e3062af1d7b3cfb84f615da6633b17dba5b2bb3","author":{"name":"Harley Eades","email":"f82edeb4086e84fad67af1b12c9e6a0883cbacde@gru.edu"},"message":"Reformatted the names to the rules.","distinct":true,"url":"https://api.github.com/repos/gisellemnr/Encyclopedia/commits/3e3062af1d7b3cfb84f615da6633b17dba5b2bb3"}]}
{"actor":{"display_login":"gisellemnr"}}