Mercurial > emacs
annotate doc/lispintro/lambda-1.pdf @ 110747:0defef1647a5
Merge changes made in Gnus trunk.
shr.el: Rename the tag functions a bit, and add some new ones.
gnus-sum.el (gnus-summary-select-article-buffer): If the article buffer isn't shown, then select the current article first instead of bugging out.
gnus-sum.el (gnus-summary-select-article-buffer): Show both the article and summary buffers again.
shr.el (shr-tag-blockquote): Convert name.
shr.el (shr-rescale-image): Use the right image-size variant.
shr.el (shr-tag-p): Don't insert newlines at the start of the buffer.
shr.el: Implement indentation in blockquotes.
gnus-sum.el (gnus-summary-select-article-buffer): Really select the article buffer again.
shr.el (shr-ensure-paragraph): Don't insert newlines on empty tags at the beginning of the buffer.
gnus-ems.el, gnus-util.el, mm-decode.el, mm-view.el: Add resize for large images in mm.
gnus-html.el (gnus-html-put-image): Use gnus-rescale-image.
shr.el (shr-tag-p): Don't insert newlines on empty tags at the beginning of the buffer.
gnus-ems.el, gnus-html.el, gnus-util.el, mm-decode.el, mm-view.el: Support image resizing.
shr.el: Add headings.
shr.el (shr-ensure-paragraph): Actually work.
shr.el (shr-tag-li): Make <ul> prettier.
shr.el (shr-insert): Get white space at the beginning/end of elements right.
shr.el (shr-tag-li): Tweak <li> rendering.
shr.el (shr-tag-p): Collapse subsequent <p>s.
shr.el (shr-ensure-paragraph): Don't insert double line feeds after blank lines.
shr.el (shr-tag-h6): Add.
shr.el (shr-insert): \t is also space.
author | Katsumi Yamaoka <yamaoka@jpl.org> |
---|---|
date | Mon, 04 Oct 2010 00:17:16 +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 xPMk0WYr<;vۺg횴Gu!KI#JA([r`s/!8M\RBGjg YhT.c7}_SuzT4u{xv-%HhX2=pXVbZ$w II%s! 7M>5"nHX{G!RVujAU3V(3GR}9?}Vp|6!tٌ-xuVendstream |
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 236 |
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 140 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:20091026183417) |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
49 /ModDate(D:20091026183417)>>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 0000000548 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
54 0000000758 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
55 0000000489 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
56 0000000340 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 0000000321 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
59 0000000596 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
60 0000000696 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
61 0000000637 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
62 0000000666 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 [(4@7mbW9)(4@7mbW9)] |
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 869 |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
69 %%EOF |