{"action":"created","issue":{"url":"https://api.github.com/repos/OMdoc/OMDoc/issues/150","repository_url":"https://api.github.com/repos/OMdoc/OMDoc","labels_url":"https://api.github.com/repos/OMdoc/OMDoc/issues/150/labels{/name}","comments_url":"https://api.github.com/repos/OMdoc/OMDoc/issues/150/comments","events_url":"https://api.github.com/repos/OMdoc/OMDoc/issues/150/events","html_url":"https://github.com/OMdoc/OMDoc/issues/150","id":163726208,"number":150,"title":"URI in omtext/@type","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":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-07-04T18:23:25Z","updated_at":"2016-07-04T18:23:26Z","closed_at":null,"body":"_migrated from Trac, where originally posted by **gristovski** on 13-Jun-2008 10:48am_\n\nIn chapter 14.3 from the OMDoc1.2 specification it is stated that \"Further types of text can be specified by providing a URI that points to a description of the text type ...\" This might be a problem because if we have <omtext type=\"theorem\"> we don't know whether we refer to the type theorem which we defined previously or it is a relative URL to a file named \"theorem\""},"comment":{"url":"https://api.github.com/repos/OMdoc/OMDoc/issues/comments/230337694","html_url":"https://github.com/OMdoc/OMDoc/issues/150#issuecomment-230337694","issue_url":"https://api.github.com/repos/OMdoc/OMDoc/issues/150","id":230337694,"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:23:25Z","updated_at":"2016-07-04T18:23:25Z","body":"_migrated from Trac, where originally posted by **kohlhase** on 14-Jun-2008 5:43am_\n\nhrm, that is correct, we have to do something about this. \n\nOTOH, the spec also says \"OMDoc reserves the values\", so it should actually be clear that \"theorem\" is not a URI. So it is not as bad as it seems. OTOH, the wording could be made clearer. \n\nThe simplest way is probably to specify the that the types defined in the spec stand for a URI pointing to the spec, so theorem abbreviates http://www.omdoc.org/pubs/omdoc1.2.pdf#omtext.\n\nProbably we should add an erratum to OMDoc1.2 and fix the specification in OMDoc 1.3. \n\n"}}
{"actor":{"display_login":"jbs1"}}