You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In Semigroups v4.0.0, we started using autodoc to produce the documentation, this has a number of advantages, and can be used with the current documentation sources (i.e. doesn't require to re-write the manual completely). I was prompted to make this issue by @mtorpey's comment on #549, about where to add author's names, if we convert to using autodoc, then we will only have to put the author's in a single place.
The text was updated successfully, but these errors were encountered:
james-d-mitchell
added
doc
Issues, bugs, pull requests relating to the documentation
technical
A necessary technical change, not interesting mathematically/feature-wise
labels
Jun 27, 2022
In Semigroups v4.0.0, we started using autodoc to produce the documentation, this has a number of advantages, and can be used with the current documentation sources (i.e. doesn't require to re-write the manual completely). I was prompted to make this issue by @mtorpey's comment on #549, about where to add author's names, if we convert to using autodoc, then we will only have to put the author's in a single place.
The text was updated successfully, but these errors were encountered: