Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

OWL-Time - Editorial changes in response to #1114 #1115

Closed
wants to merge 1 commit into from

Conversation

dr-shorthair
Copy link
Collaborator

Make editorial changes requested by Roger Lott in the course of OGC adoption (documented in #1114 )

For preview see https://rawgit.com/w3c/sdw/time-issue1114/time/

@dr-shorthair dr-shorthair added time errata Issue touches on a published Recommendation and requires adding an entry to the errata document labels Feb 27, 2019
Copy link
Member

@tidoust tidoust left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Any reason why the index.html appears completely modified? Any way to restrict the changes to the actual parts that you updated?

<dd>Added: 28 Feb 2019</dd>
<dd>Type: Editorial</dd>
<dd>Refers to: <a href="https://www.w3.org/TR/owl-time/#trs-clock-calendar">3.2 Temporal reference systems, clocks, calendarss</a> and <a href="https://www.w3.org/TR/owl-time/#time:TRS">4.1.18 Temporal reference system</a></dd>
<dd>Description: The terminology "Temporal Coordinate System" taken from from ISO 19108 has been superseded by "Temporal Coordinate Reference System" in ISO 19111:2019 (also published as OGC Abstract Specification - Topic 2)</dd>
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

s/from from/from

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh dear. No I have no idea ... is it some kind of whitespace normalization?

@dr-shorthair
Copy link
Collaborator Author

Replaced by #1116
in which only the intended changes are diffs.

@dr-shorthair dr-shorthair deleted the time-issue1114 branch March 6, 2019 21:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
errata Issue touches on a published Recommendation and requires adding an entry to the errata document time
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants