emacs: doc/lispintro/cons-1.pdf annotate

annotate doc/lispintro/cons-1.pdf @ 108595:a9dc4c72f652

Fix DOS build; don't override convert-standard-filename. config.bat: Remove support for DJGPP v1.x. src/Makefile.in: Fix MSDOS-related comments. msdos/sed3v2.inp (INSTALLABLES): Edit out extra ${EXEEXT} after "emacsclient". (emacsserver, timer, wakeup): Remove edit-out commands. msdos/sed1v2.inp (MSDOS_OBJ): Add w16select.o. (TERMCAP_OBJ): Add termcap.o. lisp/files.el (convert-standard-filename): Call w32-convert-standard-filename and dos-convert-standard-filename on the corresponding systems. lisp/w32-fns.el (w32-convert-standard-filename): Rename from convert-standard-filename. Doc fix. lisp/dos-fns.el (dos-convert-standard-filename): Doc fix. (convert-standard-filename): Don't defalias. (register-name-alist, make-register, register-value) (set-register-value, intdos): Obsolete aliases for the corresponding dos-* functions and variables. (dos-intdos): Add a doc string.

author	Eli Zaretskii <eliz@gnu.org>
date	Sat, 15 May 2010 11:38:48 +0300
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 xœ“ËNÃ0E÷ó³„ñøí-bÕEi¾€*EE ¥/ø}lÇvÝ–nªH‰æú:¾s2Ù"g„<^ù¹áéÍâÇ43Bã/S¤q„kàø
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	7 ‚XÐ…vÌj”†#9Ž»Á1ÁÓ²’iy,u¶Á%\|R¤ÊãMSGÇ°ê—$æ’fÊ9À
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	8 ¶@©ÌåˆÏ]hÇ¡g:šºL]Ë(ædAáa·Ù÷Ý'¼t0¢ó³smeÚ2€”æ¬^€tc,îuƒç)fjgÒÞFéÕ´^Y¡I\Í5Y5YvF“BëL_;É"ÜI’Â@ø¡ üYo†þPa:=…®ç¡â#îTì¡áI$\|#ÕSˆ–ú)é°#²üš'ÙÍãséH'S-µJñâèÙixÃÁ7\2BNµ%vÍø¿¸°]3žVÐ÷ãáÐï–ÇïÓ€}‘¢(6vrN¶uèÏ‹Æ1V‡©cßˆ8D&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

Mercurial > emacs

annotate doc/lispintro/cons-1.pdf @ 108595:a9dc4c72f652