Annotation of researchv10no/cmd/sml/doc/refman/eval.aux, revision 1.1.1.1

1.1       root        1: \relax 
                      2: \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {3}Evaluation}{6}}
                      3: \@writefile{lof}{\string\addvspace\space {10pt}}
                      4: \@writefile{lot}{\string\addvspace\space {10pt}}
                      5: \newlabel{eval}{{3}{6}}
                      6: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.1}Environments and Values}{6}}
                      7: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.2}Environment manipulation}{7}}
                      8: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.3}Matching patterns}{7}}
                      9: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.4}Applying a match}{9}}
                     10: \newlabel{matchwarn}{{3.4}{9}}
                     11: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.5}Evaluation of expressions}{9}}
                     12: \newlabel{raisematch}{{3.5}{10}}
                     13: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.6}Evaluation of value bindings}{10}}
                     14: \newlabel{raisebind}{{3.6}{10}}
                     15: \newlabel{bindwarn}{{3.6}{10}}
                     16: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.7}Evaluation of type and datatype bindings}{10}}
                     17: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.8}Evaluation of exception bindings}{11}}
                     18: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.9}Evaluation of declarations}{11}}
                     19: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.10}Evaluation of a program}{12}}
                     20: \global\@namedef{cp@eval}{
                     21: \setcounter{page}{13}
                     22: \setcounter{equation}{0}
                     23: \setcounter{enumi}{6}
                     24: \setcounter{enumii}{0}
                     25: \setcounter{enumiii}{0}
                     26: \setcounter{enumiv}{0}
                     27: \setcounter{footnote}{0}
                     28: \setcounter{mpfootnote}{0}
                     29: \setcounter{part}{0}
                     30: \setcounter{chapter}{3}
                     31: \setcounter{section}{10}
                     32: \setcounter{subsection}{0}
                     33: \setcounter{subsubsection}{0}
                     34: \setcounter{paragraph}{0}
                     35: \setcounter{subparagraph}{0}
                     36: \setcounter{figure}{0}
                     37: \setcounter{table}{0}
                     38: }

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.