This is TeX, C Version 3.0 (format=lplain 90.7.30)  15 MAR 1992 15:50
**intro.tex
(intro.tex
LaTeX Version 2.09 <7 Dec 1989>
(/usr/lib/tex/macros/article.sty
Document Style `article' <16 Mar 88>.
(/usr/lib/tex/macros/art12.sty)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
) (layout.sty
HOL Course Slide Layout
\rfootbox=\box25
\lfootbox=\box26
) (macros.tex
\stitle=\box27
\blobwidth=\skip41
\pointwidth=\skip42
\subblobwidth=\skip43
\sind=\skip44
\lwid=\skip45
\hsbw=\skip46
) (intro.aux) [1


] [2] [3] [4] [5] [6] [7] (intro.aux) ) 
Here is how much of TeX's memory you used:
 182 strings out of 4463
 1642 string characters out of 63169
 29018 words of memory out of 262141
 2126 multiletter control sequences out of 9500
 19612 words of font info for 74 fonts, out of 72000 for 255
 14 hyphenation exceptions out of 607
 14i,11n,15p,158b,216s stack positions out of 300i,100n,60p,3000b,4000s

Output written on intro.dvi (7 pages, 7312 bytes).
