{"action":"created","issue":{"url":"https://api.github.com/repos/OMdoc/OMDoc/issues/4","repository_url":"https://api.github.com/repos/OMdoc/OMDoc","labels_url":"https://api.github.com/repos/OMdoc/OMDoc/issues/4/labels{/name}","comments_url":"https://api.github.com/repos/OMdoc/OMDoc/issues/4/comments","events_url":"https://api.github.com/repos/OMdoc/OMDoc/issues/4/events","html_url":"https://github.com/OMdoc/OMDoc/issues/4","id":163723179,"number":4,"title":"undefined symbol references in pvs theories","user":{"login":"jbs1","id":6561806,"avatar_url":"https://avatars.githubusercontent.com/u/6561806?v=3","gravatar_id":"","url":"https://api.github.com/users/jbs1","html_url":"https://github.com/jbs1","followers_url":"https://api.github.com/users/jbs1/followers","following_url":"https://api.github.com/users/jbs1/following{/other_user}","gists_url":"https://api.github.com/users/jbs1/gists{/gist_id}","starred_url":"https://api.github.com/users/jbs1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jbs1/subscriptions","organizations_url":"https://api.github.com/users/jbs1/orgs","repos_url":"https://api.github.com/users/jbs1/repos","events_url":"https://api.github.com/users/jbs1/events{/privacy}","received_events_url":"https://api.github.com/users/jbs1/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2016-07-04T18:05:52Z","updated_at":"2016-07-04T18:05:53Z","closed_at":"2016-07-04T18:05:53Z","body":"_migrated from Trac, where originally posted by **afranke** on 20-Jan-2002 12:03am_\n\nAt least the following undefined symbols are referenced in pvs theories:\n       extend\t\tS_pred\n       K_props\t\tS_pred\n       identity_props\tS_pred"},"comment":{"url":"https://api.github.com/repos/OMdoc/OMDoc/issues/comments/230335472","html_url":"https://github.com/OMdoc/OMDoc/issues/4#issuecomment-230335472","issue_url":"https://api.github.com/repos/OMdoc/OMDoc/issues/4","id":230335472,"user":{"login":"jbs1","id":6561806,"avatar_url":"https://avatars.githubusercontent.com/u/6561806?v=3","gravatar_id":"","url":"https://api.github.com/users/jbs1","html_url":"https://github.com/jbs1","followers_url":"https://api.github.com/users/jbs1/followers","following_url":"https://api.github.com/users/jbs1/following{/other_user}","gists_url":"https://api.github.com/users/jbs1/gists{/gist_id}","starred_url":"https://api.github.com/users/jbs1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jbs1/subscriptions","organizations_url":"https://api.github.com/users/jbs1/orgs","repos_url":"https://api.github.com/users/jbs1/repos","events_url":"https://api.github.com/users/jbs1/events{/privacy}","received_events_url":"https://api.github.com/users/jbs1/received_events","type":"User","site_admin":false},"created_at":"2016-07-04T18:05:53Z","updated_at":"2016-07-04T18:05:53Z","body":"_migrated from Trac, where originally posted by **root** on 8-Feb-2007 11:33am_\n\nMilestone 1.3 deleted"}}
{"actor":{"display_login":"jbs1"}}