Skip to content

gh-130587: Add hand-written docs for non-OP tokens #130588

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

Merged
merged 15 commits into from
Mar 19, 2025
Merged

gh-130587: Add hand-written docs for non-OP tokens #130588

Show file tree
Hide file tree
Changes from 12 commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
7129f00
generate_tokens.py: Only generate docs for 'literal' tokens; check th…
encukou Jan 22, 2025
d400ae7
Change docs for the "literal" tokens to a list-table
encukou Jan 22, 2025
352611b
Merge in the main branch
encukou Feb 12, 2025
4411c37
Document most of the tokens; improve top-level grammar docs link ENDM…
encukou Feb 12, 2025
1bf5511
Write prose; reorganize the token list
encukou Feb 19, 2025
e1e498b
Fixups
encukou Feb 19, 2025
56c5d7c
Merge in the main branch
encukou Feb 19, 2025
8bbbb0f
Correct directive name
encukou Feb 19, 2025
eed407e
Don't use the Gather syntax
encukou Feb 19, 2025
0dd236f
Revert some changes to the toplevel_components
encukou Feb 26, 2025
90cd1e2
Merge in the main branch
encukou Feb 26, 2025
dca268e
Revert an order change
encukou Feb 26, 2025
e02ced8
Apply suggestions from code review
encukou Feb 27, 2025
02fff75
Add a note and reword OP docs
encukou Mar 5, 2025
9b6eb2a
Apply suggestions from code review
encukou Mar 5, 2025
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
329 changes: 101 additions & 228 deletions Doc/library/token-list.inc
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading