{"head":"c2c0e3bb1cc71e353f7dcd22625e99e520e4bcc6","size":2,"push_id":46673893,"ref":"refs/heads/master","commits":[{"sha":"46700e4b181c1f8408c3db6fe6a013555d53a459","author":{"name":"Jesse Alama","email":"0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com"},"url":"https://api.github.com/repos/jessealama/xsl4mizar/commits/46700e4b181c1f8408c3db6fe6a013555d53a459","message":"Deal with a new rule type: instantiation, coming from ivy proof objects."},{"sha":"c2c0e3bb1cc71e353f7dcd22625e99e520e4bcc6","author":{"name":"Jesse Alama","email":"0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com"},"url":"https://api.github.com/repos/jessealama/xsl4mizar/commits/c2c0e3bb1cc71e353f7dcd22625e99e520e4bcc6","message":"First stab at rendering IVY proof objects as XML.\n\nLots more to do, but it does seem to work a bit.  Awesome!"}],"legacy":{"head":"c2c0e3bb1cc71e353f7dcd22625e99e520e4bcc6","size":2,"push_id":46673893,"shas":[["46700e4b181c1f8408c3db6fe6a013555d53a459","jesse.alama@gmail.com","Deal with a new rule type: instantiation, coming from ivy proof objects.","Jesse Alama"],["c2c0e3bb1cc71e353f7dcd22625e99e520e4bcc6","jesse.alama@gmail.com","First stab at rendering IVY proof objects as XML.\n\nLots more to do, but it does seem to work a bit.  Awesome!","Jesse Alama"]],"ref":"refs/heads/master"}}