{"action":"closed","issue":{"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/issues/249","repository_url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL","labels_url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/issues/249/labels{/name}","comments_url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/issues/249/comments","events_url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/issues/249/events","html_url":"https://github.com/HOL-Theorem-Prover/HOL/issues/249","id":64548228,"number":249,"title":"pretty printer for grammar rules","user":{"login":"xrchz","id":181254,"avatar_url":"https://avatars.githubusercontent.com/u/181254?v=3","gravatar_id":"","url":"https://api.github.com/users/xrchz","html_url":"https://github.com/xrchz","followers_url":"https://api.github.com/users/xrchz/followers","following_url":"https://api.github.com/users/xrchz/following{/other_user}","gists_url":"https://api.github.com/users/xrchz/gists{/gist_id}","starred_url":"https://api.github.com/users/xrchz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xrchz/subscriptions","organizations_url":"https://api.github.com/users/xrchz/orgs","repos_url":"https://api.github.com/users/xrchz/repos","events_url":"https://api.github.com/users/xrchz/events{/privacy}","received_events_url":"https://api.github.com/users/xrchz/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-03-26T15:00:06Z","updated_at":"2016-02-25T01:14:45Z","closed_at":"2016-02-25T01:14:45Z","body":"See discussion on commit 5c44a74f43db786cf6d90658796492b06404cabc\r\n\r\n<bountysource-plugin>\r\n---\r\nWant to back this issue? **[Post a bounty on it!](https://www.bountysource.com/issues/10044712-pretty-printer-for-grammar-rules?utm_campaign=plugin&utm_content=tracker%2F495335&utm_medium=issues&utm_source=github)** We accept bounties via [Bountysource](https://www.bountysource.com/?utm_campaign=plugin&utm_content=tracker%2F495335&utm_medium=issues&utm_source=github).\r\n</bountysource-plugin>"}}