{"push_id":1091851749,"size":3,"distinct_size":3,"ref":"refs/heads/omdoc-1.3","head":"a2b4fcad70c002f6de24b49944c5ed2321e26eb6","before":"d029005d6bd6a0276b976b6a462feff7fc06f0cf","commits":[{"sha":"b8e2580f9ddc02d2d278f6a893868a795191d900","author":{"email":"3b9fe122e5c8555e601142a6c98bf64ecc239381@jacobs-university.de","name":"Michael Kohlhase"},"message":"new theory structure","distinct":true,"url":"https://api.github.com/repos/KWARC/OMDoc/commits/b8e2580f9ddc02d2d278f6a893868a795191d900"},{"sha":"d006a427d466ce417225b4aabfce3f9e8715387b","author":{"email":"3b9fe122e5c8555e601142a6c98bf64ecc239381@jacobs-university.de","name":"Michael Kohlhase"},"message":"new theory structure","distinct":true,"url":"https://api.github.com/repos/KWARC/OMDoc/commits/d006a427d466ce417225b4aabfce3f9e8715387b"},{"sha":"a2b4fcad70c002f6de24b49944c5ed2321e26eb6","author":{"email":"3b9fe122e5c8555e601142a6c98bf64ecc239381@jacobs-university.de","name":"Michael Kohlhase"},"message":"fixes from sTeX","distinct":true,"url":"https://api.github.com/repos/KWARC/OMDoc/commits/a2b4fcad70c002f6de24b49944c5ed2321e26eb6"}]}