This is TeX, C Version 3.14t3 (format=lplain 93.7.6) 24 JUL 1996 12:42 **demystified.tex (demystified.tex LaTeX Version 2.09 <14 January 1991> (/ccs/apps/tex/lib/inputs/article.sty Document Style `article' <16 Mar 88>. (/ccs/apps/tex/lib/inputs/art11.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 ) (demystified.aux) [1 ] Overfull \hbox (0.79895pt too wide) in paragraph at lines 88--88 []\elvtt Abstraction_Exp = "fn" Ident "=>" Exp .[] \hbox(6.69167+2.43333)x360.0 .\glue(\leftskip) 27.37506 .\hbox(0.0+0.0)x0.0 .\elvtt A .\elvtt b .\elvtt s .etc. [2] Overfull \hbox (0.59001pt too wide) in paragraph at lines 99--106 [] []\elvrm Demeter also al-lows al-ter-na-tion classes to have other al-ter-na -tion classes \hbox(7.60416+0.0)x332.62494, glue set - 1.0 .\hbox(0.0+0.0)x0.0 .\glue 0.0 .\hbox(7.05666+0.0)x0.0 ..\glue 0.0 ..\glue -21.90005 ..\glue -5.475 ..\hbox(7.05666+0.0)x21.90005, glue set 21.90005fil ...\glue 0.0 plus 1.0fil minus 1.0fil ...\hbox(7.05666+0.0)x0.0, glue set - 8.51668fil [] ..\glue 5.475 .\penalty 0 .\elvrm D .etc. [3] [4] Overfull \hbox (6.60956pt too wide) in paragraph at lines 196--197 []\elvrm Full-blown prop-a-ga-tion pat-terns have ad-di-tional fea-tures not sh own above: \hbox(7.60416+2.12917)x360.0, glue set - 1.0 .\hbox(0.0+0.0)x17.0 .\elvrm F .\kern-0.91252 .\elvrm u .\elvrm l .etc. [5] Overfull \hbox (48.15683pt too wide) in paragraph at lines 247--247 [] []\elvtt Exp : Ident_Exp | Abstraction_Exp | Application_Exp | Conditional_E xp .[] \hbox(7.60416+2.43333)x360.0 .\hbox(0.0+0.0)x0.0 .\glue 0.0 .\hbox(0.0+0.0)x0.0 ..\glue 0.0 ..\glue 0.0 ..\glue -5.475 ..\hbox(0.0+0.0)x0.0 ..\glue 5.475 .\penalty 0 .\elvtt E .etc. [6] Overfull \hbox (2.16733pt too wide) in paragraph at lines 275--275 [] []\elvtt Let_Exp = "let" Ident "=" Exp "in" Exp[] \hbox(6.69167+2.43333)x360.0 .\hbox(0.0+0.0)x0.0 .\glue 0.0 .\hbox(0.0+0.0)x0.0 ..\glue 0.0 ..\glue 0.0 ..\glue -5.475 ..\hbox(0.0+0.0)x0.0 ..\glue 5.475 .\penalty 0 .\elvtt L .etc. [7] (demystified.aux) ) Here is how much of TeX's memory you used: 148 strings out of 4463 1460 string characters out of 63296 30729 words of memory out of 262141 2099 multiletter control sequences out of 9500 18996 words of font info for 72 fonts, out of 72000 for 255 14 hyphenation exceptions out of 607 12i,6n,15p,157b,235s stack positions out of 300i,40n,60p,3000b,4000s Output written on demystified.dvi (7 pages, 17636 bytes).