Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: Eelis/draft
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: cxxdraft-htmlgen-fixes
Choose a base ref
...
head repository: NoSuchProcess/draft
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: cxxdraft-htmlgen-fixes
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 19 commits
  • 38 files changed
  • 1 contributor

Commits on Oct 16, 2023

  1. Use \defnadj more.

    Eelis committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    c1e8300 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    01821c1 View commit details
    Browse the repository at this point in the history
  3. Use \range where appropriate.

    Eelis committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    aac81ff View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    6d60921 View commit details
    Browse the repository at this point in the history
  5. Make references more precise.

    Eelis committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    a57bb55 View commit details
    Browse the repository at this point in the history
  6. [rand.req.eng] Omit superfluous dollar-math wrapping inside \bigoh. […

    …rejected upstream: 1340]
    Eelis committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    d8ee7cc View commit details
    Browse the repository at this point in the history
  7. Reduce excessive indentation of comments.

    Helps layout on smaller (e.g. half-screen) window sizes.
    Eelis committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    b416a66 View commit details
    Browse the repository at this point in the history
  8. Use new link macros.

    Eelis committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    5988e3a View commit details
    Browse the repository at this point in the history
  9. Fix dubious \defnx that has see{} in it, and remove range index entry…

    … with the same key.
    Eelis committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    5fccd6a View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    8521104 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    8fab248 View commit details
    Browse the repository at this point in the history
  12. Use \textnormal{..} and \textit{..} instead of \normalfont and \itshape.

    The stateful ones are harder to handle.
    Eelis committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    ba81d60 View commit details
    Browse the repository at this point in the history
  13. [temp.deduct.call] Make sure that when math superscript is suffixed t…

    …o \texttt, the \texttt itself is included in the formula passed to MathJax.
    
    Otherwise cxxdraft-htmlgen passes a lone math superscript to MathJax and then applies our own \texttt styling to the result, which produces
    a different result from letting MathJax render and style the whole thing.
    Eelis committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    fa128f0 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    049c892 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    901833a View commit details
    Browse the repository at this point in the history
  16. Remove duplicate index entry.

    Eelis committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    0ef3b96 View commit details
    Browse the repository at this point in the history
  17. Configuration menu
    Copy the full SHA
    7ca9ec5 View commit details
    Browse the repository at this point in the history
  18. Configuration menu
    Copy the full SHA
    eadecf7 View commit details
    Browse the repository at this point in the history
  19. Configuration menu
    Copy the full SHA
    b9fb7e3 View commit details
    Browse the repository at this point in the history
Loading