{"repository":{"description":"Isabelle/IsaPlanner SML Library (for PolyML)","homepage":"","watchers":4,"stargazers":4,"forks":1,"fork":false,"size":6812,"owner":"iislucas","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Ruby","created_at":"2011-02-01T03:31:08-08:00","pushed_at":"2013-02-18T00:59:30-08:00","master_branch":"master"},"actor_attributes":{"name":"Lucas Dixon","company":"University of Edinburgh","blog":"http://homepages.inf.ed.ac.uk/ldixon/","location":"Edinburgh, Scotland","email":"9729e9f2c279f25f56793452341b0edf53769643@gmail.com","type":"User"},"url":"https://github.com/iislucas/isaplib/compare/Isabelle-2011"}