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

Duplication on definitions of the glossaries. #201

Open
AchillesDougalis opened this issue May 7, 2024 · 0 comments
Open

Duplication on definitions of the glossaries. #201

AchillesDougalis opened this issue May 7, 2024 · 0 comments
Labels
type: bug Something implemented incorrectly in a release
Milestone
3.0.0

Comments

@AchillesDougalis
Copy link

Currently, a glossary will display the definition of a concept (predicate or attribute) multiple times if this concept is reused throughout a module.
image
@AchillesDougalis AchillesDougalis added the type: bug Something implemented incorrectly in a release label May 7, 2024
@AchillesDougalis AchillesDougalis mentioned this issue May 7, 2024
Open
@rousso rousso mentioned this issue Oct 13, 2024
Open
@rousso rousso added this to the 3.0.0 milestone Oct 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type: bug Something implemented incorrectly in a release
Projects
None yet
Milestone
3.0.0
Development

No branches or pull requests
2 participants
@rousso @AchillesDougalis