This is pdfTeXk, Version 3.14159-1.10b (Web2C 7.4.5) (format=pdftex 2003.9.28)  18 OCT 2003 23:44
 file:line:error style messages enabled.
**/home/www/lojban/level0/level-1/level-1.texinfo
(/home/www/lojban/level0/level-1/level-1.texinfo{/usr/share/texmf/pdftex/config
/pdftex.cfg} (/usr/share/texmf/tex/texinfo/texinfo.tex
Loading texinfo [version 2003-05-04.08]: Basics,
\bindingoffset=\dimen16
\normaloffset=\dimen17
\pagewidth=\dimen18
\pageheight=\dimen19
\outerhsize=\dimen20
\outervsize=\dimen21
\cornerlong=\dimen22
\cornerthick=\dimen23
\topandbottommargin=\dimen24
\headlinebox=\box16
\footlinebox=\box17
\margin=\insert252
\EMsimple=\toks12
\groupbox=\box18
\groupinvalidhelp=\toks13
\mil=\dimen25
\exdentamount=\skip18
\inmarginspacing=\skip19
\currentparindent=\dimen26
 pdf,
\tempnum=\count26
\lnkcount=\count27
\filename=\toks14
\filenamelength=\count28
\pgn=\count29
\toksA=\toks15
\toksB=\toks16
\toksC=\toks17
\toksD=\toks18
\boxA=\box19
\countA=\count30

(/usr/share/texmf/pdftex/plain/misc/pdfcolor.tex) fonts,
\sffam=\fam8
\textleading=\dimen27
\mainmagstep=\count31
\fontdepth=\count32
 page headings,
\titlepagetopglue=\skip20
\titlepagebottomglue=\skip21
\evenheadline=\toks19
\oddheadline=\toks20
\evenfootline=\toks21
\oddfootline=\toks22

tables,
\tableindent=\dimen28
\itemindent=\dimen29
\itemmargin=\dimen30
\itemmax=\dimen31
\itemno=\count33
\multitableparskip=\skip22
\multitableparindent=\skip23
\multitablecolspace=\dimen32
\multitablelinespace=\skip24
\colcount=\count34
\savedfootnotes=\box20
 conditionals, indexing,
\secondaryindent=\skip25
\partialpage=\box21
\doublecolumnhsize=\dimen33
 sectioning,
\chapno=\count35
\secno=\count36
\subsecno=\count37
\subsubsecno=\count38
\appendixno=\count39
\absseclevel=\count40
\secbase=\count41
\chapheadingskip=\skip26
\secheadingskip=\skip27
\subsecheadingskip=\skip28
 toc,
\tocfile=\write0
\contentsrightmargin=\skip29
\savepageno=\count42
\lastnegativepageno=\count43
\shortappendixwidth=\dimen34
\tocindent=\dimen35
 environments,
\errorbox=\box22
\lispnarrowing=\skip30
\envskipamount=\skip31
\circthick=\dimen36
\cartouter=\dimen37
\cartinner=\dimen38
\normbskip=\skip32
\normpskip=\skip33
\normlskip=\skip34
\lskip=\skip35
\rskip=\skip36
\tabw=\dimen39
 defuns,
\defbodyindent=\skip37
\defargsindent=\skip38
\deflastargmargin=\skip39
\parencount=\count44
 macros,
\macscribble=\write1
\paramno=\count45
\macname=\toks23

cross references,
\auxfile=\write2
\savesfregister=\count46
\footnoteno=\count47
 (/usr/share/texmf/tex/generic/dvips/epsf.tex
\epsffilein=\read0
\epsfframemargin=\dimen40
\epsfframethickness=\dimen41
\epsfrsize=\dimen42
\epsftmp=\dimen43
\epsftsize=\dimen44
\epsfxsize=\dimen45
\epsfysize=\dimen46
\pspoints=\dimen47
\epsfnoopenhelp=\toks24
)
\noepsfhelp=\toks25
 localization,
\nolanghelp=\toks26
\defaultparindent=\dimen48

and turning on texinfo input format.)
@cpindfile=@write3
@fnindfile=@write4
@vrindfile=@write5
@tpindfile=@write6
@kyindfile=@write7
@pgindfile=@write8
 [1
\openout2 = `level-1.aux'.

\openout3 = `level-1.cp'.

\openout4 = `level-1.fn'.

\openout5 = `level-1.vr'.

\openout6 = `level-1.tp'.

\openout7 = `level-1.ky'.

\openout8 = `level-1.pg'.

{/usr/share/texmf/dvips/config/pdftex.map}]
Missing character: There is no ^^a9 in font cmr10!
 [2] [-1] ()
\openout0 = `level-1.toc'.

 Chapter 1 [1]
Missing character: There is no ^^e2 in font cmr10!
 [2]
Missing character: There is no ^^e2 in font cmr10!
 [3]
Missing character: There is no ^^e2 in font cmr10!
Missing character: There is no ^^c3 in font cmr10!
Missing character: There is no ^^bc in font cmr10!
Missing character: There is no ^^e2 in font cmr10!
 [4]
Missing character: There is no ^^e2 in font cmr10!
 [5]
Missing character: There is no ^^e2 in font cmr10!
 [6] [7]
Missing character: There is no ^^e2 in font cmr10!
 [8] [9]
Missing character: There is no ^^e2 in font cmr10!
Missing character: There is no ^^e2 in font cmr10!
Missing character: There is no ^^e2 in font cmr10!
Missing character: There is no ^^e2 in font cmr10!
 [10]
Missing character: There is no ^^e2 in font cmr10!
 [11