Skip to content

Proof AOTMARK #566#856

Closed
ghost wants to merge 1 commit intomasterfrom
unknown repository
Closed

Proof AOTMARK #566#856
ghost wants to merge 1 commit intomasterfrom
unknown repository

Conversation

@ghost
Copy link
Copy Markdown

@ghost ghost commented Jan 13, 2022

Proof read AOTMARK pages. I made several changes with space formatting and changed several -- to - to match scanned source code images. Closes #566

… formatting and changed several -- to - to match scanned source code images.
@github-actions github-actions Bot added the Type: Proof Comanche55 and Luminary99 files label Jan 13, 2022
@wopian wopian self-requested a review January 13, 2022 11:30
@wopian wopian self-assigned this Jan 13, 2022
@wopian wopian added this to the Luminary099 milestone Jan 13, 2022
@ghost ghost closed this by deleting the head repository Oct 18, 2025
@wopian wopian removed their request for review October 22, 2025 14:11
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Status: Review Needed Type: Proof Comanche55 and Luminary99 files

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Proof AOTMARK

1 participant