annotate doc/lispintro/lambda-3.pdf @ 105986:850debe3a245

(mark_object): Don't reprocess marked strings. Check vector's markbit earlier. Adjust calls to mark_vectorlike. (mark_vectorlike, mark_char_table): Assume the object is unmarked.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Fri, 13 Nov 2009 15:26:28 +0000
parents e6fd7e0d6dd5
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
105774
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 %PDF-1.3
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 %쏢
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 5 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 <</Length 6 0 R/Filter /FlateDecode>>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 stream
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 xPMO0ϯrp/ĘxX&uS` WL^uNQbacwRgD-E ò.&kr$®jWuU&G١SU&-+(y~X+4ZAa/]BE=<{$|G褓"]K<덊d†i!j_̒M$]=O3\sHMcd~Baendstream
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 6 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 258
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 4 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 <</Type/Page/MediaBox [0 0 178 49]
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 /Parent 3 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 /Resources<</ProcSet[/PDF /Text]
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 /ExtGState 9 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 /Font 10 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 /Contents 5 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 3 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 << /Type /Pages /Kids [
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 4 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 ] /Count 1
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 1 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 <</Type /Catalog /Pages 3 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 7 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 <</Type/ExtGState
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 /OPM 1>>endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 9 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 <</R7
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 7 0 R>>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 10 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 <</R8
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 8 0 R>>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 8 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 <</BaseFont/Courier/Type/Font
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 /Subtype/Type1>>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 2 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 <</Producer(ESP Ghostscript 815.02)
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 /CreationDate(D:20091026183418)
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 /ModDate(D:20091026183418)>>endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 xref
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 0 11
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 0000000000 65535 f
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 0000000570 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 0000000780 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 0000000511 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 0000000362 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 0000000015 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 0000000343 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 0000000618 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 0000000718 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 0000000659 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 0000000688 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 trailer
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 << /Size 11 /Root 1 0 R /Info 2 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 /ID [( vF yl%t)( vF yl%t)]
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 startxref
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 891
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 %%EOF