\relax 
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\newlabel{`conventions'}{{1}{1}}
\@writefile{lot}{\string\contentsline\space {table}{\string\numberline\space {1}{\ignorespaces Document conventions}}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Features}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Using EVE\unhbox \voidb@x \kern .06em \vbox {\hrule width.3em}EDT}{2}}
\newlabel{`definitions'}{{2}{3}}
\@writefile{lot}{\string\contentsline\space {table}{\string\numberline\space {2}{\ignorespaces Key Definitions}}{3}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Changes from EDT}{4}}