Mercurial > emacs
annotate doc/lispintro/cons-1.pdf @ 106795:8802f28da1a8
Fix typos and remove superfluous backslash-quoting in htmlfontify.el.
* htmlfontify.el (htmlfontify-load-rgb-file)
(htmlfontify-unload-rgb-file, hfy-fallback-colour-values)
(htmlfontify-manual, htmlfontify, hfy-page-header, hfy-page-footer)
(hfy-src-doc-link-style, hfy-src-doc-link-unstyle, hfy-link-extn)
(hfy-link-style-fun, hfy-index-file, hfy-instance-file)
(hfy-html-quote-regex, hfy-init-kludge-hook, hfy-post-html-hooks)
(hfy-default-face-def, hfy-etag-regex, hfy-html-quote-map)
(hfy-etags-cmd-alist-default, hfy-etags-bin, hfy-ignored-properties)
(hfy-which-etags, hfy-etags-cmd, hfy-istext-command, hfy-display-class)
(hfy-optimisations, hfy-tags-cache, hfy-tags-sortl, hfy-tags-rmap)
(hfy-style-assoc, hfy-sheet-assoc, hfy-facemap-assoc, hfy-interq)
(hfy-colour-vals, hfy-default-header, hfy-link-style-string)
(hfy-triplet, hfy-slant, hfy-weight, hfy-combined-face-spec)
(hfy-face-attr-for-class, hfy-face-to-style-i, hfy-size-to-int)
(hfy-flatten-style, hfy-face-to-style, hfy-face-or-def-to-name)
(hfy-face-to-css, hfy-p-to-face, hfy-p-to-face-lennart, hfy-face-at)
(hfy-fontified-p, hfy-merge-adjacent-spans, hfy-buffer)
(hfy-html-enkludge-buffer, hfy-html-quote, hfy-html-dekludge-buffer)
(hfy-force-fontification, htmlfontify-buffer, hfy-dirname)
(hfy-make-directory, hfy-text-p, hfy-mark-tag-names, hfy-relstub)
(hfy-href-stub, hfy-href, hfy-mark-tag-hrefs, hfy-prepare-index-i)
(hfy-prepare-index, hfy-prepare-tag-map, hfy-subtract-maps)
(htmlfontify-run-etags): Fix typos in docstrings and remove superfluous
backslash-quoting from parentheses, etc.
author | Juanma Barranquero <lekktu@gmail.com> |
---|---|
date | Mon, 11 Jan 2010 18:26:28 +0100 |
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 xN0E-bEi*EE /}lvݖnH:s2"g<^43B/Sqk |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
7 XЅvj#91Ӳiy,u%|RMSG$播f9 |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
8 @̏]hǡg:L]*(dAa't0sme2^tc,u)fjgFմ^YI\5Y5YvFBL_;*"I@YoPa:=#TI$|#S)#'*sH'S-J*ix7\2BN%v]3VӀ}(6vrNuϋ1Vc8D&d_fՊendstream |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
9 endobj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
10 6 0 obj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
11 390 |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
12 endobj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
13 4 0 obj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
14 <</Type/Page/MediaBox [0 0 254 46] |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
15 /Parent 3 0 R |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
16 /Resources<</ProcSet[/PDF /Text] |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
17 /ExtGState 9 0 R |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
18 /Font 10 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 /Contents 5 0 R |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
21 >> |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
22 endobj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
23 3 0 obj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
24 << /Type /Pages /Kids [ |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
25 4 0 R |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
26 ] /Count 1 |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
27 >> |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
28 endobj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
29 1 0 obj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
30 <</Type /Catalog /Pages 3 0 R |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
31 >> |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
32 endobj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
33 7 0 obj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
34 <</Type/ExtGState |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
35 /OPM 1>>endobj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
36 9 0 obj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
37 <</R7 |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
38 7 0 R>> |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
39 endobj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
40 10 0 obj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
41 <</R8 |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
42 8 0 R>> |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
43 endobj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
44 8 0 obj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
45 <</BaseFont/Courier/Type/Font |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
46 /Subtype/Type1>> |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
47 endobj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
48 2 0 obj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
49 <</Producer(ESP Ghostscript 815.02) |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
50 /CreationDate(D:20091026183416) |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
51 /ModDate(D:20091026183416)>>endobj |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
52 xref |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
53 0 11 |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
54 0000000000 65535 f |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
55 0000000702 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
56 0000000912 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
57 0000000643 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
58 0000000494 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
59 0000000015 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
60 0000000475 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
61 0000000750 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
62 0000000850 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
63 0000000791 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
64 0000000820 00000 n |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
65 trailer |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
66 << /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
|
67 /ID [(@}`&'S)(@}`&'S)] |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
68 >> |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
69 startxref |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
70 1023 |
e6fd7e0d6dd5
New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
71 %%EOF |