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: tweak recent commit #376

Closed
wants to merge 3 commits into from
Closed

editorial: tweak recent commit #376

wants to merge 3 commits into from

Commits on Feb 8, 2016

  1. Change U+2212 (MINUS SIGN) to U+002D (HYPHEN-MINUS) 

    (16 occurrences, all in "Applying the `**` operator")
... for consistency with the rest of the spec.
    @jmdyck
    jmdyck committed Feb 8, 2016
    Configuration menu
    Copy the full SHA
    8220c48 View commit details
    Browse the repository at this point in the history

  2. Add '*' formatters to [+-]∞ 

    (20 occurrences, all in "Applying the `**` operator")
    @jmdyck
    jmdyck committed Feb 8, 2016
    Configuration menu
    Copy the full SHA
    2a19599 View commit details
    Browse the repository at this point in the history

  3. Properly title-case the clause title ... 

    ... "Applying the `**` operator"
    @jmdyck
    jmdyck committed Feb 8, 2016
    Configuration menu
    Copy the full SHA
    11acf21 View commit details
    Browse the repository at this point in the history