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

support many more Unicode infix operators #6929

Merged
merged 3 commits into from
May 27, 2014
Merged

support many more Unicode infix operators #6929

merged 3 commits into from
May 27, 2014

Commits on May 23, 2014

  1. support many more Unicode infix operators

    @stevengj
    stevengj committed May 23, 2014
    Configuration menu
    Copy the full SHA
    97d46a8 View commit details
    Browse the repository at this point in the history

  2. eliminate a couple more confusables; multiset multiplication U+228D s… 

    …hould have * precedence despite looking like a union; change NEWS table to only explicitly list operators that are predefined
    @stevengj
    stevengj committed May 23, 2014
    Configuration menu
    Copy the full SHA
    285a10e View commit details
    Browse the repository at this point in the history

Commits on May 27, 2014

  1. rm U+2a01 (N-ary circled plus) from infix list

    @stevengj
    stevengj committed May 27, 2014
    Configuration menu
    Copy the full SHA
    d234b4f View commit details
    Browse the repository at this point in the history