This is TeX, Version 3.141 (Imperial College distributed TeX) (C version d) (format=latex 94.6.13)  3 OCT 1995 13:53
**&/usr/local/texbin/latex2e prooftree-doc
(prooftree-doc.tex
LaTeX2e <1994/06/01> patch level 2
(/usr/local/tex/latex2e/latex209.def
File: latex209.def 1994/06/01 Standard LaTeX file

Entering LaTeX 2.09 compatibility mode.
\footheight=\dimen102
\@maxsep=\dimen103
\@dblmaxsep=\dimen104
(/usr/local/tex/latex2e/tracefnt.sty
Package: tracefnt 1994/05/29 v2.3k Standard LaTeX package (font tracing)
\tracingfonts=\count82
LaTeX Info: Redefining \selectfont on input line 113.
)
\symbold=\mathgroup4
\symsans=\mathgroup5
\symtypewriter=\mathgroup6
\symitalic=\mathgroup7
\symsmallcaps=\mathgroup8
\symslanted=\mathgroup9
LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 179.
LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 180.
LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 181.
LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 187.
LaTeX Info: Redefining \em on input line 197.
 (/usr/local/tex/latex2e/latexsym.sty
Package: latexsym 1994/05/27 v2.1e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup10
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 47.
)
LaTeX Font Info:    Redeclaring math delimiter \lgroup on input line 262.
LaTeX Font Info:    Redeclaring math delimiter \rgroup on input line 264.
LaTeX Font Info:    Redeclaring math delimiter \bracevert on input line 266.

(/usr/local/tex/macros/latex209.cfg
Imperial College distributed TeX - NLaTeX compatibility
)) (/usr/local/tex/latex2e/article.cls
Document Class: article 1994/06/02 v1.2s Standard LaTeX document class
(/usr/local/tex/latex2e/size10.clo
File: size10.clo 1994/06/02 v1.2s Standard LaTeX file (size option)
)
\c@part=\count83
\c@section=\count84
\c@subsection=\count85
\c@subsubsection=\count86
\c@paragraph=\count87
\c@subparagraph=\count88
\c@figure=\count89
\c@table=\count90
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
Compatibility mode: definition of \rm ignored.
Compatibility mode: definition of \sf ignored.
Compatibility mode: definition of \tt ignored.
Compatibility mode: definition of \bf ignored.
Compatibility mode: definition of \it ignored.
Compatibility mode: definition of \sl ignored.
Compatibility mode: definition of \sc ignored.
\bibindent=\dimen105
) (prooftree.tex
<Paul Taylor's Proof Trees, 17 August 1990>
\proofrulebreadth=\dimen106
\proofdotseparation=\dimen107
\proofrulebaseline=\dimen108
\proofdotnumber=\count91
\shortenproofleft=\dimen109
\shortenproofright=\dimen110
\proofbelowshift=\dimen111
\proofabove=\box25
\proofbelow=\box26
\proofrulename=\box27
)
No file prooftree-doc.aux.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    No math setup on input line 21.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 21.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 21.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 21.
LaTeX Font Info:    Try loading font information for U+lasy on input line 21.
(/usr/local/tex/latex2e/Ulasy.fd
File: Ulasy.fd 1994/05/27 v2.1eLaTeX symbol font definitions
)
LaTeX Font Info:    No math setup on input line 24.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <9> on input line 24.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 24.

Overfull \hbox (87.99516pt too wide) detected at line 58
[]
 []

LaTeX Font Info:    No math setup on input line 59.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 59.
[1

] [2] [3] [4] (prooftree-doc.aux) ) 
Here is how much of TeX's memory you used:
 512 strings out of 11064
 5426 string characters out of 75476
 50268 words of memory out of 262141
 3288 multiletter control sequences out of 9500
 20795 words of font info for 76 fonts, out of 100000 for 255
 14 hyphenation exceptions out of 607
 21i,24n,19p,191b,475s stack positions out of 300i,40n,60p,3000b,4000s

Output written on prooftree-doc.dvi (4 pages, 7336 bytes).