{"repository":{"description":"Isabelle/IsaPlanner SML Library (for PolyML)","homepage":"","watchers":3,"stargazers":3,"forks":0,"fork":true,"size":232,"owner":"Quantomatic","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Ruby","created_at":"2011-07-14T16:25:27-07:00","pushed_at":"2013-03-30T15:36:12-07:00","master_branch":"master","organization":"Quantomatic"},"actor_attributes":{"type":"User","name":"Aleks Kissinger","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/Quantomatic/isaplib/compare/be1bc234e0...3e3fa9bb38"}