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

parse unicode forall and exists as identifiers #42314

Merged
merged 9 commits into from
Oct 4, 2021
Merged

parse unicode forall and exists as identifiers #42314

merged 9 commits into from
Oct 4, 2021

Commits on Sep 19, 2021

  1. parse unicode forall and exists as identifiers

    @willow-ahrens
    willow-ahrens committed Sep 19, 2021
    Configuration menu
    Copy the full SHA
    5b2985a View commit details
    Browse the repository at this point in the history

  2. move checks inside character range block

    @willow-ahrens
    willow-ahrens committed Sep 19, 2021
    Configuration menu
    Copy the full SHA
    12b717b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into pja/forall-exists-identifiers

    @willow-ahrens
    willow-ahrens authored Sep 19, 2021
    Configuration menu
    Copy the full SHA
    90695f7 View commit details
    Browse the repository at this point in the history

  4. add news

    @willow-ahrens
    willow-ahrens committed Sep 19, 2021
    Configuration menu
    Copy the full SHA
    5252678 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'pja/forall-exists-identifiers' of github.com:peterahren… 

    …s/julia into pja/forall-exists-identifiers
    @willow-ahrens
    willow-ahrens committed Sep 19, 2021
    Configuration menu
    Copy the full SHA
    00eada6 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2021

  1. add pr to news 

    Co-authored-by: Steven G. Johnson <[email protected]>
    @willow-ahrens @stevengj
    willow-ahrens and stevengj authored Sep 20, 2021
    Configuration menu
    Copy the full SHA
    319d27c View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2021

  1. add not exists

    @willow-ahrens
    willow-ahrens committed Sep 30, 2021
    Configuration menu
    Copy the full SHA
    5ac26bf View commit details
    Browse the repository at this point in the history

  2. news and tests.

    @willow-ahrens
    willow-ahrens committed Sep 30, 2021
    Configuration menu
    Copy the full SHA
    081ef96 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'pja/forall-exists-identifiers' of github.com:peterahren… 

    …s/julia into pja/forall-exists-identifiers
    @willow-ahrens
    willow-ahrens committed Sep 30, 2021
    Configuration menu
    Copy the full SHA
    d3e4475 View commit details
    Browse the repository at this point in the history