{"push_id":705308994,"size":4,"distinct_size":4,"ref":"refs/heads/svn-mirror","head":"91649cd51043b22bfb755c4faebcebf926ebb3f0","before":"5facd2d09a5d9610cf4956900fbd4edd7e8e9cea","commits":[{"sha":"5a3d5a5088176481ac545bfc00a7579cd0355887","author":{"email":"af3a47df435dacf058a5a69ad4324496ef7a7193@09069c07-60fa-4895-8316-727242e252e4","name":"mhamilton"},"message":"Fixing import of leoPARD\n\n\ngit-svn-id: https://svn.kwarc.info/repos/MMT@2865 09069c07-60fa-4895-8316-727242e252e4","distinct":true,"url":"https://api.github.com/repos/KWARC/MMT/commits/5a3d5a5088176481ac545bfc00a7579cd0355887"},{"sha":"b10fea6e4ee505c757f471b6fbfeccf9052c6b1a","author":{"email":"7fd0fc0600fe7126b582e90ba4900a69707b9842@09069c07-60fa-4895-8316-727242e252e4","name":"cmaeder"},"message":"separated sms generation and latexml build\n\ngit-svn-id: https://svn.kwarc.info/repos/MMT@2866 09069c07-60fa-4895-8316-727242e252e4","distinct":true,"url":"https://api.github.com/repos/KWARC/MMT/commits/b10fea6e4ee505c757f471b6fbfeccf9052c6b1a"},{"sha":"cd49631543509853ccefbfd86ea6c5eca64603ef","author":{"email":"7fd0fc0600fe7126b582e90ba4900a69707b9842@09069c07-60fa-4895-8316-727242e252e4","name":"cmaeder"},"message":"shortened code for sms output file name\n\ngit-svn-id: https://svn.kwarc.info/repos/MMT@2867 09069c07-60fa-4895-8316-727242e252e4","distinct":true,"url":"https://api.github.com/repos/KWARC/MMT/commits/cd49631543509853ccefbfd86ea6c5eca64603ef"},{"sha":"91649cd51043b22bfb755c4faebcebf926ebb3f0","author":{"email":"7fd0fc0600fe7126b582e90ba4900a69707b9842@09069c07-60fa-4895-8316-727242e252e4","name":"cmaeder"},"message":"add PdfLatex plugin\n\ngit-svn-id: https://svn.kwarc.info/repos/MMT@2868 09069c07-60fa-4895-8316-727242e252e4","distinct":true,"url":"https://api.github.com/repos/KWARC/MMT/commits/91649cd51043b22bfb755c4faebcebf926ebb3f0"}]}