{"repository":{"description":"Eclipse integration for Isabelle proof assistant","homepage":"http://andriusvelykis.github.com/isabelle-eclipse","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":368,"owner":"andriusvelykis","private":false,"open_issues":26,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Python","created_at":"2012-05-10T06:21:22-07:00","pushed_at":"2013-04-07T10:18:23-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Andrius Velykis","company":"Newcastle University","blog":"http://andrius.velykis.lt","location":"Newcastle upon Tyne, UK","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/andriusvelykis/isabelle-eclipse/issues/55"}