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.

Sign up for GitHub

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

Jump to bottom

[editorial] removed obsolete references. Resolves #983 #997

Merged
merged 5 commits into from
Jul 31, 2019
Merged

[editorial] removed obsolete references. Resolves #983 #997

merged 5 commits into from
Jul 31, 2019

Conversation

jnurthen
Copy link
Member

@jnurthen jnurthen commented Jun 17, 2019 •
edited by pr-preview bot
Loading

  • removed XForms references
  • Updated HTML references to HTML52
  • Updated Java reference to Java10
  • Substituted references to HTML input type=range for the Xform range references

Preview | Diff

@jnurthen jnurthen changed the title removed obsolete refereces. Resolves #983 [editorial] removed obsolete refereces. Resolves #983 Jun 17, 2019
@jnurthen jnurthen added the editorial a change to an example, note, spelling, grammar, or is related to publishing or the repo label Jun 17, 2019
@jnurthen jnurthen requested a review from joanmarie June 17, 2019 23:26
joanmarie
joanmarie reviewed Jun 18, 2019
View reviewed changes
Copy link
Contributor

@joanmarie joanmarie left a comment

Choose a reason for hiding this comment

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

Should we reference HTML52 or HTML5?

@jnurthen
Copy link
Member Author

Also resolves #900

@carmacleod
Copy link
Contributor

There's one remaining instance of HTML5 in the preview. You may have left it there intentionally - just checking:

Fourth paragraph of 2.3.1 Information for Authors:

This is supported in both HTML5 and SVG2.

@jnurthen jnurthen changed the title [editorial] removed obsolete refereces. Resolves #983 [editorial] removed obsolete references. Resolves #983 Jul 30, 2019
@jnurthen jnurthen merged commit 690285a into master Jul 31, 2019
@jnurthen jnurthen mentioned this pull request Oct 11, 2019
Closed
@jnurthen jnurthen deleted the OldReferences branch October 14, 2019 21:17
@smhigley smhigley mentioned this pull request Nov 1, 2019
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@joanmarie joanmarie joanmarie left review comments

Assignees
No one assigned
Labels
editorial a change to an example, note, spelling, grammar, or is related to publishing or the repo
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@jnurthen @carmacleod @joanmarie