This is TeX, Version 3.14159 (Web2C 7.3.1) (format=tex 2002.4.12)  26 AUG 2003 16:42
**manual
(manual.tex (../../../doc/gapmacro.tex
(/usr/share/texmf/tex/plain/amsfonts/amssym.tex
(/usr/share/texmf/tex/plain/amsfonts/amssym.def
\msafam=\fam8
\msbfam=\fam9
\eufmfam=\fam10
))
Running TeX
\pagewidth=\dimen16
\pageheight=\dimen17
\colwidth=\dimen18
\partialpage=\box16
\origvsize=\dimen19
\manindent=\dimen20
\smallmanindent=\dimen21
\msbfam=\fam11
\labelout=\write0
\indexout=\write1
\secindout=\write2
\tocout=\write3
\citeout=\write4
\ans=\write5
\labelin=\read0
\indexin=\read1
\tocin=\read2
\citein=\read3
\secno=\count26
\subsecno=\count27
\exno=\count28
\indentno=\count29
\chapnum=\count30
\ortoks=\toks12
) (../../../doc/ext/manual.lab) (../../../doc/ref/manual.lab) [1]
\makelabel{kbmag:Contents}{{\setbox 0=\hbox {1}\vrule width 0pt height\ht 0}}
Chapter `Contents' .
(manual.toc) [2.1
\chapcontents {\tocstrut }{Contents}{2}
] (manual.lab)
\openout3 = `manual.toc'.

\openout0 = `manual.lab'.

\openout1 = `manual.idx'.

\openout2 = `manual.six'.

\openout4 = `manual.aux'.

 (kbmag.tex
Chapter `KBMAG' .

Overfull \hbox (0.10492pt too wide) in paragraph at lines 19--28
[]\sf KBMAG \tenrm (pro-nounced \Kay-bee-mag'') stands for \tenbf Knuth--Bendix
 on Monoids, and Au-to-matic Groups\tenrm .|

\hbox(7.5+2.5)x468.0, glue set - 1.0
.\hbox(0.0+0.0)x0.0
.\sf K
.\sf B
.\sf M
.\sf A
.etc.

[3.1] [4.1] [5.1] [6.1] [7.1] [8.1] [9.1] [10.1] [11.1] [12.1] [13.1] [14.1]
[15.1] [16.1]
Overfull \hbox (0.55168pt too wide) in paragraph at lines 1057--1058
[]\tentt AutomaticStructureOnCosetsWithSubgroupPresentation(\tenit rws\tentt , 
\tenit sub-rws\tentt , [\tenit large\tentt ], [\tenit file-store\tentt ], [\ten
it diff1\tentt ])|

\hbox(6.94444+2.22223)x468.0
.\hbox(5.33704+0.0)x0.0, glue set - 17.22229fil
..\glue 0.0 plus 1.0fil minus 1.0fil
..\smallrom 2
..\kern 1.72221
..\hbox(3.95929+0.52972)x6.25002, shifted -1.37775
...\sevenmsa I
..\kern 5.0
.\tentt A
.\tentt u
.\tentt t
.\tentt o
.etc.

[17.1] [18.1] [19.1] [20.1] [21.1] [22.1] [23.1] [24.1]) [25.1]
Chapter `Bibliography' .
(manual.bbl) [26.2]
Chapter `Index' .
(manual.ind
Overfull \hbox (37.2755pt too wide) in paragraph at lines 14--14
[]\tentt AutomaticStructureOnCosetsWithSubgroupPresentation\tenrm , |

\hbox(6.11111+2.22223)x228.0
.\hbox(0.0+0.0)x0.0
.\tentt A
.\tentt u
.\tentt t
.\tentt o
.etc.


Overfull \hbox (0.52582pt too wide) in paragraph at lines 35--35
[]\tentt ExternalWordToInternalWordOfRewritingSystem\tenrm , |

\hbox(6.11111+2.22223)x228.0
.\hbox(0.0+0.0)x0.0
.\tentt E
.\tentt x
.\tentt t
.\tentt e
.etc.


Overfull \hbox (0.52582pt too wide) in paragraph at lines 52--52
[]\tentt InternalWordToExternalWordOfRewritingSystem\tenrm , |

\hbox(6.11111+2.22223)x228.0
.\hbox(0.0+0.0)x0.0
.\tentt I
.\tentt n
.\tentt t
.\tentt e
.etc.


Overfull \hbox (16.27568pt too wide) in paragraph at lines 71--71
[]\tentt KnuthBendixOnCosetsWithSubgroupRewritingSystem\tenrm , |

\hbox(6.11111+2.22223)x228.0
.\hbox(0.0+0.0)x0.0
.\tentt K
.\tentt n
.\tentt u
.\tentt t
.etc.

[27.3]
Overfull \hbox (5.77577pt too wide) in paragraph at lines 92--92
[]\tentt PresentationOfSubgroupOfKBMAGRewritingSystem\tenrm , |

\hbox(6.11111+2.22223)x228.0
.\hbox(0.0+0.0)x0.0
.\tentt P
.\tentt r
.\tentt e
.\tentt s
.etc.


Overfull \hbox (21.52563pt too wide) in paragraph at lines 110--110
[]\tentt RewritingSystemOfSubgroupOfKBMAGRewritingSystem\tenrm , |

\hbox(6.11111+2.22223)x228.0
.\hbox(0.0+0.0)x0.0
.\tentt R
.\tentt e
.\tentt w
.\tentt r
.etc.

) [28.3]
##
## Citations for BibTeX written on manual.aux.
## Index entries for makeindex written on manual.idx.
## Section index entries written on manual.six.
## Label definitions written on manual.lab.
## Table of contents written on manual.toc.
## Labels have changed, run again. (Or they were multiply defined.)
##
 )
Output written on manual.dvi (28 pages, 85504 bytes).
