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

Adding section on record discriminants #1075

Merged
merged 26 commits into from
Aug 30, 2024
Merged

Adding section on record discriminants #1075

merged 26 commits into from
Aug 30, 2024

Commits on Aug 30, 2024

  1. Editorial change: converting comment to section

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    2614407 View commit details
    Browse the repository at this point in the history

  2. Editorial change: moving admonition to new section

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    66b69d1 View commit details
    Browse the repository at this point in the history

  3. Editorial change: reducing section level

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    74dd2fb View commit details
    Browse the repository at this point in the history

  4. Editorial change: correcting code indentation

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    4e931d7 View commit details
    Browse the repository at this point in the history

  5. Minor change: adapting introduction to subsection

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    a3b2217 View commit details
    Browse the repository at this point in the history

  6. Editorial change: moving admonition up

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    a44c441 View commit details
    Browse the repository at this point in the history

  7. Editorial change: correcting admonition title

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    35b00f6 View commit details
    Browse the repository at this point in the history

  8. Editorial change: adding anchor

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    408d950 View commit details
    Browse the repository at this point in the history

  9. Editorial change: adding anchor

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    6c0102f View commit details
    Browse the repository at this point in the history

  10. Editorial change: adding anchor

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    3ce731f View commit details
    Browse the repository at this point in the history

  11. Editorial change: adding anchor

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    1929f3f View commit details
    Browse the repository at this point in the history

  12. Editorial change: adding anchor

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    90cecff View commit details
    Browse the repository at this point in the history

  13. Editorial change: adding anchor

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    5261aa1 View commit details
    Browse the repository at this point in the history

  14. Editorial change: adding anchor

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    0ee0f14 View commit details
    Browse the repository at this point in the history

  15. Adding section on record discriminants

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    a06f318 View commit details
    Browse the repository at this point in the history

  16. Editorial change: correcting widget class in code example

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    925ff2e View commit details
    Browse the repository at this point in the history

  17. Editorial change: correcting code style

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    a0fa74c View commit details
    Browse the repository at this point in the history

  18. Adding error indication to code examples

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    0d3ca82 View commit details
    Browse the repository at this point in the history

  19. Editorial change: removing unused package

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    6b9e78b View commit details
    Browse the repository at this point in the history

  20. Editorial change: correcting code style

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    2ca1df2 View commit details
    Browse the repository at this point in the history

  21. Editorial change: aligning title of code example

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    c08ab57 View commit details
    Browse the repository at this point in the history

  22. Improving comments on error using mutable subtypes

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    58f031a View commit details
    Browse the repository at this point in the history

  23. Editorial change: removing todo item

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    a018907 View commit details
    Browse the repository at this point in the history

  24. Editorial change: correcting widget class in code examples

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    5ce7d11 View commit details
    Browse the repository at this point in the history

  25. Editorial changes: correcting grammar

    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    f5bc40c View commit details
    Browse the repository at this point in the history

  26. Small improvements 

    These improvements were suggested during the code review.
    @gusthoff
    gusthoff committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    3003276 View commit details
    Browse the repository at this point in the history