annotate doc/lispref/elisp-covers.texi @ 112353:71904feb29f6

Improve performance on non-GCC hosts with __aligned__.
author Paul Eggert <eggert@cs.ucla.edu>
date Mon, 17 Jan 2011 20:55:12 -0800
parents ef719132ddfa
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84063
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 \input texinfo @c -*-texinfo-*-
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 @c This is part of the GNU Emacs Lisp Reference Manual.
112218
376148b31b5e Add 2011 to FSF/AIST copyright years.
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
3 @c Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011
84063
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 @c Free Software Foundation, Inc.
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 @c See the file elisp.texi for copying conditions.
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 @c
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 @comment %**start of header
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 @setfilename covers.info
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 @settitle GNU Emacs Lisp Reference Manual
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 @comment %**end of header
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 @titlepage
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 @c ================ Volume 1 ================
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 @w{ }
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 @center @titlefont{The}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 @center @titlefont{GNU}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 @center @titlefont{Emacs Lisp}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 @center @titlefont{Reference}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 @center @titlefont{Manual}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 @center GNU Emacs Version 19
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 @center for Unix Users
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 @center Edition 2.3, June 1994
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 @center @titlefont{Volume 1}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 @center by Bil Lewis, Dan LaLiberte,
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 @center and the GNU Manual Group
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 @page
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 @c ================ Volume 2 ================
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 @w{ }
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 @sp 5
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 @center @titlefont{The}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 @center @titlefont{GNU}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 @center @titlefont{Emacs Lisp}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 @center @titlefont{Reference}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 @center @titlefont{Manual}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 @center GNU Emacs Version 19
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 @center for Unix Users
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 @center Edition 2.3, June 1994
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 @center @titlefont{Volume 2}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 @center by Bil Lewis,
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 @center Dan LaLiberte, and
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 @center the GNU Manual Group
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 @page
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 @c ================ Volume 1 with baseline skip 16pt ================
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 @tex
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 \global\baselineskip = 16pt
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 @end tex
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 16 pts baseline skip:
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 @w{ }
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 @center @titlefont{The}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 @center @titlefont{GNU}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 @center @titlefont{Emacs Lisp}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 @center @titlefont{Reference}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 @center @titlefont{Manual}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 @center GNU Emacs Version 19
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 @center for Unix Users
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 @center Edition 2.3, June 1994
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 @center @titlefont{Volume 1}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 @center by Bil Lewis, Dan LaLiberte,
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 @center and the GNU Manual Group
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 @page
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 @c ================ Volume 1 with baseline skip 18pt ================
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 @tex
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 \global\baselineskip = 18pt
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 @end tex
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 18 pts baseline skip, with 15pts between sections
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 @w{ }
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 @center @titlefont{The}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 @center @titlefont{GNU}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104 @center @titlefont{Emacs Lisp}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106 @center @titlefont{Reference}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108 @center @titlefont{Manual}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109 @tex
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 \global\baselineskip = 15pt
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 @end tex
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114 @center GNU Emacs Version 19
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115 @center for Unix Users
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 @center Edition 2.3, June 1994
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118 @center @titlefont{Volume 1}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 @center by Bil Lewis,
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121 @center Dan LaLiberte, and
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122 @center the GNU Manual Group
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124 @page
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125 @c ================ Volume 1 with more baseline skip 24 pts ================
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127 @tex
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
128 \global\baselineskip = 24pt
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
129 @end tex
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
130
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131 24 pts baseline skip:
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
132
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
133 @w{ }
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135 @center @titlefont{The}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
137 @center @titlefont{GNU}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
138 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
139 @center @titlefont{Emacs Lisp}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
140 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141 @center @titlefont{Reference}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
142 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143 @center @titlefont{Manual}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 @center GNU Emacs Version 19
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
146 @center for Unix Users
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
147 @center Edition 2.3, June 1994
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
148 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
149 @center @titlefont{Volume 1}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
150 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
151 @center by Bil Lewis, Dan LaLiberte,
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
152 @center and the GNU Manual Group
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
153
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
154 @page
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
155 @c ================ Volume 2 with more baseline skip 18 pts ================
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
156
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
157 @tex
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
158 \global\baselineskip = 18pt
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
159 @end tex
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
160
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
161 18 pts baseline skip:
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
162
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
163 @w{ }
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
164 @sp 5
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
165 @center @titlefont{The}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
166 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
167 @center @titlefont{GNU}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
168 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
169 @center @titlefont{Emacs Lisp}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
170 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
171 @center @titlefont{Reference}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
172 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
173 @center @titlefont{Manual}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
174 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
175 @center GNU Emacs Version 19
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
176 @center for Unix Users
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
177 @center Edition 2.3, June 1994
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
178 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
179 @center @titlefont{Volume 2}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
180 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
181 @center by Bil Lewis, Dan LaLiberte,
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
182 @center and the GNU Manual Group
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
183
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
184 @page
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
185 @c ================ Volume 2 with more baseline skip 24 pts ================
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
186
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
187 @tex
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
188 \global\baselineskip = 24pt
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
189 @end tex
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
190
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
191 24 pts baseline skip:
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
192
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
193 @w{ }
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
194 @sp 5
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
195 @center @titlefont{The}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
196 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
197 @center @titlefont{GNU}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
198 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
199 @center @titlefont{Emacs Lisp}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
200 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
201 @center @titlefont{Reference}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
202 @sp 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
203 @center @titlefont{Manual}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
204 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
205 @center GNU Emacs Version 19
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
206 @center for Unix Users
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
207 @center Edition 2.3, June 1994
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
208 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
209 @center @titlefont{Volume 2}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
210 @sp 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
211 @center by Bil Lewis, Dan LaLiberte,
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
212 @center and the GNU Manual Group
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
213
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
214
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
215 @page
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
216 @c ================ Spine 1 ================
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
217
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
218 @w{@titlefont{The GNU Emacs Lisp Reference Manual --- Vol. 1}}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
219 @sp 4
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
220 @center GNU Emacs Version 19
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
221 @center for Unix Users
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
222 @center Edition 2.3, June 1994
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
223 @sp 4
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
224 @center by Bil Lewis, Dan LaLiberte,
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
225 @center and the GNU Manual Group
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
226
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
227 @sp 4
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
228 @author The GNU Emacs Lisp Reference Manual --- Vol. 1
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
229 @sp 3
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
230 @author FSF
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
231
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
232 @author
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
233
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
234 @page
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
235 @c ================ Spine 2 ================
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
236
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
237 @w{@titlefont{The GNU Emacs Lisp Reference Manual --- Vol. 2}}
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
238 @sp 4
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
239 @center GNU Emacs Version 19
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
240 @center for Unix Users
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
241 @center Edition 2.3, June 1994
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
242 @sp 4
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
243 @center by Bil Lewis, Dan LaLiberte,
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
244 @center and the GNU Manual Group
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
245
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
246
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
247 @sp 4
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
248 @author The GNU Emacs Lisp Reference Manual --- Vol. 2
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
249 @sp 3
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
250 @author FSF
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
251
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
252 @end titlepage
d7859f97871f Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
253 @bye