File: finite_sets.log

package info (click to toggle)
hol88 2.02.19940316-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 63,052 kB
  • ctags: 19,365
  • sloc: ml: 199,939; ansic: 9,300; sh: 7,118; makefile: 6,076; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
file content (87 lines) | stat: -rw-r--r-- 2,217 bytes parent folder | download | duplicates (11)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
This is TeX, Version 3.1415 (C version 6.1) (format=lplain 94.2.9)  4 MAR 1994 10:08
**finite_sets.tex
(finite_sets.tex
LaTeX Version 2.09 <25 March 1992>
(/usr/lib/tex/macros/latex/book.sty
Standard Document Style `book' <14 Jan 92>.
(/usr/lib/tex/macros/latex/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
) (/usr/lib/tex/macros/latex/fleqn.sty
Document style option `fleqn' - Released 04 Nov 91
\mathindent=\dimen100
) (../../../Manual/LaTeX/alltt.sty) (../../../Manual/LaTeX/layout.sty
\@myenumdepth=\count88
\c@myenumi=\count89
)
(../../../Manual/LaTeX/commands.tex
\minipagewidth=\skip41
\hsbw=\skip42
\c@sessioncount=\count90
) (../../../Manual/LaTeX/ref-macros.tex)
\@indexfile=\write3

Writing index file finite_sets.idx 
(finite_sets.aux (title.aux) (description.aux) (entries.aux) (theorems.aux)
(references.aux) (index.aux)) (title.tex [1


] [2]) (finite_sets.toc [3


])
\tf@toc=\write4

[4] (description.tex
Chapter 1.
[1



] [2] [3] [4] [5]
LaTeX Warning: Reference `abst' on page 6 undefined on input line 334.
LaTeX Warning: Reference `abst' on page 6 undefined on input line 351.
[6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
LaTeX Warning: Reference `abst' on page 16 undefined on input line 1129.
[16] [17]) [18] (entries.tex
Chapter 2.
(entries-intro.tex) [19



] [20] [21] [22] [23] [24] [25] [26]) [27] (theorems.tex [28



]
Chapter 3.
(theorems-intro.tex) [29] [30] [31] [32] [33] [34] [35] [36] [37] [38])
[39] (references.tex [40



]) [41] (index.tex [42



] [43] [44]) (finite_sets.aux
(title.aux) (description.aux) (entries.aux) (theorems.aux) (references.aux)
(index.aux)) ) 
Here is how much of TeX's memory you used:
 479 strings out of 11977
 4040 string characters out of 87025
 41862 words of memory out of 262141
 2303 multiletter control sequences out of 9500
 20116 words of font info for 77 fonts, out of 100000 for 255
 14 hyphenation exceptions out of 607
 18i,12n,19p,314b,580s stack positions out of 300i,100n,60p,3000b,4000s

Output written on finite_sets.dvi (48 pages, 115272 bytes).