{"action":"created","issue":{"url":"https://api.github.com/repos/ProofGeneral/PG/issues/7","labels_url":"https://api.github.com/repos/ProofGeneral/PG/issues/7/labels{/name}","comments_url":"https://api.github.com/repos/ProofGeneral/PG/issues/7/comments","events_url":"https://api.github.com/repos/ProofGeneral/PG/issues/7/events","html_url":"https://github.com/ProofGeneral/PG/issues/7","id":114819995,"number":7,"title":"Request to add keystroke for Coq's \"Print Assumptions\" command ","user":{"login":"DavidAspinall","id":203022,"avatar_url":"https://avatars.githubusercontent.com/u/203022?v=3","gravatar_id":"","url":"https://api.github.com/users/DavidAspinall","html_url":"https://github.com/DavidAspinall","followers_url":"https://api.github.com/users/DavidAspinall/followers","following_url":"https://api.github.com/users/DavidAspinall/following{/other_user}","gists_url":"https://api.github.com/users/DavidAspinall/gists{/gist_id}","starred_url":"https://api.github.com/users/DavidAspinall/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DavidAspinall/subscriptions","organizations_url":"https://api.github.com/users/DavidAspinall/orgs","repos_url":"https://api.github.com/users/DavidAspinall/repos","events_url":"https://api.github.com/users/DavidAspinall/events{/privacy}","received_events_url":"https://api.github.com/users/DavidAspinall/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-11-03T13:50:51Z","updated_at":"2015-11-04T08:50:58Z","closed_at":null,"body":"I received a request to add a keystroke, calling this code:\r\n\r\n    (defun coq-Print-Assumptions ()\r\n       \"Ask for an ident and print the assumptions it depends on.\"\r\n       (interactive)\r\n       (coq-ask-do \"Print Assumptions\" \"Print Assumptions\"))"},"comment":{"url":"https://api.github.com/repos/ProofGeneral/PG/issues/comments/153641812","html_url":"https://github.com/ProofGeneral/PG/issues/7#issuecomment-153641812","issue_url":"https://api.github.com/repos/ProofGeneral/PG/issues/7","id":153641812,"user":{"login":"Matafou","id":4924906,"avatar_url":"https://avatars.githubusercontent.com/u/4924906?v=3","gravatar_id":"","url":"https://api.github.com/users/Matafou","html_url":"https://github.com/Matafou","followers_url":"https://api.github.com/users/Matafou/followers","following_url":"https://api.github.com/users/Matafou/following{/other_user}","gists_url":"https://api.github.com/users/Matafou/gists{/gist_id}","starred_url":"https://api.github.com/users/Matafou/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Matafou/subscriptions","organizations_url":"https://api.github.com/users/Matafou/orgs","repos_url":"https://api.github.com/users/Matafou/repos","events_url":"https://api.github.com/users/Matafou/events{/privacy}","received_events_url":"https://api.github.com/users/Matafou/received_events","type":"User","site_admin":false},"created_at":"2015-11-04T08:50:58Z","updated_at":"2015-11-04T08:50:58Z","body":"I would agree with Clement.\n\nWhat has been your answer to such request in the past David?\n\nP.\n\n2015-11-03 15:53 GMT+01:00 Clément Pit--Claudel <notifications@github.com>:\n\n> Shouldn't we just add a small guide in the README on creating custom\n> bindings? It's not obvious to me that this is a common need :/ PG makes it\n> very easy to define them, so I'm not certain we need to reserve even more\n> keys than we already do on every machine.\n>\n> —\n> Reply to this email directly or view it on GitHub\n> <https://github.com/ProofGeneral/PG/issues/7#issuecomment-153377957>.\n>\n"}}