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
encukou merged 15 commits into from
Mar 19, 2025
Merged

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

Changes from 1 commit
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
Prev Previous commit
Next Next commit
Merge in the main branch
  • Loading branch information
@encukou
encukou committed Feb 26, 2025
commit 90cd1e2d4e059072dcbbb6ea3f6cd90999d760ee

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.