Skip to content

Update install rst#285

Merged
Joseph-Edwards merged 5 commits into
libsemigroups:v1from
james-d-mitchell:update-install-rst
Jun 27, 2025
Merged

Update install rst#285
Joseph-Edwards merged 5 commits into
libsemigroups:v1from
james-d-mitchell:update-install-rst

Conversation

@james-d-mitchell

Copy link
Copy Markdown
Member

No description provided.

@Joseph-Edwards Joseph-Edwards left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Looks mostly good to me. I have made a few stylistic comments, and pointed out some small mistakes, but otherwise good to me. Thanks @james-d-mitchell

Comment thread docs/source/install.rst Outdated
Comment thread docs/source/install.rst
Comment thread docs/source/install.rst
Comment thread docs/source/install.rst Outdated
@Joseph-Edwards Joseph-Edwards merged commit fa3f895 into libsemigroups:v1 Jun 27, 2025
13 checks passed
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