Tags in the manual genre have poor behavior with spaces
Nobody has claimed this yet.
Assessment
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Newbie friendliness
- 65/100
- Issue type
- Bug
- Clarity
- Mostly clear
- Activity status
- Active
- Domain
- documentation
Research direction
Start by reproducing the failure with a section tag containing a space in the manual genre, then trace how tags are parsed and referenced. Done means spaced tags resolve correctly, or the manual clearly rejects them and references behave consistently.
Written by the indexing model from the issue text.
Description
If a section tag has a space in it, then references to it fail. Either this should work, or they should not be allowed to contain spaces.
- Dominant language
- Lean
- Stars
- 384
- Forks
- 124
- Avg merge
- 22h 28m
- Merged PRs (30d)
- 10
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from leanprover/verso
-
Difficulty 1/5 Under an hour Newbie friendliness 82/100
leanprover/verso#898 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 85/100
leanprover/verso#897 ·
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
leanprover/verso#980 · 1 comment ·
-
verso-literate attaches a declaration's docstring to a constant defined by one of its attributes Open
Difficulty 3/5 1-2 days Newbie friendliness 65/100
leanprover/verso#979 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 74/100
leanprover/verso#976 ·
All issues in leanprover/verso
Similar issues
-
user-reported
Difficulty 2/5 1-3 hours Newbie friendliness 85/100
Kong/developer.konghq.com#7316 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
HarperFast/skills#96 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
infinispan/infinispan#18150 ·
-
bug triage:deciding
Difficulty 1/5 Under an hour Newbie friendliness 88/100
open-telemetry/otel-arrow#4132 ·
-
Ecosystem: ClawMetry — the Qwen Code reader is now free and open source (follow-up to #9294 / #9338) Opencategory/integration priority/P3 scope/documentation status/ready-for-human type/feature-request
Difficulty 1/5 Under an hour Newbie friendliness 84/100