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

Show file tree
Hide file tree
Changes from 36 commits
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
52750bf
More consistent non-syntax variant of definining annotations.
HansOlsson Nov 21, 2023
7842e89
Need mathescape
HansOlsson Nov 21, 2023
efff72f
Remove bindings for these as well.
HansOlsson Nov 22, 2023
0d29c5f
Explain what annotation definitions mean.
HansOlsson Dec 1, 2023
65505e9
Apply it to the new annotations and some old.
HansOlsson Dec 1, 2023
b107f81
Reduce it further
HansOlsson Dec 1, 2023
d07b419
Apply suggestions from code review
HansOlsson Jan 5, 2024
5d43d23
Add description of what a default value in record means.
HansOlsson Jan 5, 2024
1aafeb5
Use constant instead of parameter for the time being.
HansOlsson Jan 23, 2024
61349fa
Add constant everywhere where applicable, and parameter for the speci…
HansOlsson Jan 23, 2024
32cc58d
Move how-to-interpret earlier in the chapter.
HansOlsson Jan 23, 2024
93d01eb
Add note about annotation-syntax in Introduction.
HansOlsson Jan 23, 2024
498839d
According to comments.
HansOlsson Feb 15, 2024
ddd8df9
According to decision, add comment in front.
HansOlsson Feb 22, 2024
8bc28a8
Apply suggestions from code review
HansOlsson Mar 12, 2024
4ef0f65
More advanced suggestions from code review.
HansOlsson Mar 12, 2024
65f4cf4
Update chapters/annotations.tex
HansOlsson Mar 12, 2024
0ccd6f4
Merge branch 'master' into AnnotationVars
HansOlsson Mar 12, 2024
c59e23b
Update chapters/annotations.tex
HansOlsson Mar 14, 2024
94b19aa
Rename new label.
HansOlsson Mar 14, 2024
3fdffb9
Apply suggestions from code review
HansOlsson Mar 14, 2024
73f5d9e
Cleanup based on comments.
HansOlsson Mar 14, 2024
d89907c
WSRemoval
HansOlsson Mar 15, 2024
8f5ca14
Update chapters/annotations.tex
HansOlsson Apr 8, 2024
e4ab6b7
Clarify missing values.
HansOlsson May 31, 2024
970ff5b
Merge branch 'master' into AnnotationVars
HansOlsson Jun 18, 2024
d17708f
Apply suggestions from code review
HansOlsson Jun 27, 2024
9fc1b4d
ReorderAsSuggested
HansOlsson Jun 27, 2024
81816cc
Apply suggestions from code review
HansOlsson Jul 1, 2024
93e6e96
DefaultForDocumentationClass
HansOlsson Jul 1, 2024
e0283ff
DefaultViewHandling
HansOlsson Jul 1, 2024
4e13161
DefaultValue
HansOlsson Jul 1, 2024
d6dd28f
SingleInstanceReformulation
HansOlsson Jul 1, 2024
aa6ce47
Remove the problematic defaults.
HansOlsson Sep 10, 2024
41f9c57
Apply suggestions from code review
HansOlsson Oct 6, 2024
f3ce16e
Update chapters/annotations.tex
HansOlsson Oct 6, 2024
d8ec36a
Update chapters/annotations.tex
HansOlsson Oct 7, 2024
de2bb83
Update chapters/annotations.tex
HansOlsson Oct 7, 2024
ff1af18
From review.
HansOlsson Oct 7, 2024
834c440
Merge branch 'master' into AnnotationVars
HansOlsson Nov 6, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading