Skip to content

Doc: add missing tables of contents#442

Merged
james-d-mitchell merged 1 commit into
libsemigroups:mainfrom
Joseph-Edwards:missing-toc
May 25, 2026
Merged

Doc: add missing tables of contents#442
james-d-mitchell merged 1 commit into
libsemigroups:mainfrom
Joseph-Edwards:missing-toc

Conversation

@Joseph-Edwards
Copy link
Copy Markdown
Collaborator

Closes #436.

This PR adds tables of contents to the pages that were missing them.

@james-d-mitchell james-d-mitchell added the backport-to-stable A label for PRs merged into `main` that should (at some point) be backported to `stable-X.Y` label May 25, 2026
@james-d-mitchell james-d-mitchell merged commit 56eadc5 into libsemigroups:main May 25, 2026
24 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport-to-stable A label for PRs merged into `main` that should (at some point) be backported to `stable-X.Y` IIF

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add missing tables of contents to the doc

2 participants