This is TeX, C Version 3.14t3 (format=lplain 92.8.5)  28 DEC 1993 09:16
**paper
(paper.tex
LaTeX Version 2.09 <25 March 1992>
(/import/tex-3.14-new-latex/lib/tex/inputs/book.sty
Standard Document Style `book' <14 Jan 92>.
(/import/tex-3.14-new-latex/lib/tex/inputs/bk12.sty)
\descriptionmargin=\dimen99
\c@part=\count79
\c@chapter=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
\c@figure=\count86
\c@table=\count87
)
(/project/sera/tcc/macros/mathsing.sty
\oldbaselineskip=\dimen100
\c@lemmacount=\count88
)
(/project/sera/tcc/macros/tcc-macros.tex
(/project/sera/tcc/macros/vijay-macros.tex
Document Style 'thesis-art-two-column'. (c) Vijay Saraswat November 1987.
\OrSepBox=\box25
\ColSepBox=\box26
\AskBox=\box27
\gAskBox=\box28
\InfrmBox=\box29
\globalparindent=\skip41
Document Style ``program'' by Vijay Saraswat, July 1987.
\wfhbidaBox=\box30
\eStop=\box31
\c@assumption=\count89
\c@convention=\count90
\c@comment=\count91
\c@digression=\count92
)
\c@MetaNote=\count93
\c@TechComm=\count94
) (paper.aux (intro.aux) (synchro.aux) (tcc.aux) (general.aux) (tgentzen.aux)
(g-progg.aux) (g-implementation.aux) (conclusions.aux))
Chapter 1.
[1


] (intro.tex [2

] [3]) [4] (synchro.tex [5


] [6] [7] [8] [9]) [10] (tcc.tex
Underfull \vbox (badness 1005) has occurred while \output is active
\vbox(658.0+0.0)x404.02904, glue set 2.15932
.\write-{}
.\write-{}
.\glue(\topskip) 2.00002
.\hbox(9.99998+0.0)x404.02904, glue set 136.6549fil
..\glue 0.0
..\boldfourteen 1
..\boldfourteen .
..\boldfourteen 3
..\glue 8.27994
..etc.
.\mark{{1.\ Programming in Timed Concurrent Constraint Languages}{1.3\ The {\ET
C.}
.etc.

 [11


]
[12]
Overfull \hbox (15.33336pt too wide) in paragraph at lines 143--166
[][] 

\hbox(117.6683+111.66829)x404.02904
.\hbox(0.0+0.0)x0.0
.\hbox(117.6683+111.66829)x419.3624
..\mathon
..\vbox(117.6683+111.66829)x419.3624
...\rule(0.42677+0.0)x419.3624
...\hbox(10.14995+218.3331)x419.3624 []
...\rule(0.42677+0.0)x419.3624
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0 plus 1.0fil
.\glue(\rightskip) 0.0


Overfull \hbox (15.33336pt too wide) in paragraph at lines 171--223
[][] 

\hbox(248.50175+242.50174)x404.02904
.\hbox(0.0+0.0)x0.0
.\hbox(248.50175+242.50174)x419.3624
..\mathon
..\vbox(248.50175+242.50174)x419.3624
...\rule(0.42677+0.0)x419.3624
...\hbox(10.14995+480.0)x419.3624 []
...\rule(0.42677+0.0)x419.3624
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0 plus 1.0fil
.\glue(\rightskip) 0.0


Overfull \hbox (11.40636pt too wide) in alignment at lines 268--272
 [] [] [] [] 

\hbox(0.0+0.0)x404.02904
.\glue(\tabskip) 0.0 plus 1000.0
.\unsetbox(0.0+0.0)x395.4354
.\glue(\tabskip) 0.0
.\unsetbox(0.0+0.0)x10.0
.\glue(\tabskip) 0.0
.etc.


Overfull \hbox (15.33336pt too wide) in paragraph at lines 229--287
[][] 

\hbox(290.9103+284.91028)x404.02904
.\hbox(0.0+0.0)x0.0
.\hbox(290.9103+284.91028)x419.3624
..\mathon
..\vbox(290.9103+284.91028)x419.3624
...\rule(0.42677+0.0)x419.3624
...\hbox(10.14995+564.81708)x419.3624 []
...\rule(0.42677+0.0)x419.3624
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0 plus 1.0fil
.\glue(\rightskip) 0.0

[13] [14] [15] [16]
Overfull \hbox (13.73955pt too wide) in alignment at lines 389--394
 [] [] [] [] 

\hbox(0.0+0.0)x404.02904
.\glue(\tabskip) 0.0 plus 1000.0
.\unsetbox(0.0+0.0)x397.76859
.\glue(\tabskip) 0.0
.\unsetbox(0.0+0.0)x10.0
.\glue(\tabskip) 0.0
.etc.

[17] [18]) [19] (general.tex [20


]
Overfull \hbox (19.96423pt too wide) in paragraph at lines 126--139
[]  \twlit Watch-dogs: $[] \twlmi P [] c:$[] \twlrm The \\psc\@xiipt Es-terel \
twlrm in-ter-rupt con-struct $[] \twlmi A [] S$

\hbox(8.33331+2.33331)x404.02904, glue set - 1.0
.\hbox(0.0+0.0)x19.91692
.\glue -19.91692
.\glue 0.0
.\twlit W
.\twlit a
.etc.

[21] [22] [23] [24]) [25] (tgentzen.tex [26


] [27]
Overfull \hbox (15.33336pt too wide) in paragraph at lines 162--205
[][] 

\hbox(215.97379+209.97379)x404.02904
.\hbox(0.0+0.0)x0.0
.\hbox(215.97379+209.97379)x419.3624
..\mathon
..\vbox(215.97379+209.97379)x419.3624
...\rule(0.42677+0.0)x419.3624
...\hbox(10.14995+414.94408)x419.3624 []
...\rule(0.42677+0.0)x419.3624
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0 plus 1.0fil
.\glue(\rightskip) 0.0

) [28] [29] (g-progg.tex (mouse.tex [30


]) (atm.tex [31] [32]) (fib.tex)
(sieve.tex [33]) (persistent-assignments.tex [34]) (rollers.tex [35] [36])
(minimization.tex [37] [38]) [39] (meta-interp.tex)) [40]
(g-implementation.tex [41


] [42] [43] [44] (def_combinators.tex
Overfull \hbox (55.69736pt too wide) in paragraph at lines 36--72
[][] 

\hbox(239.75174+233.75174)x404.02904
.\hbox(0.0+0.0)x0.0
.\hbox(239.75174+233.75174)x459.7264
..\mathon
..\vbox(239.75174+233.75174)x459.7264
...\rule(0.42677+0.0)x459.7264
...\hbox(10.14995+462.49998)x459.7264 []
...\rule(0.42677+0.0)x459.7264
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0 plus 1.0fil
.\glue(\rightskip) 0.0

)) [45] [46] [47] [48] (conclusions.tex
Overfull \hbox (14.9805pt too wide) in paragraph at lines 11--30
\twlrm An im-por-tant use of the \twlsf tcc \twlrm is in spec-i-fy-ing the be-h
av-ior of sim-ple, computationally-

\hbox(8.33331+2.33331)x404.02904, glue set - 1.0
.\twlrm A
.\twlrm n
.\glue 3.91663 plus 1.95831 minus 1.30554
.\twlrm i
.\twlrm m
.etc.

[49


] [50]) [51] (paper.bbl [52


]
Underfull \vbox (badness 10000) has occurred while \output is active
\vbox(658.0+0.0)x404.02904
.\glue(\topskip) 0.0
.\hbox(12.0+0.0)x404.02904, glue set 155.36357fil
..\hbox(0.0+0.0)x0.0
..\svtnbf R
..\svtnbf e
..\svtnbf f
..\svtnbf e
..etc.
.\penalty 10000
.\glue 113.81102
.\glue 22.0
.etc.

 [53]
Underfull \vbox (badness 10000) has occurred while \output is active
\vbox(658.0+0.0)x404.02904
.\glue(\topskip) 3.7875
.\hbox(8.2125+2.73749)x352.01643, glue set - 0.98149, shifted 52.0126
..\hbox(0.0+0.0)x0.0
..\glue 0.0
..\hbox(8.2125+2.73749)x0.0
...\glue 0.0
...\glue -52.0126
...\glue 0.0
...\hbox(8.2125+2.73749)x52.0126, glue set 17.2615fill []
...\glue 0.0
..\penalty 0
..\eleven M
..etc.
.\penalty 20000
.\glue(\baselineskip) 3.25836
.\hbox(7.60416+2.12917)x352.01643, glue set 270.19548fil, shifted 52.0126
..\eleven K
..\eleven a
..\eleven u
..\eleven f
..\eleven m
..etc.
.etc.

 [54])
LaTeX error.  See LaTeX manual for explanation.^^J              Type  H <return
>  for immediate help.
! \begin{itemize} ended by \end{document}.
\@latexerr ...for immediate help.}\errmessage {#1}
                                                  
\@checkend ...empa \@currenvir \else \@badend {#1}
                                                  \fi 
\enddocument ->\@checkend {document}
                                    \clearpage \begingroup \if@filesw \immed...

\end #1->\csname end#1\endcsname 
                                 \def \sptabfont {#1}\ifmmode \else \ifx \sp...
l.30 \end{document}
                   
? 
[55] (paper.aux (intro.aux) (synchro.aux) (tcc.aux) (general.aux)
(tgentzen.aux) (g-progg.aux) (g-implementation.aux) (conclusions.aux)) ) 
Here is how much of TeX's memory you used:
 1092 strings out of 4456
 8092 string characters out of 63068
 60956 words of memory out of 262141
 2849 multiletter control sequences out of 9500
 23379 words of font info for 88 fonts, out of 72000 for 255
 14 hyphenation exceptions out of 607
 18i,22n,20p,244b,608s stack positions out of 300i,40n,60p,3000b,4000s

Output written on paper.dvi (55 pages, 162820 bytes).