From 8bda8fb647334e17f94b8cfc85650c319d009512 Mon Sep 17 00:00:00 2001 From: stertooy <5571903+stertooy@users.noreply.github.com> Date: Fri, 17 Oct 2025 17:46:32 +0200 Subject: [PATCH] Add labels for string variants to avoid duplicates --- gap/tmadmin.tmd | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/gap/tmadmin.tmd b/gap/tmadmin.tmd index 794338d..c8f30d0 100644 --- a/gap/tmadmin.tmd +++ b/gap/tmadmin.tmd @@ -221,7 +221,7 @@ DeclareGlobalFunction( "AllLibTomNames" ); ## ## <#GAPDoc Label="NamesLibTom"> ## -## +## ## ## ## @@ -245,9 +245,10 @@ DeclareAttribute( "NamesLibTom", IsString ); ## <#GAPDoc Label="NotifiedFusionsOfLibTom"> ## ## -## +## ## -## +## ## ## ## Are there any fusions from the library table of marks tom or the @@ -279,9 +280,10 @@ DeclareAttribute( "FusionsOfLibTom", IsString ); ## <#GAPDoc Label="NotifiedFusionsToLibTom"> ## ## -## +## ## -## +## ## ## ## Are there any fusions from other library table of marks to tom or the