{"repository":{"description":"Proof General theorem prover interface","has_wiki":false,"organization":"emacsmirror","homepage":"http://proofgeneral.inf.ed.ac.uk","watchers":2,"fork":false,"open_issues":0,"language":"Emacs Lisp","pushed_at":"2012/04/30 07:46:30 -0700","size":16948,"private":false,"created_at":"2010/03/30 09:06:51 -0700","owner":"emacsmirror","has_issues":false,"has_downloads":false,"forks":1},"actor_attributes":{"name":"Jonas Bernoulli","location":"Basel, Switzerland","blog":"","type":"User","email":"9852fe6b3f320585abd8859c29c1305819fd1324@gmail.com"},"url":"https://github.com/emacsmirror/proofgeneral/compare/889a53826d...cf0c544115"}