This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
topics:custom-ident-case-sensitivity [2012/07/23 17:59] – [Data entry] fantasai | topics:custom-ident-case-sensitivity [2013/03/13 10:01] – fantasai | ||
---|---|---|---|
Line 4: | Line 4: | ||
Spec_tags | Spec_tags | ||
Owner_tags | Owner_tags | ||
- | Status_tags | + | Status_tags |
Added_dt | Added_dt | ||
- | Action | + | Action |
Issue_urls | Issue_urls | ||
Proposal_urls : http:// | Proposal_urls : http:// | ||
Line 35: | Line 35: | ||
- @counter-style names are always case-insensitive | - @counter-style names are always case-insensitive | ||
- via Unicode case-folding | - via Unicode case-folding | ||
- | | + | - via ASCII case-insensitivity |
+ | - via Unicode lowercasing | ||
+ | - Something else? | ||
- @counter-style names are always case-sensitive; | - @counter-style names are always case-sensitive; | ||
- @counter-style names are case-sensitive, | - @counter-style names are case-sensitive, | ||
Line 48: | Line 50: | ||
objects, but these only map codepoints one-to-one and are not proper | objects, but these only map codepoints one-to-one and are not proper | ||
case folding.) | case folding.) | ||
+ | |||
+ | === Resolution === | ||
+ | |||
+ | Resolved on #3. | ||