{"repository":{"owner":"emacsmirror","has_downloads":false,"homepage":"http://proofgeneral.inf.ed.ac.uk","has_wiki":false,"watchers":4,"stargazers":4,"language":"Emacs Lisp","created_at":"2010-03-30T09:06:51-07:00","pushed_at":"2012-08-31T05:06:56-07:00","organization":"emacsmirror","description":"Proof General theorem prover interface","forks":3,"fork":false,"size":288,"open_issues":0,"private":false,"has_issues":false},"actor_attributes":{"blog":"http://tarsius.github.com","company":"http://goo.gl/paHbO","location":"Basel, Switzerland","email":"9852fe6b3f320585abd8859c29c1305819fd1324@gmail.com","type":"User","name":"Jonas Bernoulli"},"url":"https://github.com/emacsmirror/proofgeneral/compare/ce415c0a59...a3cd08cf9d"}