Remove TODOs from Doc

doc/LINS.bib

@@ -0,0 +1,7 @@
+@phdthesis{Firth,
+ type = {Ph.D. thesis},
+ author = {David Firth},
+ school = {University of Warwick},
+ title = {An Algorithm to Find Normal Subgroups of a Finitely Presented Group, up to a Given Finite Index},
+ year = {2005},
+}

doc/intro.xml

@@ -11,8 +11,9 @@ The package &LINS; provides an algorithm for computing the normal subgroups of a
 Moreover it provides an interface for searching in the normal subgroup lattice of a finitely presented group.
 For example, one can use this interface to search for <M>l</M> normal subgroups of index <M>n</M>. <P/>
 
-The algorithm is based on work of Derek Holt and David Firth.
-They have implemented this algorithm in the algebra software MAGMA. <P/>
+The algorithm is based on work of David Firth <Cite Key="Firth"/>.
+He implemented that algorithm in the algebra software MAGMA.
+That implementation in MAGMA has been revised and rewritten to a great extent by Derek Holt. <P/>
 
 The current implementation in &GAP; uses a table of groups that was computed by the code in <F>createTables.gi</F>.
 

doc/lins_search.xml

@@ -1,23 +1,9 @@
 <Chapter Label="LINS Search">
 <Heading>LINS Search</Heading>
 
-This chapter is for advanced users and those interested in a brief introduction to the mathematical background of &LINS;.
+This chapter is for advanced users and those interested in a brief introduction to the mathematical background of &LINS;. <P/>
 
-<Section Label="LINS Search Strategy">
-<Heading>LINS Search Strategy</Heading>
-
-In this section, we briefly introduce the basic search strategy for normal subgroups. <P/>
-
-TODO
-
-</Section>
-
-<Section Label="LINS Target Tables">
-<Heading>LINS Target Tables</Heading>
-
-TODO
-
-</Section>
+<B>(NOTE: The internal options below might change during further development!)</B>
 
 <Section Label="LINS Search Options">
 <Heading>LINS Search Options</Heading>
@@ -118,15 +104,4 @@ with elementary abelian <A>p</A>-quotient in <A>rH</A> should be computed.
 
 </Section>
 
-<Section Label="LINS Custom Search Functions">
-<Heading>LINS Custom Search Functions</Heading>
-
-In this section we explain how to write a custom search function by using the options for <C>LowIndexNormalSubgroupsSearch</C>. <P/>
-
-We explain this on the example of <C>LowIndexNormalSubgroupsSearchForIndex</C>. <P/>
-
-TODO
-
-</Section>
-
 </Chapter>

gap/LINS.gd

@@ -181,7 +181,7 @@ DeclareAttribute( "LinsOptions", IsLinsGraph, "mutable" );
 ## <Description>
 ## Returns a list of all normal subgroups of <A>G</A> with index at most <A>n</A>.
 ## If the option <A>allSubgroups</A> is set to <K>false</K>,
-## then onlye the normal subgroups of <A>G</A> with index equal to <A>n</A> are returned. <P/>
+## then only the normal subgroups of <A>G</A> with index equal to <A>n</A> are returned. <P/>
 ##
 ## The generic method uses <Ref BookName="Reference" Attr="IsomorphismFpGroup"/> to transform <A>G</A> into an fp-group
 ## and then calls some variant of the low-level function <Ref Func="LowIndexNormalSubgroupsSearch"/>. <P/>