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

Context fragment of contained single entity #2009

Open
wants to merge 10 commits into
base: main
Choose a base branch
from
+597 −574
Open

Context fragment of contained single entity #2009

Show file tree
Hide file tree
Changes from 7 commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
1b061b5
context fragment of contained single entity
HeikoTheissen Oct 3, 2024
4ac93f8
Define all terms used in the template
HeikoTheissen Oct 4, 2024
aa51ff3
@ralfhandl's suggestion
HeikoTheissen Oct 10, 2024
39e9a53
Weed out `{singleton}`
HeikoTheissen Oct 10, 2024
68993ff
TC 2024-10-16
HeikoTheissen Oct 17, 2024
afca4ee
Avoid "single entity", except for targets of single-valued containment
HeikoTheissen Oct 17, 2024
24aa800
Merge remote-tracking branch 'origin/main' into
HeikoTheissen Oct 17, 2024
e28bd96
TC 2024-10-23
HeikoTheissen Oct 24, 2024
3e18d77
TC 2024-11-06
HeikoTheissen Nov 7, 2024
9d66ea1
Merge remote-tracking branch 'origin/main' into
HeikoTheissen Nov 7, 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