\relax 
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Usage notes}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Interfaces for style file designers}{2}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.1}Simple examples}{2}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.2}The interfaces}{2}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}The implementation}{4}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}Preliminaries}{4}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.2}The {\string\ptt\space verbatim} and {\string\ptt\space verbatim*} environments}{5}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.3}The {\string\ptt\space comment} environment}{6}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.4}The main loop}{7}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.5}The {\string\ptt\space \verbatiminput} command}{12}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.6}Redefinition of the {\string\ptt\space \verb} command.}{13}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Usage notes}{15}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Interfaces for style file designers}{15}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.1}The interface}{15}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.2}Simple examples}{15}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}The Implementation}{16}}