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.

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

ff #6111

Open
wants to merge 13 commits into
base: main
Choose a base branch
from
Open

ff #6111

wants to merge 13 commits into from

Commits on Nov 9, 2024

  1. Use \range where appropriate.

    Eelis committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    07e995f View commit details
    Browse the repository at this point in the history
  2. [rand.req.eng] Omit superfluous dollar-math wrapping inside \bigoh. […

    …rejected upstream: 1340]
    Eelis committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    d659c2b View commit details
    Browse the repository at this point in the history
  3. Reduce excessive indentation of comments.

    Helps layout on smaller (e.g. half-screen) window sizes.
    Eelis committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    c7d6642 View commit details
    Browse the repository at this point in the history
  4. Use new link macros.

    Eelis committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    db37430 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    d77ae54 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    ffc665a View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    958c7af View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    7fd95ff View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    82f2c00 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    5067180 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    b55aeb5 View commit details
    Browse the repository at this point in the history
  12. Remove awkward \linebreaks.

    Eelis committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    f7c6138 View commit details
    Browse the repository at this point in the history
  13. Avoid for\-ward.

    Because the 'for' gets highlighted as a keyword.
    Eelis committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    6fe84ca View commit details
    Browse the repository at this point in the history