{"action":"closed","issue":{"url":"https://api.github.com/repos/acl2/acl2/issues/349","labels_url":"https://api.github.com/repos/acl2/acl2/issues/349/labels{/name}","comments_url":"https://api.github.com/repos/acl2/acl2/issues/349/comments","events_url":"https://api.github.com/repos/acl2/acl2/issues/349/events","html_url":"https://github.com/acl2/acl2/issues/349","id":58819696,"number":349,"title":"Ttags and std/top","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":"FFFFFF"},{"url":"https://api.github.com/repos/acl2/acl2/labels/not%20enough%20information","name":"not enough information","color":"f7c6c7"},{"url":"https://api.github.com/repos/acl2/acl2/labels/Priority:%20Contentious","name":"Priority: Contentious","color":"FFFFFF"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-02-24T22:54:47Z","updated_at":"2015-02-27T20:33:15Z","closed_at":"2015-02-27T20:33:15Z","body":"I find myself including std/top a lot, because that's the library I like to use (looking up specific libraries  takes time).  Something I dislike about this practice, though, is that now I have to add a `cert.acl2` file to the directory just so that ttags will be allowed (or, at least, that's my impression).  Might we consider two versions of std/top, one that requires ttags and one that doesn't?  Maybe `std/top-fast` and `std/top` (or `std/top-slow` and `std-top`)?\r\n\r\nOr is there another work-around?"}}