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

add ⟂ to infix operator precedence #24404

Merged
merged 10 commits into from
Dec 21, 2017
Merged

add ⟂ to infix operator precedence #24404

merged 10 commits into from
Dec 21, 2017

Commits on Oct 30, 2017

  1. added ↗, ↖ as infix arrow operators

    @chakravala
    chakravala committed Oct 30, 2017
    Configuration menu
    Copy the full SHA
    538d948 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2017

  1. changed to prec-power

    @chakravala
    chakravala committed Oct 31, 2017
    Configuration menu
    Copy the full SHA
    b94ee28 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2017

  1. added \perp

    @chakravala
    chakravala committed Nov 1, 2017
    Configuration menu
    Copy the full SHA
    183a1fa View commit details
    Browse the repository at this point in the history

  2. changed \perp

    @chakravala
    chakravala committed Nov 1, 2017
    Configuration menu
    Copy the full SHA
    9f709a8 View commit details
    Browse the repository at this point in the history

  3. changed precedence to *

    @chakravala
    chakravala committed Nov 1, 2017
    Configuration menu
    Copy the full SHA
    aba481c View commit details
    Browse the repository at this point in the history

  4. added ↗, ↖, ⟂ to news

    @chakravala
    chakravala committed Nov 1, 2017
    Configuration menu
    Copy the full SHA
    1ace1bc View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2017

  1. removed arrows

    @chakravala
    chakravala committed Dec 15, 2017
    Configuration menu
    Copy the full SHA
    d1d340f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into master

    @chakravala
    chakravala authored Dec 15, 2017
    Configuration menu
    Copy the full SHA
    aeaf615 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into master

    @chakravala
    chakravala authored Dec 15, 2017
    Configuration menu
    Copy the full SHA
    9fa8502 View commit details
    Browse the repository at this point in the history

  4. removed ⟂ from julia_extensions.c

    @chakravala
    chakravala committed Dec 15, 2017
    Configuration menu
    Copy the full SHA
    7687348 View commit details
    Browse the repository at this point in the history