Mercurial > emacs
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 |
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<덊di!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 |