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

fix: Use SVGs for some stacked delims #3686

Merged
merged 7 commits into from Aug 28, 2022
Merged

fix: Use SVGs for some stacked delims #3686

merged 7 commits into from Aug 28, 2022

Commits on Aug 18, 2022

  1. fix: Use SVGs for some stacked delims

    @ronkok
    ronkok committed Aug 18, 2022
    Copy the full SHA
    9c5692c View commit details
    Browse the repository at this point in the history

  2. Account for script level & correct some geometry

    @ronkok
    ronkok committed Aug 18, 2022
    Copy the full SHA
    23a0bf0 View commit details
    Browse the repository at this point in the history

  3. Fix script level adjustment

    @ronkok
    ronkok committed Aug 18, 2022
    Copy the full SHA
    ae407cf View commit details
    Browse the repository at this point in the history

  4. Updated screenshotter images

    @ronkok
    ronkok committed Aug 18, 2022
    Copy the full SHA
    9a5e0ab View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2022

  1. Change \vert to round cap

    @ronkok
    ronkok committed Aug 19, 2022
    Copy the full SHA
    84dbd70 View commit details
    Browse the repository at this point in the history

  2. Fix \vert geometry

    @ronkok
    ronkok committed Aug 19, 2022
    Copy the full SHA
    dd629d9 View commit details
    Browse the repository at this point in the history

  3. Update screenshotter images

    @ronkok
    ronkok committed Aug 19, 2022
    Copy the full SHA
    13883f5 View commit details
    Browse the repository at this point in the history