Skip to content

Fix typos, some minor wording adjustments#156

Merged
gares merged 1 commit into
math-comp:masterfrom
siraben:typos-wording
Oct 7, 2025
Merged

Fix typos, some minor wording adjustments#156
gares merged 1 commit into
math-comp:masterfrom
siraben:typos-wording

Conversation

@siraben

@siraben siraben commented Sep 11, 2025

Copy link
Copy Markdown
Contributor

No description provided.

@siraben

siraben commented Sep 11, 2025

Copy link
Copy Markdown
Contributor Author

cc @gares

@gares

gares commented Sep 11, 2025

Copy link
Copy Markdown
Member

thanks!

Comment thread tex/chHierarchy.tex Outdated

@gares gares left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks. SortClass should stay Sortclass, plus I have a few minor comments here.

Comment thread tex/chProofLanguage.tex Outdated
Comment thread tex/chProofLanguage.tex Outdated
@siraben

siraben commented Sep 13, 2025

Copy link
Copy Markdown
Contributor Author

Thanks for the approve!

@siraben

siraben commented Sep 22, 2025

Copy link
Copy Markdown
Contributor Author

@gares can we get this merged?

@siraben

siraben commented Oct 5, 2025

Copy link
Copy Markdown
Contributor Author

@gares let's get it in before it's stale

@gares gares merged commit 93a266d into math-comp:master Oct 7, 2025
1 check passed
@siraben siraben deleted the typos-wording branch October 8, 2025 06:54
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.

2 participants