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

Define more annotations as declarations #3448

Merged
merged 40 commits into from
Nov 6, 2024
Merged

Define more annotations as declarations #3448

merged 40 commits into from
Nov 6, 2024

Commits on Nov 21, 2023

  1. More consistent non-syntax variant of definining annotations.

    @HansOlsson
    HansOlsson committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    52750bf View commit details
    Browse the repository at this point in the history

  2. Need mathescape

    @HansOlsson
    HansOlsson committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    7842e89 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. Remove bindings for these as well.

    @HansOlsson
    HansOlsson committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    efff72f View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. Explain what annotation definitions mean.

    @HansOlsson
    HansOlsson committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    0d29c5f View commit details
    Browse the repository at this point in the history

  2. Apply it to the new annotations and some old.

    @HansOlsson
    HansOlsson committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    65505e9 View commit details
    Browse the repository at this point in the history

  3. Reduce it further

    @HansOlsson
    HansOlsson committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    b107f81 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Henrik Tidefelt <[email protected]>
    @HansOlsson @henrikt-ma
    HansOlsson and henrikt-ma authored Jan 5, 2024
    Configuration menu
    Copy the full SHA
    d07b419 View commit details
    Browse the repository at this point in the history

  2. Add description of what a default value in record means.

    @HansOlsson
    HansOlsson committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    5d43d23 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2024

  1. Use constant instead of parameter for the time being.

    @HansOlsson
    HansOlsson committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    1aafeb5 View commit details
    Browse the repository at this point in the history

  2. Add constant everywhere where applicable, and parameter for the speci… 

    …fic enable-case.
    @HansOlsson
    HansOlsson committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    61349fa View commit details
    Browse the repository at this point in the history

  3. Move how-to-interpret earlier in the chapter.

    @HansOlsson
    HansOlsson committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    32cc58d View commit details
    Browse the repository at this point in the history

  4. Add note about annotation-syntax in Introduction.

    @HansOlsson
    HansOlsson committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    93d01eb View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2024

  1. According to comments.

    @HansOlsson
    HansOlsson committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    498839d View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. According to decision, add comment in front.

    @HansOlsson
    HansOlsson committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    ddd8df9 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Henrik Tidefelt <[email protected]>
    @HansOlsson @henrikt-ma
    HansOlsson and henrikt-ma authored Mar 12, 2024
    Configuration menu
    Copy the full SHA
    8bc28a8 View commit details
    Browse the repository at this point in the history

  2. More advanced suggestions from code review.

    @HansOlsson
    HansOlsson committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    4ef0f65 View commit details
    Browse the repository at this point in the history

  3. Update chapters/annotations.tex 

    Co-authored-by: Henrik Tidefelt <[email protected]>
    @HansOlsson @henrikt-ma
    HansOlsson and henrikt-ma authored Mar 12, 2024
    Configuration menu
    Copy the full SHA
    65f4cf4 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into AnnotationVars

    @HansOlsson
    HansOlsson authored Mar 12, 2024
    Configuration menu
    Copy the full SHA
    0ccd6f4 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2024

  1. Update chapters/annotations.tex

    @HansOlsson
    HansOlsson authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    c59e23b View commit details
    Browse the repository at this point in the history

  2. Rename new label.

    @HansOlsson
    HansOlsson committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    94b19aa View commit details
    Browse the repository at this point in the history

  3. Apply suggestions from code review 

    Co-authored-by: Elena Shmoylova <[email protected]>
    @HansOlsson @eshmoylova
    HansOlsson and eshmoylova authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    3fdffb9 View commit details
    Browse the repository at this point in the history

  4. Cleanup based on comments.

    @HansOlsson
    HansOlsson committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    73f5d9e View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. WSRemoval

    @HansOlsson
    HansOlsson committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    d89907c View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2024

  1. Update chapters/annotations.tex 

    Co-authored-by: Henrik Tidefelt <[email protected]>
    @HansOlsson @henrikt-ma
    HansOlsson and henrikt-ma authored Apr 8, 2024
    Configuration menu
    Copy the full SHA
    8f5ca14 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. Clarify missing values.

    @HansOlsson
    HansOlsson committed May 31, 2024
    Configuration menu
    Copy the full SHA
    e4ab6b7 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. Merge branch 'master' into AnnotationVars

    @HansOlsson
    HansOlsson authored Jun 18, 2024
    Configuration menu
    Copy the full SHA
    970ff5b View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Henrik Tidefelt <[email protected]>
    @HansOlsson @henrikt-ma
    HansOlsson and henrikt-ma authored Jun 27, 2024
    Configuration menu
    Copy the full SHA
    d17708f View commit details
    Browse the repository at this point in the history

  2. ReorderAsSuggested

    @HansOlsson
    HansOlsson committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    9fc1b4d View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Henrik Tidefelt <[email protected]>
    @HansOlsson @henrikt-ma
    HansOlsson and henrikt-ma authored Jul 1, 2024
    Configuration menu
    Copy the full SHA
    81816cc View commit details
    Browse the repository at this point in the history

  2. DefaultForDocumentationClass

    @HansOlsson
    HansOlsson committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    93e6e96 View commit details
    Browse the repository at this point in the history

  3. DefaultViewHandling

    @HansOlsson
    HansOlsson committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    e0283ff View commit details
    Browse the repository at this point in the history

  4. DefaultValue

    @HansOlsson
    HansOlsson committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    4e13161 View commit details
    Browse the repository at this point in the history

  5. SingleInstanceReformulation

    @HansOlsson
    HansOlsson committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    d6dd28f View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

  1. Remove the problematic defaults.

    @HansOlsson
    HansOlsson committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    aa6ce47 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Henrik Tidefelt <[email protected]>
    @HansOlsson @henrikt-ma
    HansOlsson and henrikt-ma authored Oct 6, 2024
    Configuration menu
    Copy the full SHA
    41f9c57 View commit details
    Browse the repository at this point in the history

  2. Update chapters/annotations.tex 

    Co-authored-by: Henrik Tidefelt <[email protected]>
    @HansOlsson @henrikt-ma
    HansOlsson and henrikt-ma authored Oct 6, 2024
    Configuration menu
    Copy the full SHA
    f3ce16e View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. Update chapters/annotations.tex

    @HansOlsson
    HansOlsson authored Oct 7, 2024
    Configuration menu
    Copy the full SHA
    d8ec36a View commit details
    Browse the repository at this point in the history

  2. Update chapters/annotations.tex

    @HansOlsson
    HansOlsson authored Oct 7, 2024
    Configuration menu
    Copy the full SHA
    de2bb83 View commit details
    Browse the repository at this point in the history

  3. From review.

    @HansOlsson
    HansOlsson committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    ff1af18 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2024

  1. Merge branch 'master' into AnnotationVars

    @HansOlsson
    HansOlsson authored Nov 6, 2024
    Configuration menu
    Copy the full SHA
    834c440 View commit details
    Browse the repository at this point in the history