Skip to content

Rename some AST nodes slightly#863

Merged
tmke8 merged 1 commit intomainfrom
push-pmzyxzmvtnpo
Mar 2, 2026
Merged

Rename some AST nodes slightly#863
tmke8 merged 1 commit intomainfrom
push-pmzyxzmvtnpo

Conversation

@tmke8
Copy link
Owner

@tmke8 tmke8 commented Mar 2, 2026

closes #800

@github-actions
Copy link

github-actions bot commented Mar 2, 2026

Wasm sizes:
Base branch: 118396 bytes
PR: 118407 bytes
Size diff: +11 bytes (0.01%)

@tmke8 tmke8 force-pushed the push-pmzyxzmvtnpo branch from 1f1dafd to 627c03d Compare March 2, 2026 11:26
@github-actions
Copy link

github-actions bot commented Mar 2, 2026

Wasm sizes:
Base branch: 118396 bytes
PR: 118407 bytes
Size diff: +11 bytes (0.01%)

@tmke8 tmke8 merged commit 479def0 into main Mar 2, 2026
12 checks passed
@tmke8 tmke8 deleted the push-pmzyxzmvtnpo branch March 2, 2026 11:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Align the AST node names more with the MathML element names

1 participant