Skip to content

Commit

Permalink
Update doc/ref/grplib.xml
Browse files Browse the repository at this point in the history
Co-authored-by: Max Horn <max@quendi.de>
  • Loading branch information
hulpke and fingolfin authored Sep 29, 2020
1 parent 9a8895f commit b4f08a6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/ref/grplib.xml
Original file line number Diff line number Diff line change
Expand Up @@ -104,7 +104,7 @@ calculations.
For groups created as finitely presented groups, including polycyclic groups, the
generators are labelled, by default, with a letter and a number. Using the
option <C>generatorNames</C> it is possible to influcence this naming. If
this option holds a string, the generators are named with this sting and
this option holds a string, the generators are named with this string and
numbers, if a list of strings of sufficient length is given, the generator
names are taken from this list of strings.
<P/>
Expand Down

0 comments on commit b4f08a6

Please sign in to comment.