Skip to content

Commit 4794767

Browse files
authored
Add labels for string variants to avoid duplicates (#37)
1 parent 76951be commit 4794767

1 file changed

Lines changed: 7 additions & 5 deletions

File tree

gap/tmadmin.tmd

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -221,7 +221,7 @@ DeclareGlobalFunction( "AllLibTomNames" );
221221
##
222222
## <#GAPDoc Label="NamesLibTom">
223223
## <ManSection>
224-
## <Attr Name="NamesLibTom" Arg='string'/>
224+
## <Attr Name="NamesLibTom" Arg='string' Label="NamesLibTomString"/>
225225
## <Attr Name="NamesLibTom" Arg='tom'/>
226226
##
227227
## <Returns>
@@ -245,9 +245,10 @@ DeclareAttribute( "NamesLibTom", IsString );
245245
## <#GAPDoc Label="NotifiedFusionsOfLibTom">
246246
## <ManSection>
247247
## <Attr Name="NotifiedFusionsOfLibTom" Arg='tom'/>
248-
## <Attr Name="NotifiedFusionsOfLibTom" Arg='string'/>
248+
## <Attr Name="NotifiedFusionsOfLibTom" Arg='string'
249+
## Label="NotifiedFusionsOfLibTomString"/>
249250
## <Attr Name="FusionsOfLibTom" Arg='tom'/>
250-
## <Attr Name="FusionsOfLibTom" Arg='string'/>
251+
## <Attr Name="FusionsOfLibTom" Arg='string' Label="FusionsOfLibTomString"/>
251252
##
252253
## <Description>
253254
## Are there any fusions from the library table of marks <A>tom</A> or the
@@ -279,9 +280,10 @@ DeclareAttribute( "FusionsOfLibTom", IsString );
279280
## <#GAPDoc Label="NotifiedFusionsToLibTom">
280281
## <ManSection>
281282
## <Attr Name="NotifiedFusionsToLibTom" Arg='tom'/>
282-
## <Attr Name="NotifiedFusionsToLibTom" Arg='string'/>
283+
## <Attr Name="NotifiedFusionsToLibTom" Arg='string'
284+
## Label="NotifiedFusionsToLibTomString"/>
283285
## <Attr Name="FusionsToLibTom" Arg='tom'/>
284-
## <Attr Name="FusionsToLibTom" Arg='string'/>
286+
## <Attr Name="FusionsToLibTom" Arg='string' Label="FusionsToLibTomString"/>
285287
##
286288
## <Description>
287289
## Are there any fusions from other library table of marks to <A>tom</A> or the

0 commit comments

Comments
 (0)