{"action":"created","issue":{"url":"https://api.github.com/repos/ProofGeneral/PG/issues/179","repository_url":"https://api.github.com/repos/ProofGeneral/PG","labels_url":"https://api.github.com/repos/ProofGeneral/PG/issues/179/labels{/name}","comments_url":"https://api.github.com/repos/ProofGeneral/PG/issues/179/comments","events_url":"https://api.github.com/repos/ProofGeneral/PG/issues/179/events","html_url":"https://github.com/ProofGeneral/PG/issues/179","id":223090289,"number":179,"title":"\"I can't find any complete commands to process!\"","user":{"login":"jonsterling","id":55057,"avatar_url":"https://avatars1.githubusercontent.com/u/55057?v=3","gravatar_id":"","url":"https://api.github.com/users/jonsterling","html_url":"https://github.com/jonsterling","followers_url":"https://api.github.com/users/jonsterling/followers","following_url":"https://api.github.com/users/jonsterling/following{/other_user}","gists_url":"https://api.github.com/users/jonsterling/gists{/gist_id}","starred_url":"https://api.github.com/users/jonsterling/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jonsterling/subscriptions","organizations_url":"https://api.github.com/users/jonsterling/orgs","repos_url":"https://api.github.com/users/jonsterling/repos","events_url":"https://api.github.com/users/jonsterling/events{/privacy}","received_events_url":"https://api.github.com/users/jonsterling/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2017-04-20T14:39:24Z","updated_at":"2017-04-20T15:41:37Z","closed_at":null,"body":"I'm having a strange issue; with a completely fresh install of PG and Coq (8.6), almost every time I try to check a development in Emacs I receive the error `\"I can't find any complete commands to process!\"`\r\n\r\nFor the record, this development parses and compiles fine with Coq. Has this happened to anyone else? I've tried it both with `company-coq` enabled and disabled, in case there was some weird interaction between the packages.\r\n\r\nThanks for any help you can give!\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/ProofGeneral/PG/issues/comments/295785361","html_url":"https://github.com/ProofGeneral/PG/issues/179#issuecomment-295785361","issue_url":"https://api.github.com/repos/ProofGeneral/PG/issues/179","id":295785361,"user":{"login":"cpitclaudel","id":8181630,"avatar_url":"https://avatars1.githubusercontent.com/u/8181630?v=3","gravatar_id":"","url":"https://api.github.com/users/cpitclaudel","html_url":"https://github.com/cpitclaudel","followers_url":"https://api.github.com/users/cpitclaudel/followers","following_url":"https://api.github.com/users/cpitclaudel/following{/other_user}","gists_url":"https://api.github.com/users/cpitclaudel/gists{/gist_id}","starred_url":"https://api.github.com/users/cpitclaudel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cpitclaudel/subscriptions","organizations_url":"https://api.github.com/users/cpitclaudel/orgs","repos_url":"https://api.github.com/users/cpitclaudel/repos","events_url":"https://api.github.com/users/cpitclaudel/events{/privacy}","received_events_url":"https://api.github.com/users/cpitclaudel/received_events","type":"User","site_admin":false},"created_at":"2017-04-20T15:41:37Z","updated_at":"2017-04-20T15:41:37Z","body":"How do you load the package ?"}}
{"actor":{"display_login":"cpitclaudel"}}