{"action":"created","issue":{"url":"https://api.github.com/repos/acl2/acl2/issues/39","labels_url":"https://api.github.com/repos/acl2/acl2/issues/39/labels{/name}","comments_url":"https://api.github.com/repos/acl2/acl2/issues/39/comments","events_url":"https://api.github.com/repos/acl2/acl2/issues/39/events","html_url":"https://github.com/acl2/acl2/issues/39","id":41816654,"number":39,"title":"Integrate defenum with xdoc","user":{"login":"ragerdl","id":2245886,"avatar_url":"https://avatars.githubusercontent.com/u/2245886?v=3","gravatar_id":"","url":"https://api.github.com/users/ragerdl","html_url":"https://github.com/ragerdl","followers_url":"https://api.github.com/users/ragerdl/followers","following_url":"https://api.github.com/users/ragerdl/following{/other_user}","gists_url":"https://api.github.com/users/ragerdl/gists{/gist_id}","starred_url":"https://api.github.com/users/ragerdl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ragerdl/subscriptions","organizations_url":"https://api.github.com/users/ragerdl/orgs","repos_url":"https://api.github.com/users/ragerdl/repos","events_url":"https://api.github.com/users/ragerdl/events{/privacy}","received_events_url":"https://api.github.com/users/ragerdl/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/acl2/acl2/labels/Component:%20Std","name":"Component: Std","color":"009800"},{"url":"https://api.github.com/repos/acl2/acl2/labels/enhancement","name":"enhancement","color":"84b6eb"},{"url":"https://api.github.com/repos/acl2/acl2/labels/Priority:%20Default","name":"Priority: Default","color":"FFFFFF"},{"url":"https://api.github.com/repos/acl2/acl2/labels/Usability","name":"Usability","color":"FFFFFF"}],"state":"open","locked":false,"assignee":{"login":"jaredcdavis","id":6493363,"avatar_url":"https://avatars.githubusercontent.com/u/6493363?v=3","gravatar_id":"","url":"https://api.github.com/users/jaredcdavis","html_url":"https://github.com/jaredcdavis","followers_url":"https://api.github.com/users/jaredcdavis/followers","following_url":"https://api.github.com/users/jaredcdavis/following{/other_user}","gists_url":"https://api.github.com/users/jaredcdavis/gists{/gist_id}","starred_url":"https://api.github.com/users/jaredcdavis/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jaredcdavis/subscriptions","organizations_url":"https://api.github.com/users/jaredcdavis/orgs","repos_url":"https://api.github.com/users/jaredcdavis/repos","events_url":"https://api.github.com/users/jaredcdavis/events{/privacy}","received_events_url":"https://api.github.com/users/jaredcdavis/received_events","type":"User","site_admin":false},"milestone":null,"comments":7,"created_at":"2014-09-03T13:36:08Z","updated_at":"2015-09-04T13:46:19Z","closed_at":null,"body":"_From [rage...@gmail.com](https://code.google.com/u/102895947197065323718/) on February 19, 2013 11:10:18_\n\nFor example:\r\n\r\n(cutil::defenum my-enum-p\r\n  ((:one \"the doc for one\")\r\n   (:two \"the doc for two\")))\r\n\r\nAdmittedly, the parens are a annoyingly a bit more verbose than \r\n\r\n(cutil::defenum my-enum-p\r\n  (:one ; the doc for one\r\n   :two ; the doc for two\r\n ))\n\n_Original issue: http://code.google.com/p/acl2-books/issues/detail?id=38_"},"comment":{"url":"https://api.github.com/repos/acl2/acl2/issues/comments/137741996","html_url":"https://github.com/acl2/acl2/issues/39#issuecomment-137741996","issue_url":"https://api.github.com/repos/acl2/acl2/issues/39","id":137741996,"user":{"login":"jaredcdavis","id":6493363,"avatar_url":"https://avatars.githubusercontent.com/u/6493363?v=3","gravatar_id":"","url":"https://api.github.com/users/jaredcdavis","html_url":"https://github.com/jaredcdavis","followers_url":"https://api.github.com/users/jaredcdavis/followers","following_url":"https://api.github.com/users/jaredcdavis/following{/other_user}","gists_url":"https://api.github.com/users/jaredcdavis/gists{/gist_id}","starred_url":"https://api.github.com/users/jaredcdavis/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jaredcdavis/subscriptions","organizations_url":"https://api.github.com/users/jaredcdavis/orgs","repos_url":"https://api.github.com/users/jaredcdavis/repos","events_url":"https://api.github.com/users/jaredcdavis/events{/privacy}","received_events_url":"https://api.github.com/users/jaredcdavis/received_events","type":"User","site_admin":false},"created_at":"2015-09-04T13:46:19Z","updated_at":"2015-09-04T13:46:19Z","body":"The fixing function it produces is also not getting documentation generated for it."}}