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