~ubuntu-branches/ubuntu/maverick/hello/maverick

« back to all changes in this revision

Viewing changes to texinfo.tex

  • Committer: Bazaar Package Importer
  • Author(s): Santiago Vila
  • Date: 2004-01-05 16:42:30 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20040105164230-ze0yqbimyx4sx1gs
Tags: 2.1.1-4
Updated config.guess and config.sub for GNU/K*BSD.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
%% TeX macros to handle texinfo files
2
 
 
3
 
%   Copyright (C) 1985, 86, 88, 90, 91, 92, 1993 Free Software Foundation, Inc.
4
 
 
5
 
%This texinfo.tex file is free software; you can redistribute it and/or
6
 
%modify it under the terms of the GNU General Public License as
7
 
%published by the Free Software Foundation; either version 2, or (at
8
 
%your option) any later version.
9
 
 
10
 
%This texinfo.tex file is distributed in the hope that it will be
11
 
%useful, but WITHOUT ANY WARRANTY; without even the implied warranty
12
 
%of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13
 
%General Public License for more details.
14
 
 
15
 
%You should have received a copy of the GNU General Public License
16
 
%along with this texinfo.tex file; see the file COPYING.  If not, write
17
 
%to the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139,
18
 
%USA.
19
 
 
20
 
 
21
 
%In other words, you are welcome to use, share and improve this program.
22
 
%You are forbidden to forbid anyone else to use, share and improve
23
 
%what you give them.   Help stamp out software-hoarding!
24
 
 
25
 
\def\texinfoversion{2.108}
26
 
\message{Loading texinfo package [Version \texinfoversion]:}
27
 
 
28
 
% Print the version number if in a .fmt file.
29
 
\everyjob{\message{[Texinfo version \texinfoversion]}\message{}}
30
 
 
31
 
% Save some parts of plain tex whose names we will redefine.
32
 
 
33
 
\let\ptexlbrace=\{
34
 
\let\ptexrbrace=\}
35
 
\let\ptexdots=\dots
36
 
\let\ptexdot=\.
37
 
\let\ptexstar=\*
38
 
\let\ptexend=\end
39
 
\let\ptexbullet=\bullet
40
 
\let\ptexb=\b
41
 
\let\ptexc=\c
42
 
\let\ptexi=\i
43
 
\let\ptext=\t
44
 
\let\ptexl=\l
45
 
\let\ptexL=\L
46
 
 
47
 
\def\tie{\penalty 10000\ }     % Save plain tex definition of ~.
48
 
 
49
 
\message{Basics,}
50
 
\chardef\other=12
51
 
 
52
 
% If this character appears in an error message or help string, it
53
 
% starts a new line in the output.
54
 
\newlinechar = `^^J
55
 
 
56
 
% Ignore a token.
57
 
%
58
 
\def\gobble#1{}
59
 
 
60
 
\hyphenation{ap-pen-dix}
61
 
\hyphenation{mini-buf-fer mini-buf-fers}
62
 
\hyphenation{eshell}
63
 
 
64
 
% Margin to add to right of even pages, to left of odd pages.
65
 
\newdimen \bindingoffset  \bindingoffset=0pt
66
 
\newdimen \normaloffset   \normaloffset=\hoffset
67
 
\newdimen\pagewidth \newdimen\pageheight
68
 
\pagewidth=\hsize \pageheight=\vsize
69
 
 
70
 
% Sometimes it is convenient to have everything in the transcript file
71
 
% and nothing on the terminal.  We don't just call \tracingall here,
72
 
% since that produces some useless output on the terminal.
73
 
%
74
 
\def\gloggingall{\begingroup \globaldefs = 1 \loggingall \endgroup}%
75
 
\def\loggingall{\tracingcommands2 \tracingstats2
76
 
   \tracingpages1 \tracingoutput1 \tracinglostchars1
77
 
   \tracingmacros2 \tracingparagraphs1 \tracingrestores1
78
 
   \showboxbreadth\maxdimen\showboxdepth\maxdimen
79
 
}%
80
 
 
81
 
%---------------------Begin change-----------------------
82
 
%
83
 
%%%% For @cropmarks command.
84
 
% Dimensions to add cropmarks at corners Added by P. A. MacKay, 12 Nov. 1986
85
 
%
86
 
\newdimen\cornerlong \newdimen\cornerthick
87
 
\newdimen \topandbottommargin
88
 
\newdimen \outerhsize \newdimen \outervsize
89
 
\cornerlong=1pc\cornerthick=.3pt        % These set size of cropmarks
90
 
\outerhsize=7in
91
 
%\outervsize=9.5in
92
 
% Alternative @smallbook page size is 9.25in
93
 
\outervsize=9.25in
94
 
\topandbottommargin=.75in
95
 
%
96
 
%---------------------End change-----------------------
97
 
 
98
 
% \onepageout takes a vbox as an argument.  Note that \pagecontents
99
 
% does insertions itself, but you have to call it yourself.
100
 
\chardef\PAGE=255  \output={\onepageout{\pagecontents\PAGE}}
101
 
\def\onepageout#1{\hoffset=\normaloffset
102
 
\ifodd\pageno  \advance\hoffset by \bindingoffset
103
 
\else \advance\hoffset by -\bindingoffset\fi
104
 
{\escapechar=`\\\relax % makes sure backslash is used in output files.
105
 
\shipout\vbox{{\let\hsize=\pagewidth \makeheadline} \pagebody{#1}%
106
 
{\let\hsize=\pagewidth \makefootline}}}%
107
 
\advancepageno \ifnum\outputpenalty>-20000 \else\dosupereject\fi}
108
 
 
109
 
%%%% For @cropmarks command %%%%
110
 
 
111
 
% Here is a modification of the main output routine for Near East Publications
112
 
% This provides right-angle cropmarks at all four corners.
113
 
% The contents of the page are centerlined into the cropmarks,
114
 
% and any desired binding offset is added as an \hskip on either
115
 
% site of the centerlined box.  (P. A. MacKay, 12 November, 1986)
116
 
%
117
 
\def\croppageout#1{\hoffset=0pt % make sure this doesn't mess things up
118
 
{\escapechar=`\\\relax % makes sure backslash is used in output files.
119
 
                 \shipout
120
 
                 \vbox to \outervsize{\hsize=\outerhsize
121
 
                 \vbox{\line{\ewtop\hfill\ewtop}}
122
 
                 \nointerlineskip
123
 
                 \line{\vbox{\moveleft\cornerthick\nstop}
124
 
                       \hfill
125
 
                       \vbox{\moveright\cornerthick\nstop}}
126
 
                 \vskip \topandbottommargin
127
 
                 \centerline{\ifodd\pageno\hskip\bindingoffset\fi
128
 
                        \vbox{
129
 
                        {\let\hsize=\pagewidth \makeheadline}
130
 
                        \pagebody{#1}
131
 
                        {\let\hsize=\pagewidth \makefootline}}
132
 
                        \ifodd\pageno\else\hskip\bindingoffset\fi}
133
 
                 \vskip \topandbottommargin plus1fill minus1fill
134
 
                 \boxmaxdepth\cornerthick
135
 
                 \line{\vbox{\moveleft\cornerthick\nsbot}
136
 
                       \hfill
137
 
                       \vbox{\moveright\cornerthick\nsbot}}
138
 
                 \nointerlineskip
139
 
                 \vbox{\line{\ewbot\hfill\ewbot}}
140
 
        }}
141
 
  \advancepageno
142
 
  \ifnum\outputpenalty>-20000 \else\dosupereject\fi}
143
 
%
144
 
% Do @cropmarks to get crop marks
145
 
\def\cropmarks{\let\onepageout=\croppageout }
146
 
 
147
 
\def\pagebody#1{\vbox to\pageheight{\boxmaxdepth=\maxdepth #1}}
148
 
{\catcode`\@ =11
149
 
\gdef\pagecontents#1{\ifvoid\topins\else\unvbox\topins\fi
150
 
\dimen@=\dp#1 \unvbox#1
151
 
\ifvoid\footins\else\vskip\skip\footins\footnoterule \unvbox\footins\fi
152
 
\ifr@ggedbottom \kern-\dimen@ \vfil \fi}
153
 
}
154
 
 
155
 
%
156
 
% Here are the rules for the cropmarks.  Note that they are
157
 
% offset so that the space between them is truly \outerhsize or \outervsize
158
 
% (P. A. MacKay, 12 November, 1986)
159
 
%
160
 
\def\ewtop{\vrule height\cornerthick depth0pt width\cornerlong}
161
 
\def\nstop{\vbox
162
 
  {\hrule height\cornerthick depth\cornerlong width\cornerthick}}
163
 
\def\ewbot{\vrule height0pt depth\cornerthick width\cornerlong}
164
 
\def\nsbot{\vbox
165
 
  {\hrule height\cornerlong depth\cornerthick width\cornerthick}}
166
 
 
167
 
% Parse an argument, then pass it to #1.  The argument is the rest of
168
 
% the input line (except we remove a trailing comment).  #1 should be a
169
 
% macro which expects an ordinary undelimited TeX argument.
170
 
%
171
 
\def\parsearg#1{%
172
 
  \let\next = #1%
173
 
  \begingroup
174
 
    \obeylines
175
 
    \futurelet\temp\parseargx
176
 
}
177
 
 
178
 
% If the next token is an obeyed space (from an @example environment or
179
 
% the like), remove it and recurse.  Otherwise, we're done.
180
 
\def\parseargx{%
181
 
  % \obeyedspace is defined far below, after the definition of \sepspaces.
182
 
  \ifx\obeyedspace\temp
183
 
    \expandafter\parseargdiscardspace
184
 
  \else
185
 
    \expandafter\parseargline
186
 
  \fi
187
 
}
188
 
 
189
 
% Remove a single space (as the delimiter token to the macro call).
190
 
{\obeyspaces %
191
 
 \gdef\parseargdiscardspace {\futurelet\temp\parseargx}}
192
 
 
193
 
{\obeylines %
194
 
  \gdef\parseargline#1^^M{%
195
 
    \endgroup % End of the group started in \parsearg.
196
 
    %
197
 
    % First remove any @c comment, then any @comment.
198
 
    % Result of each macro is put in \toks0.
199
 
    \argremovec #1\c\relax %
200
 
    \expandafter\argremovecomment \the\toks0 \comment\relax %
201
 
    %
202
 
    % Call the caller's macro, saved as \next in \parsearg.
203
 
    \expandafter\next\expandafter{\the\toks0}%
204
 
  }%
205
 
}
206
 
 
207
 
% Since all \c{,omment} does is throw away the argument, we can let TeX
208
 
% do that for us.  The \relax here is matched by the \relax in the call
209
 
% in \parseargline; it could be more or less anything, its purpose is
210
 
% just to delimit the argument to the \c.
211
 
\def\argremovec#1\c#2\relax{\toks0 = {#1}}
212
 
\def\argremovecomment#1\comment#2\relax{\toks0 = {#1}}
213
 
 
214
 
% \argremovec{,omment} might leave us with trailing spaces, though; e.g.,
215
 
%    @end itemize  @c foo
216
 
% will have two active spaces as part of the argument with the
217
 
% `itemize'.  Here we remove all active spaces from #1, and assign the
218
 
% result to \toks0.
219
 
%
220
 
% This loses if there are any *other* active characters besides spaces
221
 
% in the argument -- _ ^ +, for example -- since they get expanded.
222
 
% Fortunately, Texinfo does not define any such commands.  (If it ever
223
 
% does, the catcode of the characters in questionwill have to be changed
224
 
% here.)  But this means we cannot call \removeactivespaces as part of
225
 
% \argremovec{,omment}, since @c uses \parsearg, and thus the argument
226
 
% that \parsearg gets might well have any character at all in it.
227
 
%
228
 
\def\removeactivespaces#1{%
229
 
  \begingroup
230
 
    \ignoreactivespaces
231
 
    \edef\temp{#1}%
232
 
    \global\toks0 = \expandafter{\temp}%
233
 
  \endgroup
234
 
}
235
 
 
236
 
% Change the active space to expand to nothing.
237
 
%
238
 
\begingroup
239
 
  \obeyspaces
240
 
  \gdef\ignoreactivespaces{\obeyspaces\let =\empty}
241
 
\endgroup
242
 
 
243
 
 
244
 
\def\flushcr{\ifx\par\lisppar \def\next##1{}\else \let\next=\relax \fi \next}
245
 
 
246
 
%% These are used to keep @begin/@end levels from running away
247
 
%% Call \inENV within environments (after a \begingroup)
248
 
\newif\ifENV \ENVfalse \def\inENV{\ifENV\relax\else\ENVtrue\fi}
249
 
\def\ENVcheck{%
250
 
\ifENV\errmessage{Still within an environment.  Type Return to continue.}
251
 
\endgroup\fi} % This is not perfect, but it should reduce lossage
252
 
 
253
 
% @begin foo  is the same as @foo, for now.
254
 
\newhelp\EMsimple{Type <Return> to continue.}
255
 
 
256
 
\outer\def\begin{\parsearg\beginxxx}
257
 
 
258
 
\def\beginxxx #1{%
259
 
\expandafter\ifx\csname #1\endcsname\relax
260
 
{\errhelp=\EMsimple \errmessage{Undefined command @begin #1}}\else
261
 
\csname #1\endcsname\fi}
262
 
 
263
 
% @end foo executes the definition of \Efoo.
264
 
%
265
 
\def\end{\parsearg\endxxx}
266
 
\def\endxxx #1{%
267
 
  \removeactivespaces{#1}%
268
 
  \edef\endthing{\the\toks0}%
269
 
  %
270
 
  \expandafter\ifx\csname E\endthing\endcsname\relax
271
 
    \expandafter\ifx\csname \endthing\endcsname\relax
272
 
      % There's no \foo, i.e., no ``environment'' foo.
273
 
      \errhelp = \EMsimple
274
 
      \errmessage{Undefined command `@end \endthing'}%
275
 
    \else
276
 
      \unmatchedenderror\endthing
277
 
    \fi
278
 
  \else
279
 
    % Everything's ok; the right environment has been started.
280
 
    \csname E\endthing\endcsname
281
 
  \fi
282
 
}
283
 
 
284
 
% There is an environment #1, but it hasn't been started.  Give an error.
285
 
%
286
 
\def\unmatchedenderror#1{%
287
 
  \errhelp = \EMsimple
288
 
  \errmessage{This `@end #1' doesn't have a matching `@#1'}%
289
 
}
290
 
 
291
 
% Define the control sequence \E#1 to give an unmatched @end error.
292
 
%
293
 
\def\defineunmatchedend#1{%
294
 
  \expandafter\def\csname E#1\endcsname{\unmatchedenderror{#1}}%
295
 
}
296
 
 
297
 
 
298
 
% Single-spacing is done by various environments (specifically, in
299
 
% \nonfillstart and \quotations).
300
 
\newskip\singlespaceskip \singlespaceskip = \baselineskip
301
 
\def\singlespace{%
302
 
% Why was this kern here?  It messes up equalizing space above and below
303
 
% environments.  --karl, 6may93
304
 
%{\advance \baselineskip by -\singlespaceskip
305
 
%\kern \baselineskip}%
306
 
\baselineskip=\singlespaceskip
307
 
}
308
 
 
309
 
%% Simple single-character @ commands
310
 
 
311
 
% @@ prints an @
312
 
% Kludge this until the fonts are right (grr).
313
 
\def\@{{\tt \char '100}}
314
 
 
315
 
% This is turned off because it was never documented
316
 
% and you can use @w{...} around a quote to suppress ligatures.
317
 
%% Define @` and @' to be the same as ` and '
318
 
%% but suppressing ligatures.
319
 
%\def\`{{`}}
320
 
%\def\'{{'}}
321
 
 
322
 
% Used to generate quoted braces.
323
 
 
324
 
\def\mylbrace {{\tt \char '173}}
325
 
\def\myrbrace {{\tt \char '175}}
326
 
\let\{=\mylbrace
327
 
\let\}=\myrbrace
328
 
 
329
 
% @: forces normal size whitespace following.
330
 
\def\:{\spacefactor=1000 }
331
 
 
332
 
% @* forces a line break.
333
 
\def\*{\hfil\break\hbox{}\ignorespaces}
334
 
 
335
 
% @. is an end-of-sentence period.
336
 
\def\.{.\spacefactor=3000 }
337
 
 
338
 
% @w prevents a word break.  Without the \leavevmode, @w at the
339
 
% beginning of a paragraph, when TeX is still in vertical mode, would
340
 
% produce a whole line of output instead of starting the paragraph.
341
 
\def\w#1{\leavevmode\hbox{#1}}
342
 
 
343
 
% @group ... @end group forces ... to be all on one page, by enclosing
344
 
% it in a TeX vbox.  We use \vtop instead of \vbox to construct the box
345
 
% to keep its height that of a normal line.  According to the rules for
346
 
% \topskip (p.114 of the TeXbook), the glue inserted is
347
 
% max (\topskip - \ht (first item), 0).  If that height is large,
348
 
% therefore, no glue is inserted, and the space between the headline and
349
 
% the text is small, which looks bad.
350
 
%
351
 
\def\group{\begingroup
352
 
  \ifnum\catcode13=\active \else
353
 
    \errhelp = \groupinvalidhelp
354
 
    \errmessage{@group invalid in context where filling is enabled}%
355
 
  \fi
356
 
  %
357
 
  % The \vtop we start below produces a box with normal height and large
358
 
  % depth; thus, TeX puts \baselineskip glue before it, and (when the
359
 
  % next line of text is done) \lineskip glue after it.  (See p.82 of
360
 
  % the TeXbook.)  Thus, space below is not quite equal to space
361
 
  % above.  But it's pretty close.
362
 
  \def\Egroup{%
363
 
    \egroup           % End the \vtop.
364
 
    \endgroup         % End the \group.
365
 
  }%
366
 
  %
367
 
  \vtop\bgroup
368
 
    % We have to put a strut on the last line in case the @group is in
369
 
    % the midst of an example, rather than completely enclosing it.
370
 
    % Otherwise, the interline space between the last line of the group
371
 
    % and the first line afterwards is too small.  But we can't put the
372
 
    % strut in \Egroup, since there it would be on a line by itself.
373
 
    % Hence this just inserts a strut at the beginning of each line.
374
 
    \everypar = {\strut}%
375
 
    %
376
 
    % Since we have a strut on every line, we don't need any of TeX's
377
 
    % normal interline spacing.
378
 
    \offinterlineskip
379
 
    %
380
 
    % OK, but now we have to do something about blank
381
 
    % lines in the input in @example-like environments, which normally
382
 
    % just turn into \lisppar, which will insert no space now that we've
383
 
    % turned off the interline space.  Simplest is to make them be an
384
 
    % empty paragraph.
385
 
    \ifx\par\lisppar
386
 
      \edef\par{\leavevmode \par}%
387
 
      %
388
 
      % Reset ^^M's definition to new definition of \par.
389
 
      \obeylines
390
 
    \fi
391
 
    %
392
 
    % We do @comment here in case we are called inside an environment,
393
 
    % such as @example, where each end-of-line in the input causes an
394
 
    % end-of-line in the output.  We don't want the end-of-line after
395
 
    % the `@group' to put extra space in the output.  Since @group
396
 
    % should appear on a line by itself (according to the Texinfo
397
 
    % manual), we don't worry about eating any user text.
398
 
    \comment
399
 
}
400
 
%
401
 
% TeX puts in an \escapechar (i.e., `@') at the beginning of the help
402
 
% message, so this ends up printing `@group can only ...'.
403
 
%
404
 
\newhelp\groupinvalidhelp{%
405
 
group can only be used in environments such as @example,^^J%
406
 
where each line of input produces a line of output.}
407
 
 
408
 
% @need space-in-mils
409
 
% forces a page break if there is not space-in-mils remaining.
410
 
 
411
 
\newdimen\mil  \mil=0.001in
412
 
 
413
 
\def\need{\parsearg\needx}
414
 
 
415
 
% Old definition--didn't work.
416
 
%\def\needx #1{\par %
417
 
%% This method tries to make TeX break the page naturally
418
 
%% if the depth of the box does not fit.
419
 
%{\baselineskip=0pt%
420
 
%\vtop to #1\mil{\vfil}\kern -#1\mil\penalty 10000
421
 
%\prevdepth=-1000pt
422
 
%}}
423
 
 
424
 
\def\needx#1{%
425
 
  % Go into vertical mode, so we don't make a big box in the middle of a
426
 
  % paragraph.
427
 
  \par
428
 
  %
429
 
  % Don't add any leading before our big empty box, but allow a page
430
 
  % break, since the best break might be right here.
431
 
  \allowbreak
432
 
  \nointerlineskip
433
 
  \vtop to #1\mil{\vfil}%
434
 
  %
435
 
  % TeX does not even consider page breaks if a penalty added to the
436
 
  % main vertical list is 10000 or more.  But in order to see if the
437
 
  % empty box we just added fits on the page, we must make it consider
438
 
  % page breaks.  On the other hand, we don't want to actually break the
439
 
  % page after the empty box.  So we use a penalty of 9999.
440
 
  %
441
 
  % There is an extremely small chance that TeX will actually break the
442
 
  % page at this \penalty, if there are no other feasible breakpoints in
443
 
  % sight.  (If the user is using lots of big @group commands, which
444
 
  % almost-but-not-quite fill up a page, TeX will have a hard time doing
445
 
  % good page breaking, for example.)  However, I could not construct an
446
 
  % example where a page broke at this \penalty; if it happens in a real
447
 
  % document, then we can reconsider our strategy.
448
 
  \penalty9999
449
 
  %
450
 
  % Back up by the size of the box, whether we did a page break or not.
451
 
  \kern -#1\mil
452
 
  %
453
 
  % Do not allow a page break right after this kern.
454
 
  \nobreak
455
 
}
456
 
 
457
 
% @br   forces paragraph break
458
 
 
459
 
\let\br = \par
460
 
 
461
 
% @dots{}  output some dots
462
 
 
463
 
\def\dots{$\ldots$}
464
 
 
465
 
% @page    forces the start of a new page
466
 
 
467
 
\def\page{\par\vfill\supereject}
468
 
 
469
 
% @exdent text....
470
 
% outputs text on separate line in roman font, starting at standard page margin
471
 
 
472
 
% This records the amount of indent in the innermost environment.
473
 
% That's how much \exdent should take out.
474
 
\newskip\exdentamount
475
 
 
476
 
% This defn is used inside fill environments such as @defun.
477
 
\def\exdent{\parsearg\exdentyyy}
478
 
\def\exdentyyy #1{{\hfil\break\hbox{\kern -\exdentamount{\rm#1}}\hfil\break}}
479
 
 
480
 
% This defn is used inside nofill environments such as @example.
481
 
\def\nofillexdent{\parsearg\nofillexdentyyy}
482
 
\def\nofillexdentyyy #1{{\advance \leftskip by -\exdentamount
483
 
\leftline{\hskip\leftskip{\rm#1}}}}
484
 
 
485
 
%\hbox{{\rm#1}}\hfil\break}}
486
 
 
487
 
% @include file    insert text of that file as input.
488
 
 
489
 
\def\include{\parsearg\includezzz}
490
 
%Use \input\thisfile to avoid blank after \input, which may be an active
491
 
%char (in which case the blank would become the \input argument).
492
 
%The grouping keeps the value of \thisfile correct even when @include
493
 
%is nested.
494
 
\def\includezzz #1{\begingroup
495
 
\def\thisfile{#1}\input\thisfile
496
 
\endgroup}
497
 
 
498
 
\def\thisfile{}
499
 
 
500
 
% @center line   outputs that line, centered
501
 
 
502
 
\def\center{\parsearg\centerzzz}
503
 
\def\centerzzz #1{{\advance\hsize by -\leftskip
504
 
\advance\hsize by -\rightskip
505
 
\centerline{#1}}}
506
 
 
507
 
% @sp n   outputs n lines of vertical space
508
 
 
509
 
\def\sp{\parsearg\spxxx}
510
 
\def\spxxx #1{\par \vskip #1\baselineskip}
511
 
 
512
 
% @comment ...line which is ignored...
513
 
% @c is the same as @comment
514
 
% @ignore ... @end ignore  is another way to write a comment
515
 
 
516
 
\def\comment{\catcode 64=\other \catcode 123=\other \catcode 125=\other%
517
 
\parsearg \commentxxx}
518
 
 
519
 
\def\commentxxx #1{\catcode 64=0 \catcode 123=1 \catcode 125=2 }
520
 
 
521
 
\let\c=\comment
522
 
 
523
 
% Prevent errors for section commands.
524
 
% Used in @ignore and in failing conditionals.
525
 
\def\ignoresections{%
526
 
\let\chapter=\relax
527
 
\let\unnumbered=\relax
528
 
\let\top=\relax
529
 
\let\unnumberedsec=\relax
530
 
\let\unnumberedsection=\relax
531
 
\let\unnumberedsubsec=\relax
532
 
\let\unnumberedsubsection=\relax
533
 
\let\unnumberedsubsubsec=\relax
534
 
\let\unnumberedsubsubsection=\relax
535
 
\let\section=\relax
536
 
\let\subsec=\relax
537
 
\let\subsubsec=\relax
538
 
\let\subsection=\relax
539
 
\let\subsubsection=\relax
540
 
\let\appendix=\relax
541
 
\let\appendixsec=\relax
542
 
\let\appendixsection=\relax
543
 
\let\appendixsubsec=\relax
544
 
\let\appendixsubsection=\relax
545
 
\let\appendixsubsubsec=\relax
546
 
\let\appendixsubsubsection=\relax
547
 
\let\contents=\relax
548
 
\let\smallbook=\relax
549
 
\let\titlepage=\relax
550
 
}
551
 
 
552
 
% Used in nested conditionals, where we have to parse the Texinfo source
553
 
% and so want to turn off most commands, in case they are used
554
 
% incorrectly.
555
 
%
556
 
\def\ignoremorecommands{%
557
 
  \let\defcv = \relax
558
 
  \let\deffn = \relax
559
 
  \let\deffnx = \relax
560
 
  \let\defindex = \relax
561
 
  \let\defivar = \relax
562
 
  \let\defmac = \relax
563
 
  \let\defmethod = \relax
564
 
  \let\defop = \relax
565
 
  \let\defopt = \relax
566
 
  \let\defspec = \relax
567
 
  \let\deftp = \relax
568
 
  \let\deftypefn = \relax
569
 
  \let\deftypefun = \relax
570
 
  \let\deftypevar = \relax
571
 
  \let\deftypevr = \relax
572
 
  \let\defun = \relax
573
 
  \let\defvar = \relax
574
 
  \let\defvr = \relax
575
 
  \let\ref = \relax
576
 
  \let\xref = \relax
577
 
  \let\printindex = \relax
578
 
  \let\pxref = \relax
579
 
  \let\settitle = \relax
580
 
  \let\include = \relax
581
 
  \let\lowersections = \relax
582
 
  \let\down = \relax
583
 
  \let\raisesections = \relax
584
 
  \let\up = \relax
585
 
  \let\set = \relax
586
 
  \let\clear = \relax
587
 
}
588
 
 
589
 
% Ignore @ignore ... @end ignore.
590
 
%
591
 
\def\ignore{\doignore{ignore}}
592
 
 
593
 
% Also ignore @ifinfo, @menu, and @direntry text.
594
 
%
595
 
\def\ifinfo{\doignore{ifinfo}}
596
 
\def\menu{\doignore{menu}}
597
 
\def\direntry{\doignore{direntry}}
598
 
 
599
 
% Ignore text until a line `@end #1'.
600
 
%
601
 
\def\doignore#1{\begingroup
602
 
  % Don't complain about control sequences we have declared \outer.
603
 
  \ignoresections
604
 
  %
605
 
  % Define a command to swallow text until we reach `@end #1'.
606
 
  \long\def\doignoretext##1\end #1{\enddoignore}%
607
 
  %
608
 
  % Make sure that spaces turn into tokens that match what \doignoretext wants.
609
 
  \catcode32 = 10
610
 
  %
611
 
  % And now expand that command.
612
 
  \doignoretext
613
 
}
614
 
 
615
 
% What we do to finish off ignored text.
616
 
%
617
 
\def\enddoignore{\endgroup\ignorespaces}%
618
 
 
619
 
\newif\ifwarnedobs\warnedobsfalse
620
 
\def\obstexwarn{%
621
 
  \ifwarnedobs\relax\else
622
 
  % We need to warn folks that they may have trouble with TeX 3.0.
623
 
  % This uses \immediate\write16 rather than \message to get newlines.
624
 
    \immediate\write16{}
625
 
    \immediate\write16{***WARNING*** for users of Unix TeX 3.0!}
626
 
    \immediate\write16{This manual trips a bug in TeX version 3.0 (tex hangs).}
627
 
    \immediate\write16{If you are running another version of TeX, relax.}
628
 
    \immediate\write16{If you are running Unix TeX 3.0, kill this TeX process.}
629
 
    \immediate\write16{  Then upgrade your TeX installation if you can.}
630
 
    \immediate\write16{If you are stuck with version 3.0, run the}
631
 
    \immediate\write16{  script ``tex3patch'' from the Texinfo distribution}
632
 
    \immediate\write16{  to use a workaround.}
633
 
    \immediate\write16{}
634
 
    \warnedobstrue
635
 
    \fi
636
 
}
637
 
 
638
 
% **In TeX 3.0, setting text in \nullfont hangs tex.  For a
639
 
% workaround (which requires the file ``dummy.tfm'' to be installed),
640
 
% uncomment the following line:
641
 
%%%%%\font\nullfont=dummy\let\obstexwarn=\relax
642
 
 
643
 
% Ignore text, except that we keep track of conditional commands for
644
 
% purposes of nesting, up to an `@end #1' command.
645
 
%
646
 
\def\nestedignore#1{%
647
 
  \obstexwarn
648
 
  % We must actually expand the ignored text to look for the @end
649
 
  % command, so that nested ignore constructs work.  Thus, we put the
650
 
  % text into a \vbox and then do nothing with the result.  To minimize
651
 
  % the change of memory overflow, we follow the approach outlined on
652
 
  % page 401 of the TeXbook: make the current font be a dummy font.
653
 
  %
654
 
  \setbox0 = \vbox\bgroup
655
 
    % Don't complain about control sequences we have declared \outer.
656
 
    \ignoresections
657
 
    %
658
 
    % Define `@end #1' to end the box, which will in turn undefine the
659
 
    % @end command again.
660
 
    \expandafter\def\csname E#1\endcsname{\egroup\ignorespaces}%
661
 
    %
662
 
    % We are going to be parsing Texinfo commands.  Most cause no
663
 
    % trouble when they are used incorrectly, but some commands do
664
 
    % complicated argument parsing or otherwise get confused, so we
665
 
    % undefine them.
666
 
    %
667
 
    % We can't do anything about stray @-signs, unfortunately;
668
 
    % they'll produce `undefined control sequence' errors.
669
 
    \ignoremorecommands
670
 
    %
671
 
    % Set the current font to be \nullfont, a TeX primitive, and define
672
 
    % all the font commands to also use \nullfont.  We don't use
673
 
    % dummy.tfm, as suggested in the TeXbook, because not all sites
674
 
    % might have that installed.  Therefore, math mode will still
675
 
    % produce output, but that should be an extremely small amount of
676
 
    % stuff compared to the main input.
677
 
    %
678
 
    \nullfont
679
 
    \let\tenrm = \nullfont  \let\tenit = \nullfont  \let\tensl = \nullfont
680
 
    \let\tenbf = \nullfont  \let\tentt = \nullfont  \let\smallcaps = \nullfont
681
 
    \let\tensf = \nullfont
682
 
    %
683
 
    % Don't complain when characters are missing from the fonts.
684
 
    \tracinglostchars = 0
685
 
    %
686
 
    % Don't bother to do space factor calculations.
687
 
    \frenchspacing
688
 
    %
689
 
    % Don't report underfull hboxes.
690
 
    \hbadness = 10000
691
 
    %
692
 
    % Do minimal line-breaking.
693
 
    \pretolerance = 10000
694
 
    %
695
 
    % Do not execute instructions in @tex
696
 
    \def\tex{\doignore{tex}}
697
 
}
698
 
 
699
 
% @set VAR sets the variable VAR to an empty value.
700
 
% @set VAR REST-OF-LINE sets VAR to the value REST-OF-LINE.
701
 
%
702
 
% Since we want to separate VAR from REST-OF-LINE (which might be
703
 
% empty), we can't just use \parsearg; we have to insert a space of our
704
 
% own to delimit the rest of the line, and then take it out again if we
705
 
% didn't need it.
706
 
%
707
 
\def\set{\parsearg\setxxx}
708
 
\def\setxxx#1{\setyyy#1 \endsetyyy}
709
 
\def\setyyy#1 #2\endsetyyy{%
710
 
  \def\temp{#2}%
711
 
  \ifx\temp\empty \global\expandafter\let\csname SET#1\endcsname = \empty
712
 
  \else \setzzz{#1}#2\endsetzzz % Remove the trailing space \setxxx inserted.
713
 
  \fi
714
 
}
715
 
\def\setzzz#1#2 \endsetzzz{\expandafter\xdef\csname SET#1\endcsname{#2}}
716
 
 
717
 
% @clear VAR clears (i.e., unsets) the variable VAR.
718
 
%
719
 
\def\clear{\parsearg\clearxxx}
720
 
\def\clearxxx#1{\global\expandafter\let\csname SET#1\endcsname=\relax}
721
 
 
722
 
% @value{foo} gets the text saved in variable foo.
723
 
%
724
 
\def\value#1{\expandafter
725
 
                \ifx\csname SET#1\endcsname\relax
726
 
                        {\{No value for ``#1''\}}
727
 
                \else \csname SET#1\endcsname \fi}
728
 
 
729
 
% @ifset VAR ... @end ifset reads the `...' iff VAR has been defined
730
 
% with @set.
731
 
%
732
 
\def\ifset{\parsearg\ifsetxxx}
733
 
\def\ifsetxxx #1{%
734
 
  \expandafter\ifx\csname SET#1\endcsname\relax
735
 
    \expandafter\ifsetfail
736
 
  \else
737
 
    \expandafter\ifsetsucceed
738
 
  \fi
739
 
}
740
 
\def\ifsetsucceed{\conditionalsucceed{ifset}}
741
 
\def\ifsetfail{\nestedignore{ifset}}
742
 
\defineunmatchedend{ifset}
743
 
 
744
 
% @ifclear VAR ... @end ifclear reads the `...' iff VAR has never been
745
 
% defined with @set, or has been undefined with @clear.
746
 
%
747
 
\def\ifclear{\parsearg\ifclearxxx}
748
 
\def\ifclearxxx #1{%
749
 
  \expandafter\ifx\csname SET#1\endcsname\relax
750
 
    \expandafter\ifclearsucceed
751
 
  \else
752
 
    \expandafter\ifclearfail
753
 
  \fi
754
 
}
755
 
\def\ifclearsucceed{\conditionalsucceed{ifclear}}
756
 
\def\ifclearfail{\nestedignore{ifclear}}
757
 
\defineunmatchedend{ifclear}
758
 
 
759
 
% @iftex always succeeds; we read the text following, through @end
760
 
% iftex).  But `@end iftex' should be valid only after an @iftex.
761
 
%
762
 
\def\iftex{\conditionalsucceed{iftex}}
763
 
\defineunmatchedend{iftex}
764
 
 
765
 
% We can't just want to start a group at @iftex (for example) and end it
766
 
% at @end iftex, since then @set commands inside the conditional have no
767
 
% effect (they'd get reverted at the end of the group).  So we must
768
 
% define \Eiftex to redefine itself to be its previous value.  (We can't
769
 
% just define it to fail again with an ``unmatched end'' error, since
770
 
% the @ifset might be nested.)
771
 
%
772
 
\def\conditionalsucceed#1{%
773
 
  \edef\temp{%
774
 
    % Remember the current value of \E#1.
775
 
    \let\nece{prevE#1} = \nece{E#1}%
776
 
    %
777
 
    % At the `@end #1', redefine \E#1 to be its previous value.
778
 
    \def\nece{E#1}{\let\nece{E#1} = \nece{prevE#1}}%
779
 
  }%
780
 
  \temp
781
 
}
782
 
 
783
 
% We need to expand lots of \csname's, but we don't want to expand the
784
 
% control sequences after we've constructed them.
785
 
%
786
 
\def\nece#1{\expandafter\noexpand\csname#1\endcsname}
787
 
 
788
 
% @asis just yields its argument.  Used with @table, for example.
789
 
%
790
 
\def\asis#1{#1}
791
 
 
792
 
% @math means output in math mode.
793
 
% We don't use $'s directly in the definition of \math because control
794
 
% sequences like \math are expanded when the toc file is written.  Then,
795
 
% we read the toc file back, the $'s will be normal characters (as they
796
 
% should be, according to the definition of Texinfo).  So we must use a
797
 
% control sequence to switch into and out of math mode.
798
 
%
799
 
% This isn't quite enough for @math to work properly in indices, but it
800
 
% seems unlikely it will ever be needed there.
801
 
%
802
 
\let\implicitmath = $
803
 
\def\math#1{\implicitmath #1\implicitmath}
804
 
 
805
 
% @bullet and @minus need the same treatment as @math, just above.
806
 
\def\bullet{\implicitmath\ptexbullet\implicitmath}
807
 
\def\minus{\implicitmath-\implicitmath}
808
 
 
809
 
\def\node{\ENVcheck\parsearg\nodezzz}
810
 
\def\nodezzz#1{\nodexxx [#1,]}
811
 
\def\nodexxx[#1,#2]{\gdef\lastnode{#1}}
812
 
\let\nwnode=\node
813
 
\let\lastnode=\relax
814
 
 
815
 
\def\donoderef{\ifx\lastnode\relax\else
816
 
\expandafter\expandafter\expandafter\setref{\lastnode}\fi
817
 
\let\lastnode=\relax}
818
 
 
819
 
\def\unnumbnoderef{\ifx\lastnode\relax\else
820
 
\expandafter\expandafter\expandafter\unnumbsetref{\lastnode}\fi
821
 
\let\lastnode=\relax}
822
 
 
823
 
\def\appendixnoderef{\ifx\lastnode\relax\else
824
 
\expandafter\expandafter\expandafter\appendixsetref{\lastnode}\fi
825
 
\let\lastnode=\relax}
826
 
 
827
 
\let\refill=\relax
828
 
 
829
 
% @setfilename is done at the beginning of every texinfo file.
830
 
% So open here the files we need to have open while reading the input.
831
 
% This makes it possible to make a .fmt file for texinfo.
832
 
\def\setfilename{%
833
 
   \readauxfile
834
 
   \opencontents
835
 
   \openindices
836
 
   \fixbackslash  % Turn off hack to swallow `\input texinfo'.
837
 
   \global\let\setfilename=\comment % Ignore extra @setfilename cmds.
838
 
   \comment % Ignore the actual filename.
839
 
}
840
 
 
841
 
\outer\def\bye{\pagealignmacro\tracingstats=1\ptexend}
842
 
 
843
 
\def\inforef #1{\inforefzzz #1,,,,**}
844
 
\def\inforefzzz #1,#2,#3,#4**{See Info file \file{\ignorespaces #3{}},
845
 
  node \samp{\ignorespaces#1{}}}
846
 
 
847
 
\message{fonts,}
848
 
 
849
 
% Font-change commands.
850
 
 
851
 
% Texinfo supports the sans serif font style, which plain TeX does not.
852
 
% So we set up a \sf analogous to plain's \rm, etc.
853
 
\newfam\sffam
854
 
\def\sf{\fam=\sffam \tensf}
855
 
\let\li = \sf % Sometimes we call it \li, not \sf.
856
 
 
857
 
%% Try out Computer Modern fonts at \magstephalf
858
 
\let\mainmagstep=\magstephalf
859
 
 
860
 
\ifx\bigger\relax
861
 
\let\mainmagstep=\magstep1
862
 
\font\textrm=cmr12
863
 
\font\texttt=cmtt12
864
 
\else
865
 
\font\textrm=cmr10 scaled \mainmagstep
866
 
\font\texttt=cmtt10 scaled \mainmagstep
867
 
\fi
868
 
% Instead of cmb10, you many want to use cmbx10.
869
 
% cmbx10 is a prettier font on its own, but cmb10
870
 
% looks better when embedded in a line with cmr10.
871
 
\font\textbf=cmb10 scaled \mainmagstep
872
 
\font\textit=cmti10 scaled \mainmagstep
873
 
\font\textsl=cmsl10 scaled \mainmagstep
874
 
\font\textsf=cmss10 scaled \mainmagstep
875
 
\font\textsc=cmcsc10 scaled \mainmagstep
876
 
\font\texti=cmmi10 scaled \mainmagstep
877
 
\font\textsy=cmsy10 scaled \mainmagstep
878
 
 
879
 
% A few fonts for @defun, etc.
880
 
\font\defbf=cmbx10 scaled \magstep1 %was 1314
881
 
\font\deftt=cmtt10 scaled \magstep1
882
 
\def\df{\let\tentt=\deftt \let\tenbf = \defbf \bf}
883
 
 
884
 
% Fonts for indices and small examples.
885
 
% We actually use the slanted font rather than the italic,
886
 
% because texinfo normally uses the slanted fonts for that.
887
 
% Do not make many font distinctions in general in the index, since they
888
 
% aren't very useful.
889
 
\font\ninett=cmtt9
890
 
\font\indrm=cmr9
891
 
\font\indit=cmsl9
892
 
\let\indsl=\indit
893
 
\let\indtt=\ninett
894
 
\let\indsf=\indrm
895
 
\let\indbf=\indrm
896
 
\let\indsc=\indrm
897
 
\font\indi=cmmi9
898
 
\font\indsy=cmsy9
899
 
 
900
 
% Fonts for headings
901
 
\font\chaprm=cmbx12 scaled \magstep2
902
 
\font\chapit=cmti12 scaled \magstep2
903
 
\font\chapsl=cmsl12 scaled \magstep2
904
 
\font\chaptt=cmtt12 scaled \magstep2
905
 
\font\chapsf=cmss12 scaled \magstep2
906
 
\let\chapbf=\chaprm
907
 
\font\chapsc=cmcsc10 scaled\magstep3
908
 
\font\chapi=cmmi12 scaled \magstep2
909
 
\font\chapsy=cmsy10 scaled \magstep3
910
 
 
911
 
\font\secrm=cmbx12 scaled \magstep1
912
 
\font\secit=cmti12 scaled \magstep1
913
 
\font\secsl=cmsl12 scaled \magstep1
914
 
\font\sectt=cmtt12 scaled \magstep1
915
 
\font\secsf=cmss12 scaled \magstep1
916
 
\font\secbf=cmbx12 scaled \magstep1
917
 
\font\secsc=cmcsc10 scaled\magstep2
918
 
\font\seci=cmmi12 scaled \magstep1
919
 
\font\secsy=cmsy10 scaled \magstep2
920
 
 
921
 
% \font\ssecrm=cmbx10 scaled \magstep1    % This size an font looked bad.
922
 
% \font\ssecit=cmti10 scaled \magstep1    % The letters were too crowded.
923
 
% \font\ssecsl=cmsl10 scaled \magstep1
924
 
% \font\ssectt=cmtt10 scaled \magstep1
925
 
% \font\ssecsf=cmss10 scaled \magstep1
926
 
 
927
 
%\font\ssecrm=cmb10 scaled 1315 % Note the use of cmb rather than cmbx.
928
 
%\font\ssecit=cmti10 scaled 1315        % Also, the size is a little larger than
929
 
%\font\ssecsl=cmsl10 scaled 1315        % being scaled magstep1.
930
 
%\font\ssectt=cmtt10 scaled 1315
931
 
%\font\ssecsf=cmss10 scaled 1315
932
 
 
933
 
%\let\ssecbf=\ssecrm
934
 
 
935
 
\font\ssecrm=cmbx12 scaled \magstephalf
936
 
\font\ssecit=cmti12 scaled \magstephalf
937
 
\font\ssecsl=cmsl12 scaled \magstephalf
938
 
\font\ssectt=cmtt12 scaled \magstephalf
939
 
\font\ssecsf=cmss12 scaled \magstephalf
940
 
\font\ssecbf=cmbx12 scaled \magstephalf
941
 
\font\ssecsc=cmcsc10 scaled \magstep1
942
 
\font\sseci=cmmi12 scaled \magstephalf
943
 
\font\ssecsy=cmsy10 scaled \magstep1
944
 
% The smallcaps and symbol fonts should actually be scaled \magstep1.5,
945
 
% but that is not a standard magnification.
946
 
 
947
 
% Fonts for title page:
948
 
\font\titlerm = cmbx12 scaled \magstep3
949
 
\let\authorrm = \secrm
950
 
 
951
 
% In order for the font changes to affect most math symbols and letters,
952
 
% we have to define the \textfont of the standard families.  Since
953
 
% texinfo doesn't allow for producing subscripts and superscripts, we
954
 
% don't bother to reset \scriptfont and \scriptscriptfont (which would
955
 
% also require loading a lot more fonts).
956
 
%
957
 
\def\resetmathfonts{%
958
 
  \textfont0 = \tenrm \textfont1 = \teni \textfont2 = \tensy
959
 
  \textfont\itfam = \tenit \textfont\slfam = \tensl \textfont\bffam = \tenbf
960
 
  \textfont\ttfam = \tentt \textfont\sffam = \tensf
961
 
}
962
 
 
963
 
 
964
 
% The font-changing commands redefine the meanings of \tenSTYLE, instead
965
 
% of just \STYLE.  We do this so that font changes will continue to work
966
 
% in math mode, where it is the current \fam that is relevant in most
967
 
% cases, not the current.  Plain TeX does, for example,
968
 
% \def\bf{\fam=\bffam \tenbf}  By redefining \tenbf, we obviate the need
969
 
% to redefine \bf itself.
970
 
\def\textfonts{%
971
 
  \let\tenrm=\textrm \let\tenit=\textit \let\tensl=\textsl
972
 
  \let\tenbf=\textbf \let\tentt=\texttt \let\smallcaps=\textsc
973
 
  \let\tensf=\textsf \let\teni=\texti \let\tensy=\textsy
974
 
  \resetmathfonts}
975
 
\def\chapfonts{%
976
 
  \let\tenrm=\chaprm \let\tenit=\chapit \let\tensl=\chapsl
977
 
  \let\tenbf=\chapbf \let\tentt=\chaptt \let\smallcaps=\chapsc
978
 
  \let\tensf=\chapsf \let\teni=\chapi \let\tensy=\chapsy
979
 
  \resetmathfonts}
980
 
\def\secfonts{%
981
 
  \let\tenrm=\secrm \let\tenit=\secit \let\tensl=\secsl
982
 
  \let\tenbf=\secbf \let\tentt=\sectt \let\smallcaps=\secsc
983
 
  \let\tensf=\secsf \let\teni=\seci \let\tensy=\secsy
984
 
  \resetmathfonts}
985
 
\def\subsecfonts{%
986
 
  \let\tenrm=\ssecrm \let\tenit=\ssecit \let\tensl=\ssecsl
987
 
  \let\tenbf=\ssecbf \let\tentt=\ssectt \let\smallcaps=\ssecsc
988
 
  \let\tensf=\ssecsf \let\teni=\sseci \let\tensy=\ssecsy
989
 
  \resetmathfonts}
990
 
\def\indexfonts{%
991
 
  \let\tenrm=\indrm \let\tenit=\indit \let\tensl=\indsl
992
 
  \let\tenbf=\indbf \let\tentt=\indtt \let\smallcaps=\indsc
993
 
  \let\tensf=\indsf \let\teni=\indi \let\tensy=\indsy
994
 
  \resetmathfonts}
995
 
 
996
 
% Set up the default fonts, so we can use them for creating boxes.
997
 
%
998
 
\textfonts
999
 
 
1000
 
% Count depth in font-changes, for error checks
1001
 
\newcount\fontdepth \fontdepth=0
1002
 
 
1003
 
% Fonts for short table of contents.
1004
 
\font\shortcontrm=cmr12
1005
 
\font\shortcontbf=cmbx12
1006
 
\font\shortcontsl=cmsl12
1007
 
 
1008
 
%% Add scribe-like font environments, plus @l for inline lisp (usually sans
1009
 
%% serif) and @ii for TeX italic
1010
 
 
1011
 
% \smartitalic{ARG} outputs arg in italics, followed by an italic correction
1012
 
% unless the following character is such as not to need one.
1013
 
\def\smartitalicx{\ifx\next,\else\ifx\next-\else\ifx\next.\else\/\fi\fi\fi}
1014
 
\def\smartitalic#1{{\sl #1}\futurelet\next\smartitalicx}
1015
 
 
1016
 
\let\i=\smartitalic
1017
 
\let\var=\smartitalic
1018
 
\let\dfn=\smartitalic
1019
 
\let\emph=\smartitalic
1020
 
\let\cite=\smartitalic
1021
 
 
1022
 
\def\b#1{{\bf #1}}
1023
 
\let\strong=\b
1024
 
 
1025
 
% We can't just use \exhyphenpenalty, because that only has effect at
1026
 
% the end of a paragraph.  Restore normal hyphenation at the end of the
1027
 
% group within which \nohyphenation is presumably called.
1028
 
%
1029
 
\def\nohyphenation{\hyphenchar\font = -1  \aftergroup\restorehyphenation}
1030
 
\def\restorehyphenation{\hyphenchar\font = `- }
1031
 
 
1032
 
\def\t#1{%
1033
 
  {\tt \nohyphenation \rawbackslash \frenchspacing #1}%
1034
 
  \null
1035
 
}
1036
 
\let\ttfont = \t
1037
 
%\def\samp #1{`{\tt \rawbackslash \frenchspacing #1}'\null}
1038
 
\def\samp #1{`\tclose{#1}'\null}
1039
 
\def\key #1{{\tt \nohyphenation \uppercase{#1}}\null}
1040
 
\def\ctrl #1{{\tt \rawbackslash \hat}#1}
1041
 
 
1042
 
\let\file=\samp
1043
 
 
1044
 
% @code is a modification of @t,
1045
 
% which makes spaces the same size as normal in the surrounding text.
1046
 
\def\tclose#1{%
1047
 
  {%
1048
 
    % Change normal interword space to be same as for the current font.
1049
 
    \spaceskip = \fontdimen2\font
1050
 
    %
1051
 
    % Switch to typewriter.
1052
 
    \tt
1053
 
    %
1054
 
    % But `\ ' produces the large typewriter interword space.
1055
 
    \def\ {{\spaceskip = 0pt{} }}%
1056
 
    %
1057
 
    % Turn off hyphenation.
1058
 
    \nohyphenation
1059
 
    %
1060
 
    \rawbackslash
1061
 
    \frenchspacing
1062
 
    #1%
1063
 
  }%
1064
 
  \null
1065
 
}
1066
 
 
1067
 
% We *must* turn on hyphenation at `-' and `_' in \code.
1068
 
% Otherwise, it is too hard to avoid overful hboxes
1069
 
% in the Emacs manual, the Library manual, etc.
1070
 
 
1071
 
% Unfortunately, TeX uses one parameter (\hyphenchar) to control
1072
 
% both hyphenation at - and hyphenation within words.
1073
 
% We must therefore turn them both off (\tclose does that)
1074
 
% and arrange explicitly to hyphenate an a dash.
1075
 
%  -- rms.
1076
 
{
1077
 
\catcode `\-=\active
1078
 
\catcode `\_=\active
1079
 
\global\def\code{\begingroup \catcode `\-=\active \let-\codedash \let_\codeunder \codex}
1080
 
}
1081
 
\def\codedash{-\discretionary{}{}{}}
1082
 
\def\codeunder{\normalunderscore\discretionary{}{}{}}
1083
 
\def\codex #1{\tclose{#1}\endgroup}
1084
 
 
1085
 
%\let\exp=\tclose  %Was temporary
1086
 
 
1087
 
% @kbd is like @code, except that if the argument is just one @key command,
1088
 
% then @kbd has no effect.
1089
 
 
1090
 
\def\xkey{\key}
1091
 
\def\kbdfoo#1#2#3\par{\def\one{#1}\def\three{#3}\def\threex{??}%
1092
 
\ifx\one\xkey\ifx\threex\three \key{#2}%
1093
 
\else\tclose{\look}\fi
1094
 
\else\tclose{\look}\fi}
1095
 
 
1096
 
% Typeset a dimension, e.g., `in' or `pt'.  The only reason for the
1097
 
% argument is to make the input look right: @dmn{pt} instead of
1098
 
% @dmn{}pt.
1099
 
%
1100
 
\def\dmn#1{\thinspace #1}
1101
 
 
1102
 
\def\kbd#1{\def\look{#1}\expandafter\kbdfoo\look??\par}
1103
 
 
1104
 
\def\l#1{{\li #1}\null}         %
1105
 
 
1106
 
\def\r#1{{\rm #1}}              % roman font
1107
 
% Use of \lowercase was suggested.
1108
 
\def\sc#1{{\smallcaps#1}}       % smallcaps font
1109
 
\def\ii#1{{\it #1}}             % italic font
1110
 
 
1111
 
\message{page headings,}
1112
 
 
1113
 
\newskip\titlepagetopglue \titlepagetopglue = 1.5in
1114
 
\newskip\titlepagebottomglue \titlepagebottomglue = 2pc
1115
 
 
1116
 
% First the title page.  Must do @settitle before @titlepage.
1117
 
\def\titlefont#1{{\titlerm #1}}
1118
 
 
1119
 
\newif\ifseenauthor
1120
 
\newif\iffinishedtitlepage
1121
 
 
1122
 
\def\shorttitlepage{\parsearg\shorttitlepagezzz}
1123
 
\def\shorttitlepagezzz #1{\begingroup\hbox{}\vskip 1.5in \chaprm \centerline{#1}%
1124
 
        \endgroup\page\hbox{}\page}
1125
 
 
1126
 
\def\titlepage{\begingroup \parindent=0pt \textfonts
1127
 
   \let\subtitlerm=\tenrm
1128
 
% I deinstalled the following change because \cmr12 is undefined.
1129
 
% This change was not in the ChangeLog anyway.  --rms.
1130
 
%   \let\subtitlerm=\cmr12
1131
 
   \def\subtitlefont{\subtitlerm \normalbaselineskip = 13pt \normalbaselines}%
1132
 
   %
1133
 
   \def\authorfont{\authorrm \normalbaselineskip = 16pt \normalbaselines}%
1134
 
   %
1135
 
   % Leave some space at the very top of the page.
1136
 
   \vglue\titlepagetopglue
1137
 
   %
1138
 
   % Now you can print the title using @title.
1139
 
   \def\title{\parsearg\titlezzz}%
1140
 
   \def\titlezzz##1{\leftline{\titlefont{##1}}
1141
 
                    % print a rule at the page bottom also.
1142
 
                    \finishedtitlepagefalse
1143
 
                    \vskip4pt \hrule height 4pt \vskip4pt}%
1144
 
   % No rule at page bottom unless we print one at the top with @title.
1145
 
   \finishedtitlepagetrue
1146
 
   %
1147
 
   % Now you can put text using @subtitle.
1148
 
   \def\subtitle{\parsearg\subtitlezzz}%
1149
 
   \def\subtitlezzz##1{{\subtitlefont \rightline{##1}}}%
1150
 
   %
1151
 
   % @author should come last, but may come many times.
1152
 
   \def\author{\parsearg\authorzzz}%
1153
 
   \def\authorzzz##1{\ifseenauthor\else\vskip 0pt plus 1filll\seenauthortrue\fi
1154
 
      {\authorfont \leftline{##1}}}%
1155
 
   %
1156
 
   % Most title ``pages'' are actually two pages long, with space
1157
 
   % at the top of the second.  We don't want the ragged left on the second.
1158
 
   \let\oldpage = \page
1159
 
   \def\page{%
1160
 
      \iffinishedtitlepage\else
1161
 
         \finishtitlepage
1162
 
      \fi
1163
 
      \oldpage
1164
 
      \let\page = \oldpage
1165
 
      \hbox{}}%
1166
 
%   \def\page{\oldpage \hbox{}}
1167
 
}
1168
 
 
1169
 
\def\Etitlepage{%
1170
 
   \iffinishedtitlepage\else
1171
 
      \finishtitlepage
1172
 
   \fi
1173
 
   % It is important to do the page break before ending the group,
1174
 
   % because the headline and footline are only empty inside the group.
1175
 
   % If we use the new definition of \page, we always get a blank page
1176
 
   % after the title page, which we certainly don't want.
1177
 
   \oldpage
1178
 
   \endgroup
1179
 
   \HEADINGSon
1180
 
}
1181
 
 
1182
 
\def\finishtitlepage{%
1183
 
   \vskip4pt \hrule height 2pt
1184
 
   \vskip\titlepagebottomglue
1185
 
   \finishedtitlepagetrue
1186
 
}
1187
 
 
1188
 
%%% Set up page headings and footings.
1189
 
 
1190
 
\let\thispage=\folio
1191
 
 
1192
 
\newtoks \evenheadline    % Token sequence for heading line of even pages
1193
 
\newtoks \oddheadline     % Token sequence for heading line of odd pages
1194
 
\newtoks \evenfootline    % Token sequence for footing line of even pages
1195
 
\newtoks \oddfootline     % Token sequence for footing line of odd pages
1196
 
 
1197
 
% Now make Tex use those variables
1198
 
\headline={{\textfonts\rm \ifodd\pageno \the\oddheadline
1199
 
                            \else \the\evenheadline \fi}}
1200
 
\footline={{\textfonts\rm \ifodd\pageno \the\oddfootline
1201
 
                            \else \the\evenfootline \fi}\HEADINGShook}
1202
 
\let\HEADINGShook=\relax
1203
 
 
1204
 
% Commands to set those variables.
1205
 
% For example, this is what  @headings on  does
1206
 
% @evenheading @thistitle|@thispage|@thischapter
1207
 
% @oddheading @thischapter|@thispage|@thistitle
1208
 
% @evenfooting @thisfile||
1209
 
% @oddfooting ||@thisfile
1210
 
 
1211
 
\def\evenheading{\parsearg\evenheadingxxx}
1212
 
\def\oddheading{\parsearg\oddheadingxxx}
1213
 
\def\everyheading{\parsearg\everyheadingxxx}
1214
 
 
1215
 
\def\evenfooting{\parsearg\evenfootingxxx}
1216
 
\def\oddfooting{\parsearg\oddfootingxxx}
1217
 
\def\everyfooting{\parsearg\everyfootingxxx}
1218
 
 
1219
 
{\catcode`\@=0 %
1220
 
 
1221
 
\gdef\evenheadingxxx #1{\evenheadingyyy #1@|@|@|@|\finish}
1222
 
\gdef\evenheadingyyy #1@|#2@|#3@|#4\finish{%
1223
 
\global\evenheadline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
1224
 
 
1225
 
\gdef\oddheadingxxx #1{\oddheadingyyy #1@|@|@|@|\finish}
1226
 
\gdef\oddheadingyyy #1@|#2@|#3@|#4\finish{%
1227
 
\global\oddheadline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
1228
 
 
1229
 
\gdef\everyheadingxxx #1{\everyheadingyyy #1@|@|@|@|\finish}
1230
 
\gdef\everyheadingyyy #1@|#2@|#3@|#4\finish{%
1231
 
\global\evenheadline={\rlap{\centerline{#2}}\line{#1\hfil#3}}
1232
 
\global\oddheadline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
1233
 
 
1234
 
\gdef\evenfootingxxx #1{\evenfootingyyy #1@|@|@|@|\finish}
1235
 
\gdef\evenfootingyyy #1@|#2@|#3@|#4\finish{%
1236
 
\global\evenfootline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
1237
 
 
1238
 
\gdef\oddfootingxxx #1{\oddfootingyyy #1@|@|@|@|\finish}
1239
 
\gdef\oddfootingyyy #1@|#2@|#3@|#4\finish{%
1240
 
\global\oddfootline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
1241
 
 
1242
 
\gdef\everyfootingxxx #1{\everyfootingyyy #1@|@|@|@|\finish}
1243
 
\gdef\everyfootingyyy #1@|#2@|#3@|#4\finish{%
1244
 
\global\evenfootline={\rlap{\centerline{#2}}\line{#1\hfil#3}}
1245
 
\global\oddfootline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
1246
 
%
1247
 
}% unbind the catcode of @.
1248
 
 
1249
 
% @headings double      turns headings on for double-sided printing.
1250
 
% @headings single      turns headings on for single-sided printing.
1251
 
% @headings off         turns them off.
1252
 
% @headings on          same as @headings double, retained for compatibility.
1253
 
% @headings after       turns on double-sided headings after this page.
1254
 
% @headings doubleafter turns on double-sided headings after this page.
1255
 
% @headings singleafter turns on single-sided headings after this page.
1256
 
% By default, they are off.
1257
 
 
1258
 
\def\headings #1 {\csname HEADINGS#1\endcsname}
1259
 
 
1260
 
\def\HEADINGSoff{
1261
 
\global\evenheadline={\hfil} \global\evenfootline={\hfil}
1262
 
\global\oddheadline={\hfil} \global\oddfootline={\hfil}}
1263
 
\HEADINGSoff
1264
 
% When we turn headings on, set the page number to 1.
1265
 
% For double-sided printing, put current file name in lower left corner,
1266
 
% chapter name on inside top of right hand pages, document
1267
 
% title on inside top of left hand pages, and page numbers on outside top
1268
 
% edge of all pages.
1269
 
\def\HEADINGSdouble{
1270
 
%\pagealignmacro
1271
 
\global\pageno=1
1272
 
\global\evenfootline={\hfil}
1273
 
\global\oddfootline={\hfil}
1274
 
\global\evenheadline={\line{\folio\hfil\thistitle}}
1275
 
\global\oddheadline={\line{\thischapter\hfil\folio}}
1276
 
}
1277
 
% For single-sided printing, chapter title goes across top left of page,
1278
 
% page number on top right.
1279
 
\def\HEADINGSsingle{
1280
 
%\pagealignmacro
1281
 
\global\pageno=1
1282
 
\global\evenfootline={\hfil}
1283
 
\global\oddfootline={\hfil}
1284
 
\global\evenheadline={\line{\thischapter\hfil\folio}}
1285
 
\global\oddheadline={\line{\thischapter\hfil\folio}}
1286
 
}
1287
 
\def\HEADINGSon{\HEADINGSdouble}
1288
 
 
1289
 
\def\HEADINGSafter{\let\HEADINGShook=\HEADINGSdoublex}
1290
 
\let\HEADINGSdoubleafter=\HEADINGSafter
1291
 
\def\HEADINGSdoublex{%
1292
 
\global\evenfootline={\hfil}
1293
 
\global\oddfootline={\hfil}
1294
 
\global\evenheadline={\line{\folio\hfil\thistitle}}
1295
 
\global\oddheadline={\line{\thischapter\hfil\folio}}
1296
 
}
1297
 
 
1298
 
\def\HEADINGSsingleafter{\let\HEADINGShook=\HEADINGSsinglex}
1299
 
\def\HEADINGSsinglex{%
1300
 
\global\evenfootline={\hfil}
1301
 
\global\oddfootline={\hfil}
1302
 
\global\evenheadline={\line{\thischapter\hfil\folio}}
1303
 
\global\oddheadline={\line{\thischapter\hfil\folio}}
1304
 
}
1305
 
 
1306
 
% Subroutines used in generating headings
1307
 
% Produces Day Month Year style of output.
1308
 
\def\today{\number\day\space
1309
 
\ifcase\month\or
1310
 
January\or February\or March\or April\or May\or June\or
1311
 
July\or August\or September\or October\or November\or December\fi
1312
 
\space\number\year}
1313
 
 
1314
 
% Use this if you want the Month Day, Year style of output.
1315
 
%\def\today{\ifcase\month\or
1316
 
%January\or February\or March\or April\or May\or June\or
1317
 
%July\or August\or September\or October\or November\or December\fi
1318
 
%\space\number\day, \number\year}
1319
 
 
1320
 
% @settitle line...  specifies the title of the document, for headings
1321
 
% It generates no output of its own
1322
 
 
1323
 
\def\thistitle{No Title}
1324
 
\def\settitle{\parsearg\settitlezzz}
1325
 
\def\settitlezzz #1{\gdef\thistitle{#1}}
1326
 
 
1327
 
\message{tables,}
1328
 
 
1329
 
% @tabs -- simple alignment
1330
 
 
1331
 
% These don't work.  For one thing, \+ is defined as outer.
1332
 
% So these macros cannot even be defined.
1333
 
 
1334
 
%\def\tabs{\parsearg\tabszzz}
1335
 
%\def\tabszzz #1{\settabs\+#1\cr}
1336
 
%\def\tabline{\parsearg\tablinezzz}
1337
 
%\def\tablinezzz #1{\+#1\cr}
1338
 
%\def\&{&}
1339
 
 
1340
 
% Tables -- @table, @ftable, @vtable, @item(x), @kitem(x), @xitem(x).
1341
 
 
1342
 
% default indentation of table text
1343
 
\newdimen\tableindent \tableindent=.8in
1344
 
% default indentation of @itemize and @enumerate text
1345
 
\newdimen\itemindent  \itemindent=.3in
1346
 
% margin between end of table item and start of table text.
1347
 
\newdimen\itemmargin  \itemmargin=.1in
1348
 
 
1349
 
% used internally for \itemindent minus \itemmargin
1350
 
\newdimen\itemmax
1351
 
 
1352
 
% Note @table, @vtable, and @vtable define @item, @itemx, etc., with
1353
 
% these defs.
1354
 
% They also define \itemindex
1355
 
% to index the item name in whatever manner is desired (perhaps none).
1356
 
 
1357
 
\def\internalBitem{\smallbreak \parsearg\itemzzz}
1358
 
\def\internalBitemx{\par \parsearg\itemzzz}
1359
 
 
1360
 
\def\internalBxitem "#1"{\def\xitemsubtopix{#1} \smallbreak \parsearg\xitemzzz}
1361
 
\def\internalBxitemx "#1"{\def\xitemsubtopix{#1} \par \parsearg\xitemzzz}
1362
 
 
1363
 
\def\internalBkitem{\smallbreak \parsearg\kitemzzz}
1364
 
\def\internalBkitemx{\par \parsearg\kitemzzz}
1365
 
 
1366
 
\def\kitemzzz #1{\dosubind {kw}{\code{#1}}{for {\bf \lastfunction}}%
1367
 
                 \itemzzz {#1}}
1368
 
 
1369
 
\def\xitemzzz #1{\dosubind {kw}{\code{#1}}{for {\bf \xitemsubtopic}}%
1370
 
                 \itemzzz {#1}}
1371
 
 
1372
 
\def\itemzzz #1{\begingroup %
1373
 
  \advance\hsize by -\rightskip
1374
 
  \advance\hsize by -\tableindent
1375
 
  \setbox0=\hbox{\itemfont{#1}}%
1376
 
  \itemindex{#1}%
1377
 
  \nobreak % This prevents a break before @itemx.
1378
 
  %
1379
 
  % Be sure we are not still in the middle of a paragraph.
1380
 
  {\parskip = 0in
1381
 
  \par
1382
 
  }%
1383
 
  %
1384
 
  % If the item text does not fit in the space we have, put it on a line
1385
 
  % by itself, and do not allow a page break either before or after that
1386
 
  % line.  We do not start a paragraph here because then if the next
1387
 
  % command is, e.g., @kindex, the whatsit would get put into the
1388
 
  % horizontal list on a line by itself, resulting in extra blank space.
1389
 
  \ifdim \wd0>\itemmax
1390
 
    \setbox0=\hbox{\hskip \leftskip \hskip -\tableindent \unhbox0}\box0
1391
 
    %
1392
 
    % We're going to be starting a paragraph, but we don't want the
1393
 
    % \parskip glue -- logically it's part of the @item we just started.
1394
 
    \nobreak \vskip-\parskip
1395
 
    %
1396
 
    % Stop a page break at the \parskip glue coming up.  Unfortunately
1397
 
    % we can't prevent a possible page break at the following
1398
 
    % \baselineskip glue.
1399
 
    \nobreak
1400
 
  \else
1401
 
    % The item text fits into the space.  Start a paragraph, so that the
1402
 
    % following text (if any) will end up on the same line.  Since that
1403
 
    % text will be indented by \tableindent, we make the item text be in
1404
 
    % a zero-width box.
1405
 
    \noindent
1406
 
    \rlap{\hskip -\tableindent\box0}%
1407
 
  \fi
1408
 
  \endgroup
1409
 
}
1410
 
 
1411
 
\def\item{\errmessage{@item while not in a table}}
1412
 
\def\itemx{\errmessage{@itemx while not in a table}}
1413
 
\def\kitem{\errmessage{@kitem while not in a table}}
1414
 
\def\kitemx{\errmessage{@kitemx while not in a table}}
1415
 
\def\xitem{\errmessage{@xitem while not in a table}}
1416
 
\def\xitemx{\errmessage{@xitemx while not in a table}}
1417
 
 
1418
 
%% Contains a kludge to get @end[description] to work
1419
 
\def\description{\tablez{\dontindex}{1}{}{}{}{}}
1420
 
 
1421
 
\def\table{\begingroup\inENV\obeylines\obeyspaces\tablex}
1422
 
{\obeylines\obeyspaces%
1423
 
\gdef\tablex #1^^M{%
1424
 
\tabley\dontindex#1        \endtabley}}
1425
 
 
1426
 
\def\ftable{\begingroup\inENV\obeylines\obeyspaces\ftablex}
1427
 
{\obeylines\obeyspaces%
1428
 
\gdef\ftablex #1^^M{%
1429
 
\tabley\fnitemindex#1        \endtabley
1430
 
\def\Eftable{\endgraf\afterenvbreak\endgroup}%
1431
 
\let\Etable=\relax}}
1432
 
 
1433
 
\def\vtable{\begingroup\inENV\obeylines\obeyspaces\vtablex}
1434
 
{\obeylines\obeyspaces%
1435
 
\gdef\vtablex #1^^M{%
1436
 
\tabley\vritemindex#1        \endtabley
1437
 
\def\Evtable{\endgraf\afterenvbreak\endgroup}%
1438
 
\let\Etable=\relax}}
1439
 
 
1440
 
\def\dontindex #1{}
1441
 
\def\fnitemindex #1{\doind {fn}{\code{#1}}}%
1442
 
\def\vritemindex #1{\doind {vr}{\code{#1}}}%
1443
 
 
1444
 
{\obeyspaces %
1445
 
\gdef\tabley#1#2 #3 #4 #5 #6 #7\endtabley{\endgroup%
1446
 
\tablez{#1}{#2}{#3}{#4}{#5}{#6}}}
1447
 
 
1448
 
\def\tablez #1#2#3#4#5#6{%
1449
 
\aboveenvbreak %
1450
 
\begingroup %
1451
 
\def\Edescription{\Etable}% Neccessary kludge.
1452
 
\let\itemindex=#1%
1453
 
\ifnum 0#3>0 \advance \leftskip by #3\mil \fi %
1454
 
\ifnum 0#4>0 \tableindent=#4\mil \fi %
1455
 
\ifnum 0#5>0 \advance \rightskip by #5\mil \fi %
1456
 
\def\itemfont{#2}%
1457
 
\itemmax=\tableindent %
1458
 
\advance \itemmax by -\itemmargin %
1459
 
\advance \leftskip by \tableindent %
1460
 
\exdentamount=\tableindent
1461
 
\parindent = 0pt
1462
 
\parskip = \smallskipamount
1463
 
\ifdim \parskip=0pt \parskip=2pt \fi%
1464
 
\def\Etable{\endgraf\afterenvbreak\endgroup}%
1465
 
\let\item = \internalBitem %
1466
 
\let\itemx = \internalBitemx %
1467
 
\let\kitem = \internalBkitem %
1468
 
\let\kitemx = \internalBkitemx %
1469
 
\let\xitem = \internalBxitem %
1470
 
\let\xitemx = \internalBxitemx %
1471
 
}
1472
 
 
1473
 
% This is the counter used by @enumerate, which is really @itemize
1474
 
 
1475
 
\newcount \itemno
1476
 
 
1477
 
\def\itemize{\parsearg\itemizezzz}
1478
 
 
1479
 
\def\itemizezzz #1{%
1480
 
  \begingroup % ended by the @end itemsize
1481
 
  \itemizey {#1}{\Eitemize}
1482
 
}
1483
 
 
1484
 
\def\itemizey #1#2{%
1485
 
\aboveenvbreak %
1486
 
\itemmax=\itemindent %
1487
 
\advance \itemmax by -\itemmargin %
1488
 
\advance \leftskip by \itemindent %
1489
 
\exdentamount=\itemindent
1490
 
\parindent = 0pt %
1491
 
\parskip = \smallskipamount %
1492
 
\ifdim \parskip=0pt \parskip=2pt \fi%
1493
 
\def#2{\endgraf\afterenvbreak\endgroup}%
1494
 
\def\itemcontents{#1}%
1495
 
\let\item=\itemizeitem}
1496
 
 
1497
 
% Set sfcode to normal for the chars that usually have another value.
1498
 
% These are `.?!:;,'
1499
 
\def\frenchspacing{\sfcode46=1000 \sfcode63=1000 \sfcode33=1000
1500
 
  \sfcode58=1000 \sfcode59=1000 \sfcode44=1000 }
1501
 
 
1502
 
% \splitoff TOKENS\endmark defines \first to be the first token in
1503
 
% TOKENS, and \rest to be the remainder.
1504
 
%
1505
 
\def\splitoff#1#2\endmark{\def\first{#1}\def\rest{#2}}%
1506
 
 
1507
 
% Allow an optional argument of an uppercase letter, lowercase letter,
1508
 
% or number, to specify the first label in the enumerated list.  No
1509
 
% argument is the same as `1'.
1510
 
%
1511
 
\def\enumerate{\parsearg\enumeratezzz}
1512
 
\def\enumeratezzz #1{\enumeratey #1  \endenumeratey}
1513
 
\def\enumeratey #1 #2\endenumeratey{%
1514
 
  \begingroup % ended by the @end enumerate
1515
 
  %
1516
 
  % If we were given no argument, pretend we were given `1'.
1517
 
  \def\thearg{#1}%
1518
 
  \ifx\thearg\empty \def\thearg{1}\fi
1519
 
  %
1520
 
  % Detect if the argument is a single token.  If so, it might be a
1521
 
  % letter.  Otherwise, the only valid thing it can be is a number.
1522
 
  % (We will always have one token, because of the test we just made.
1523
 
  % This is a good thing, since \splitoff doesn't work given nothing at
1524
 
  % all -- the first parameter is undelimited.)
1525
 
  \expandafter\splitoff\thearg\endmark
1526
 
  \ifx\rest\empty
1527
 
    % Only one token in the argument.  It could still be anything.
1528
 
    % A ``lowercase letter'' is one whose \lccode is nonzero.
1529
 
    % An ``uppercase letter'' is one whose \lccode is both nonzero, and
1530
 
    %   not equal to itself.
1531
 
    % Otherwise, we assume it's a number.
1532
 
    %
1533
 
    % We need the \relax at the end of the \ifnum lines to stop TeX from
1534
 
    % continuing to look for a <number>.
1535
 
    %
1536
 
    \ifnum\lccode\expandafter`\thearg=0\relax
1537
 
      \numericenumerate % a number (we hope)
1538
 
    \else
1539
 
      % It's a letter.
1540
 
      \ifnum\lccode\expandafter`\thearg=\expandafter`\thearg\relax
1541
 
        \lowercaseenumerate % lowercase letter
1542
 
      \else
1543
 
        \uppercaseenumerate % uppercase letter
1544
 
      \fi
1545
 
    \fi
1546
 
  \else
1547
 
    % Multiple tokens in the argument.  We hope it's a number.
1548
 
    \numericenumerate
1549
 
  \fi
1550
 
}
1551
 
 
1552
 
% An @enumerate whose labels are integers.  The starting integer is
1553
 
% given in \thearg.
1554
 
%
1555
 
\def\numericenumerate{%
1556
 
  \itemno = \thearg
1557
 
  \startenumeration{\the\itemno}%
1558
 
}
1559
 
 
1560
 
% The starting (lowercase) letter is in \thearg.
1561
 
\def\lowercaseenumerate{%
1562
 
  \itemno = \expandafter`\thearg
1563
 
  \startenumeration{%
1564
 
    % Be sure we're not beyond the end of the alphabet.
1565
 
    \ifnum\itemno=0
1566
 
      \errmessage{No more lowercase letters in @enumerate; get a bigger
1567
 
                  alphabet}%
1568
 
    \fi
1569
 
    \char\lccode\itemno
1570
 
  }%
1571
 
}
1572
 
 
1573
 
% The starting (uppercase) letter is in \thearg.
1574
 
\def\uppercaseenumerate{%
1575
 
  \itemno = \expandafter`\thearg
1576
 
  \startenumeration{%
1577
 
    % Be sure we're not beyond the end of the alphabet.
1578
 
    \ifnum\itemno=0
1579
 
      \errmessage{No more uppercase letters in @enumerate; get a bigger
1580
 
                  alphabet}
1581
 
    \fi
1582
 
    \char\uccode\itemno
1583
 
  }%
1584
 
}
1585
 
 
1586
 
% Call itemizey, adding a period to the first argument and supplying the
1587
 
% common last two arguments.  Also subtract one from the initial value in
1588
 
% \itemno, since @item increments \itemno.
1589
 
%
1590
 
\def\startenumeration#1{%
1591
 
  \advance\itemno by -1
1592
 
  \itemizey{#1.}\Eenumerate\flushcr
1593
 
}
1594
 
 
1595
 
% @alphaenumerate and @capsenumerate are abbreviations for giving an arg
1596
 
% to @enumerate.
1597
 
%
1598
 
\def\alphaenumerate{\enumerate{a}}
1599
 
\def\capsenumerate{\enumerate{A}}
1600
 
\def\Ealphaenumerate{\Eenumerate}
1601
 
\def\Ecapsenumerate{\Eenumerate}
1602
 
 
1603
 
% Definition of @item while inside @itemize.
1604
 
 
1605
 
\def\itemizeitem{%
1606
 
\advance\itemno by 1
1607
 
{\let\par=\endgraf \smallbreak}%
1608
 
\ifhmode \errmessage{\in hmode at itemizeitem}\fi
1609
 
{\parskip=0in \hskip 0pt
1610
 
\hbox to 0pt{\hss \itemcontents\hskip \itemmargin}%
1611
 
\vadjust{\penalty 1200}}%
1612
 
\flushcr}
1613
 
 
1614
 
\message{indexing,}
1615
 
% Index generation facilities
1616
 
 
1617
 
% Define \newwrite to be identical to plain tex's \newwrite
1618
 
% except not \outer, so it can be used within \newindex.
1619
 
{\catcode`\@=11
1620
 
\gdef\newwrite{\alloc@7\write\chardef\sixt@@n}}
1621
 
 
1622
 
% \newindex {foo} defines an index named foo.
1623
 
% It automatically defines \fooindex such that
1624
 
% \fooindex ...rest of line... puts an entry in the index foo.
1625
 
% It also defines \fooindfile to be the number of the output channel for
1626
 
% the file that accumulates this index.  The file's extension is foo.
1627
 
% The name of an index should be no more than 2 characters long
1628
 
% for the sake of vms.
1629
 
 
1630
 
\def\newindex #1{
1631
 
\expandafter\newwrite \csname#1indfile\endcsname% Define number for output file
1632
 
\openout \csname#1indfile\endcsname \jobname.#1 % Open the file
1633
 
\expandafter\xdef\csname#1index\endcsname{%     % Define \xxxindex
1634
 
\noexpand\doindex {#1}}
1635
 
}
1636
 
 
1637
 
% @defindex foo  ==  \newindex{foo}
1638
 
 
1639
 
\def\defindex{\parsearg\newindex}
1640
 
 
1641
 
% Define @defcodeindex, like @defindex except put all entries in @code.
1642
 
 
1643
 
\def\newcodeindex #1{
1644
 
\expandafter\newwrite \csname#1indfile\endcsname% Define number for output file
1645
 
\openout \csname#1indfile\endcsname \jobname.#1 % Open the file
1646
 
\expandafter\xdef\csname#1index\endcsname{%     % Define \xxxindex
1647
 
\noexpand\docodeindex {#1}}
1648
 
}
1649
 
 
1650
 
\def\defcodeindex{\parsearg\newcodeindex}
1651
 
 
1652
 
% @synindex foo bar    makes index foo feed into index bar.
1653
 
% Do this instead of @defindex foo if you don't want it as a separate index.
1654
 
\def\synindex #1 #2 {%
1655
 
\expandafter\let\expandafter\synindexfoo\expandafter=\csname#2indfile\endcsname
1656
 
\expandafter\let\csname#1indfile\endcsname=\synindexfoo
1657
 
\expandafter\xdef\csname#1index\endcsname{%     % Define \xxxindex
1658
 
\noexpand\doindex {#2}}%
1659
 
}
1660
 
 
1661
 
% @syncodeindex foo bar   similar, but put all entries made for index foo
1662
 
% inside @code.
1663
 
\def\syncodeindex #1 #2 {%
1664
 
\expandafter\let\expandafter\synindexfoo\expandafter=\csname#2indfile\endcsname
1665
 
\expandafter\let\csname#1indfile\endcsname=\synindexfoo
1666
 
\expandafter\xdef\csname#1index\endcsname{%     % Define \xxxindex
1667
 
\noexpand\docodeindex {#2}}%
1668
 
}
1669
 
 
1670
 
% Define \doindex, the driver for all \fooindex macros.
1671
 
% Argument #1 is generated by the calling \fooindex macro,
1672
 
%  and it is "foo", the name of the index.
1673
 
 
1674
 
% \doindex just uses \parsearg; it calls \doind for the actual work.
1675
 
% This is because \doind is more useful to call from other macros.
1676
 
 
1677
 
% There is also \dosubind {index}{topic}{subtopic}
1678
 
% which makes an entry in a two-level index such as the operation index.
1679
 
 
1680
 
\def\doindex#1{\edef\indexname{#1}\parsearg\singleindexer}
1681
 
\def\singleindexer #1{\doind{\indexname}{#1}}
1682
 
 
1683
 
% like the previous two, but they put @code around the argument.
1684
 
\def\docodeindex#1{\edef\indexname{#1}\parsearg\singlecodeindexer}
1685
 
\def\singlecodeindexer #1{\doind{\indexname}{\code{#1}}}
1686
 
 
1687
 
\def\indexdummies{%
1688
 
\def\_{{\realbackslash _}}%
1689
 
\def\w{\realbackslash w }%
1690
 
\def\bf{\realbackslash bf }%
1691
 
\def\rm{\realbackslash rm }%
1692
 
\def\sl{\realbackslash sl }%
1693
 
\def\sf{\realbackslash sf}%
1694
 
\def\tt{\realbackslash tt}%
1695
 
\def\gtr{\realbackslash gtr}%
1696
 
\def\less{\realbackslash less}%
1697
 
\def\hat{\realbackslash hat}%
1698
 
\def\char{\realbackslash char}%
1699
 
\def\TeX{\realbackslash TeX}%
1700
 
\def\dots{\realbackslash dots }%
1701
 
\def\copyright{\realbackslash copyright }%
1702
 
\def\tclose##1{\realbackslash tclose {##1}}%
1703
 
\def\code##1{\realbackslash code {##1}}%
1704
 
\def\samp##1{\realbackslash samp {##1}}%
1705
 
\def\t##1{\realbackslash r {##1}}%
1706
 
\def\r##1{\realbackslash r {##1}}%
1707
 
\def\i##1{\realbackslash i {##1}}%
1708
 
\def\b##1{\realbackslash b {##1}}%
1709
 
\def\cite##1{\realbackslash cite {##1}}%
1710
 
\def\key##1{\realbackslash key {##1}}%
1711
 
\def\file##1{\realbackslash file {##1}}%
1712
 
\def\var##1{\realbackslash var {##1}}%
1713
 
\def\kbd##1{\realbackslash kbd {##1}}%
1714
 
\def\dfn##1{\realbackslash dfn {##1}}%
1715
 
\def\emph##1{\realbackslash emph {##1}}%
1716
 
}
1717
 
 
1718
 
% \indexnofonts no-ops all font-change commands.
1719
 
% This is used when outputting the strings to sort the index by.
1720
 
\def\indexdummyfont#1{#1}
1721
 
\def\indexdummytex{TeX}
1722
 
\def\indexdummydots{...}
1723
 
 
1724
 
\def\indexnofonts{%
1725
 
\let\w=\indexdummyfont
1726
 
\let\t=\indexdummyfont
1727
 
\let\r=\indexdummyfont
1728
 
\let\i=\indexdummyfont
1729
 
\let\b=\indexdummyfont
1730
 
\let\emph=\indexdummyfont
1731
 
\let\strong=\indexdummyfont
1732
 
\let\cite=\indexdummyfont
1733
 
\let\sc=\indexdummyfont
1734
 
%Don't no-op \tt, since it isn't a user-level command
1735
 
% and is used in the definitions of the active chars like <, >, |...
1736
 
%\let\tt=\indexdummyfont
1737
 
\let\tclose=\indexdummyfont
1738
 
\let\code=\indexdummyfont
1739
 
\let\file=\indexdummyfont
1740
 
\let\samp=\indexdummyfont
1741
 
\let\kbd=\indexdummyfont
1742
 
\let\key=\indexdummyfont
1743
 
\let\var=\indexdummyfont
1744
 
\let\TeX=\indexdummytex
1745
 
\let\dots=\indexdummydots
1746
 
}
1747
 
 
1748
 
% To define \realbackslash, we must make \ not be an escape.
1749
 
% We must first make another character (@) an escape
1750
 
% so we do not become unable to do a definition.
1751
 
 
1752
 
{\catcode`\@=0 \catcode`\\=\other
1753
 
@gdef@realbackslash{\}}
1754
 
 
1755
 
\let\indexbackslash=0  %overridden during \printindex.
1756
 
 
1757
 
\def\doind #1#2{%
1758
 
{\count10=\lastpenalty %
1759
 
{\indexdummies % Must do this here, since \bf, etc expand at this stage
1760
 
\escapechar=`\\%
1761
 
{\let\folio=0% Expand all macros now EXCEPT \folio
1762
 
\def\rawbackslashxx{\indexbackslash}% \indexbackslash isn't defined now
1763
 
% so it will be output as is; and it will print as backslash in the indx.
1764
 
%
1765
 
% Now process the index-string once, with all font commands turned off,
1766
 
% to get the string to sort the index by.
1767
 
{\indexnofonts
1768
 
\xdef\temp1{#2}%
1769
 
}%
1770
 
% Now produce the complete index entry.  We process the index-string again,
1771
 
% this time with font commands expanded, to get what to print in the index.
1772
 
\edef\temp{%
1773
 
\write \csname#1indfile\endcsname{%
1774
 
\realbackslash entry {\temp1}{\folio}{#2}}}%
1775
 
\temp }%
1776
 
}\penalty\count10}}
1777
 
 
1778
 
\def\dosubind #1#2#3{%
1779
 
{\count10=\lastpenalty %
1780
 
{\indexdummies % Must do this here, since \bf, etc expand at this stage
1781
 
\escapechar=`\\%
1782
 
{\let\folio=0%
1783
 
\def\rawbackslashxx{\indexbackslash}%
1784
 
%
1785
 
% Now process the index-string once, with all font commands turned off,
1786
 
% to get the string to sort the index by.
1787
 
{\indexnofonts
1788
 
\xdef\temp1{#2 #3}%
1789
 
}%
1790
 
% Now produce the complete index entry.  We process the index-string again,
1791
 
% this time with font commands expanded, to get what to print in the index.
1792
 
\edef\temp{%
1793
 
\write \csname#1indfile\endcsname{%
1794
 
\realbackslash entry {\temp1}{\folio}{#2}{#3}}}%
1795
 
\temp }%
1796
 
}\penalty\count10}}
1797
 
 
1798
 
% The index entry written in the file actually looks like
1799
 
%  \entry {sortstring}{page}{topic}
1800
 
% or
1801
 
%  \entry {sortstring}{page}{topic}{subtopic}
1802
 
% The texindex program reads in these files and writes files
1803
 
% containing these kinds of lines:
1804
 
%  \initial {c}
1805
 
%     before the first topic whose initial is c
1806
 
%  \entry {topic}{pagelist}
1807
 
%     for a topic that is used without subtopics
1808
 
%  \primary {topic}
1809
 
%     for the beginning of a topic that is used with subtopics
1810
 
%  \secondary {subtopic}{pagelist}
1811
 
%     for each subtopic.
1812
 
 
1813
 
% Define the user-accessible indexing commands
1814
 
% @findex, @vindex, @kindex, @cindex.
1815
 
 
1816
 
\def\findex {\fnindex}
1817
 
\def\kindex {\kyindex}
1818
 
\def\cindex {\cpindex}
1819
 
\def\vindex {\vrindex}
1820
 
\def\tindex {\tpindex}
1821
 
\def\pindex {\pgindex}
1822
 
 
1823
 
\def\cindexsub {\begingroup\obeylines\cindexsub}
1824
 
{\obeylines %
1825
 
\gdef\cindexsub "#1" #2^^M{\endgroup %
1826
 
\dosubind{cp}{#2}{#1}}}
1827
 
 
1828
 
% Define the macros used in formatting output of the sorted index material.
1829
 
 
1830
 
% This is what you call to cause a particular index to get printed.
1831
 
% Write
1832
 
% @unnumbered Function Index
1833
 
% @printindex fn
1834
 
 
1835
 
\def\printindex{\parsearg\doprintindex}
1836
 
 
1837
 
\def\doprintindex#1{%
1838
 
  \tex
1839
 
  \dobreak \chapheadingskip {10000}
1840
 
  \catcode`\%=\other\catcode`\&=\other\catcode`\#=\other
1841
 
  \catcode`\$=\other\catcode`\_=\other
1842
 
  \catcode`\~=\other
1843
 
  %
1844
 
  % The following don't help, since the chars were translated
1845
 
  % when the raw index was written, and their fonts were discarded
1846
 
  % due to \indexnofonts.
1847
 
  %\catcode`\"=\active
1848
 
  %\catcode`\^=\active
1849
 
  %\catcode`\_=\active
1850
 
  %\catcode`\|=\active
1851
 
  %\catcode`\<=\active
1852
 
  %\catcode`\>=\active
1853
 
  % %
1854
 
  \def\indexbackslash{\rawbackslashxx}
1855
 
  \indexfonts\rm \tolerance=9500 \advance\baselineskip -1pt
1856
 
  \begindoublecolumns
1857
 
  %
1858
 
  % See if the index file exists and is nonempty.
1859
 
  \openin 1 \jobname.#1s
1860
 
  \ifeof 1
1861
 
    % \enddoublecolumns gets confused if there is no text in the index,
1862
 
    % and it loses the chapter title and the aux file entries for the
1863
 
    % index.  The easiest way to prevent this problem is to make sure
1864
 
    % there is some text.
1865
 
    (Index is nonexistent)
1866
 
    \else
1867
 
    %
1868
 
    % If the index file exists but is empty, then \openin leaves \ifeof
1869
 
    % false.  We have to make TeX try to read something from the file, so
1870
 
    % it can discover if there is anything in it.
1871
 
    \read 1 to \temp
1872
 
    \ifeof 1
1873
 
      (Index is empty)
1874
 
    \else
1875
 
      \input \jobname.#1s
1876
 
    \fi
1877
 
  \fi
1878
 
  \closein 1
1879
 
  \enddoublecolumns
1880
 
  \Etex
1881
 
}
1882
 
 
1883
 
% These macros are used by the sorted index file itself.
1884
 
% Change them to control the appearance of the index.
1885
 
 
1886
 
% Same as \bigskipamount except no shrink.
1887
 
% \balancecolumns gets confused if there is any shrink.
1888
 
\newskip\initialskipamount \initialskipamount 12pt plus4pt
1889
 
 
1890
 
\def\initial #1{%
1891
 
{\let\tentt=\sectt \let\tt=\sectt \let\sf=\sectt
1892
 
\ifdim\lastskip<\initialskipamount
1893
 
\removelastskip \penalty-200 \vskip \initialskipamount\fi
1894
 
\line{\secbf#1\hfill}\kern 2pt\penalty10000}}
1895
 
 
1896
 
% This typesets a paragraph consisting of #1, dot leaders, and then #2
1897
 
% flush to the right margin.  It is used for index and table of contents
1898
 
% entries.  The paragraph is indented by \leftskip.
1899
 
%
1900
 
\def\entry #1#2{\begingroup
1901
 
  %
1902
 
  % Start a new paragraph if necessary, so our assignments below can't
1903
 
  % affect previous text.
1904
 
  \par
1905
 
  %
1906
 
  % Do not fill out the last line with white space.
1907
 
  \parfillskip = 0in
1908
 
  %
1909
 
  % No extra space above this paragraph.
1910
 
  \parskip = 0in
1911
 
  %
1912
 
  % Do not prefer a separate line ending with a hyphen to fewer lines.
1913
 
  \finalhyphendemerits = 0
1914
 
  %
1915
 
  % \hangindent is only relevant when the entry text and page number
1916
 
  % don't both fit on one line.  In that case, bob suggests starting the
1917
 
  % dots pretty far over on the line.  Unfortunately, a large
1918
 
  % indentation looks wrong when the entry text itself is broken across
1919
 
  % lines.  So we use a small indentation and put up with long leaders.
1920
 
  %
1921
 
  % \hangafter is reset to 1 (which is the value we want) at the start
1922
 
  % of each paragraph, so we need not do anything with that.
1923
 
  \hangindent=2em
1924
 
  %
1925
 
  % When the entry text needs to be broken, just fill out the first line
1926
 
  % with blank space.
1927
 
  \rightskip = 0pt plus1fil
1928
 
  %
1929
 
  % Start a ``paragraph'' for the index entry so the line breaking
1930
 
  % parameters we've set above will have an effect.
1931
 
  \noindent
1932
 
  %
1933
 
  % Insert the text of the index entry.  TeX will do line-breaking on it.
1934
 
  #1%
1935
 
  %
1936
 
  % If we must, put the page number on a line of its own, and fill out
1937
 
  % this line with blank space.  (The \hfil is overwhelmed with the
1938
 
  % fill leaders glue in \indexdotfill if the page number does fit.)
1939
 
  \hfil\penalty50
1940
 
  \null\nobreak\indexdotfill % Have leaders before the page number.
1941
 
  %
1942
 
  % The `\ ' here is removed by the implicit \unskip that TeX does as
1943
 
  % part of (the primitive) \par.  Without it, a spurious underfull
1944
 
  % \hbox ensues.
1945
 
  \ #2% The page number ends the paragraph.
1946
 
  \par
1947
 
\endgroup}
1948
 
 
1949
 
% Like \dotfill except takes at least 1 em.
1950
 
\def\indexdotfill{\cleaders
1951
 
  \hbox{$\mathsurround=0pt \mkern1.5mu . \mkern1.5mu$}\hskip 1em plus 1fill}
1952
 
 
1953
 
\def\primary #1{\line{#1\hfil}}
1954
 
 
1955
 
\newskip\secondaryindent \secondaryindent=0.5cm
1956
 
 
1957
 
\def\secondary #1#2{
1958
 
{\parfillskip=0in \parskip=0in
1959
 
\hangindent =1in \hangafter=1
1960
 
\noindent\hskip\secondaryindent\hbox{#1}\indexdotfill #2\par
1961
 
}}
1962
 
 
1963
 
%% Define two-column mode, which is used in indexes.
1964
 
%% Adapted from the TeXbook, page 416.
1965
 
\catcode `\@=11
1966
 
 
1967
 
\newbox\partialpage
1968
 
 
1969
 
\newdimen\doublecolumnhsize
1970
 
 
1971
 
\def\begindoublecolumns{\begingroup
1972
 
  % Grab any single-column material above us.
1973
 
  \output = {\global\setbox\partialpage
1974
 
    =\vbox{\unvbox255\kern -\topskip \kern \baselineskip}}%
1975
 
  \eject
1976
 
  %
1977
 
  % Now switch to the double-column output routine.
1978
 
  \output={\doublecolumnout}%
1979
 
  %
1980
 
  % Change the page size parameters.  We could do this once outside this
1981
 
  % routine, in each of @smallbook, @afourpaper, and the default 8.5x11
1982
 
  % format, but then we repeat the same computation.  Repeating a couple
1983
 
  % of assignments once per index is clearly meaningless for the
1984
 
  % execution time, so we may as well do it once.
1985
 
  %
1986
 
  % First we halve the line length, less a little for the gutter between
1987
 
  % the columns.  We compute the gutter based on the line length, so it
1988
 
  % changes automatically with the paper format.  The magic constant
1989
 
  % below is chosen so that the gutter has the same value (well, +- <
1990
 
  % 1pt) as it did when we hard-coded it.
1991
 
  %
1992
 
  % We put the result in a separate register, \doublecolumhsize, so we
1993
 
  % can restore it in \pagesofar, after \hsize itself has (potentially)
1994
 
  % been clobbered.
1995
 
  %
1996
 
  \doublecolumnhsize = \hsize
1997
 
    \advance\doublecolumnhsize by -.04154\hsize
1998
 
    \divide\doublecolumnhsize by 2
1999
 
  \hsize = \doublecolumnhsize
2000
 
  %
2001
 
  % Double the \vsize as well.  (We don't need a separate register here,
2002
 
  % since nobody clobbers \vsize.)
2003
 
  \vsize = 2\vsize
2004
 
  \doublecolumnpagegoal
2005
 
}
2006
 
 
2007
 
\def\enddoublecolumns{\eject \endgroup \pagegoal=\vsize \unvbox\partialpage}
2008
 
 
2009
 
\def\doublecolumnsplit{\splittopskip=\topskip \splitmaxdepth=\maxdepth
2010
 
  \global\dimen@=\pageheight \global\advance\dimen@ by-\ht\partialpage
2011
 
  \global\setbox1=\vsplit255 to\dimen@ \global\setbox0=\vbox{\unvbox1}
2012
 
  \global\setbox3=\vsplit255 to\dimen@ \global\setbox2=\vbox{\unvbox3}
2013
 
  \ifdim\ht0>\dimen@ \setbox255=\vbox{\unvbox0\unvbox2} \global\setbox255=\copy5 \fi
2014
 
  \ifdim\ht2>\dimen@ \setbox255=\vbox{\unvbox0\unvbox2} \global\setbox255=\copy5 \fi
2015
 
}
2016
 
\def\doublecolumnpagegoal{%
2017
 
  \dimen@=\vsize \advance\dimen@ by-2\ht\partialpage \global\pagegoal=\dimen@
2018
 
}
2019
 
\def\pagesofar{\unvbox\partialpage %
2020
 
  \hsize=\doublecolumnhsize % have to restore this since output routine
2021
 
  \wd0=\hsize \wd2=\hsize \hbox to\pagewidth{\box0\hfil\box2}}
2022
 
\def\doublecolumnout{%
2023
 
  \setbox5=\copy255
2024
 
  {\vbadness=10000 \doublecolumnsplit}
2025
 
  \ifvbox255
2026
 
    \setbox0=\vtop to\dimen@{\unvbox0}
2027
 
    \setbox2=\vtop to\dimen@{\unvbox2}
2028
 
    \onepageout\pagesofar \unvbox255 \penalty\outputpenalty
2029
 
  \else
2030
 
    \setbox0=\vbox{\unvbox5}
2031
 
    \ifvbox0
2032
 
      \dimen@=\ht0 \advance\dimen@ by\topskip \advance\dimen@ by-\baselineskip
2033
 
      \divide\dimen@ by2 \splittopskip=\topskip \splitmaxdepth=\maxdepth
2034
 
      {\vbadness=10000
2035
 
        \loop \global\setbox5=\copy0
2036
 
          \setbox1=\vsplit5 to\dimen@
2037
 
          \setbox3=\vsplit5 to\dimen@
2038
 
          \ifvbox5 \global\advance\dimen@ by1pt \repeat
2039
 
        \setbox0=\vbox to\dimen@{\unvbox1}
2040
 
        \setbox2=\vbox to\dimen@{\unvbox3}
2041
 
        \global\setbox\partialpage=\vbox{\pagesofar}
2042
 
        \doublecolumnpagegoal
2043
 
      }
2044
 
    \fi
2045
 
  \fi
2046
 
}
2047
 
 
2048
 
\catcode `\@=\other
2049
 
\message{sectioning,}
2050
 
% Define chapters, sections, etc.
2051
 
 
2052
 
\newcount \chapno
2053
 
\newcount \secno        \secno=0
2054
 
\newcount \subsecno     \subsecno=0
2055
 
\newcount \subsubsecno  \subsubsecno=0
2056
 
 
2057
 
% This counter is funny since it counts through charcodes of letters A, B, ...
2058
 
\newcount \appendixno  \appendixno = `\@
2059
 
\def\appendixletter{\char\the\appendixno}
2060
 
 
2061
 
\newwrite \contentsfile
2062
 
% This is called from \setfilename.
2063
 
\def\opencontents{\openout \contentsfile = \jobname.toc}
2064
 
 
2065
 
% Each @chapter defines this as the name of the chapter.
2066
 
% page headings and footings can use it.  @section does likewise
2067
 
 
2068
 
\def\thischapter{} \def\thissection{}
2069
 
\def\seccheck#1{\if \pageno<0 %
2070
 
\errmessage{@#1 not allowed after generating table of contents}\fi
2071
 
%
2072
 
}
2073
 
 
2074
 
\def\chapternofonts{%
2075
 
\let\rawbackslash=\relax%
2076
 
\let\frenchspacing=\relax%
2077
 
\def\result{\realbackslash result}
2078
 
\def\equiv{\realbackslash equiv}
2079
 
\def\expansion{\realbackslash expansion}
2080
 
\def\print{\realbackslash print}
2081
 
\def\TeX{\realbackslash TeX}
2082
 
\def\dots{\realbackslash dots}
2083
 
\def\copyright{\realbackslash copyright}
2084
 
\def\tt{\realbackslash tt}
2085
 
\def\bf{\realbackslash bf }
2086
 
\def\w{\realbackslash w}
2087
 
\def\less{\realbackslash less}
2088
 
\def\gtr{\realbackslash gtr}
2089
 
\def\hat{\realbackslash hat}
2090
 
\def\char{\realbackslash char}
2091
 
\def\tclose##1{\realbackslash tclose {##1}}
2092
 
\def\code##1{\realbackslash code {##1}}
2093
 
\def\samp##1{\realbackslash samp {##1}}
2094
 
\def\r##1{\realbackslash r {##1}}
2095
 
\def\b##1{\realbackslash b {##1}}
2096
 
\def\key##1{\realbackslash key {##1}}
2097
 
\def\file##1{\realbackslash file {##1}}
2098
 
\def\kbd##1{\realbackslash kbd {##1}}
2099
 
% These are redefined because @smartitalic wouldn't work inside xdef.
2100
 
\def\i##1{\realbackslash i {##1}}
2101
 
\def\cite##1{\realbackslash cite {##1}}
2102
 
\def\var##1{\realbackslash var {##1}}
2103
 
\def\emph##1{\realbackslash emph {##1}}
2104
 
\def\dfn##1{\realbackslash dfn {##1}}
2105
 
}
2106
 
 
2107
 
\newcount\absseclevel % used to calculate proper heading level
2108
 
\newcount\secbase\secbase=0 % @raise/lowersections modify this count
2109
 
 
2110
 
% @raisesections: treat @section as chapter, @subsection as section, etc.
2111
 
\def\raisesections{\global\advance\secbase by -1}
2112
 
\let\up=\raisesections % original BFox name
2113
 
 
2114
 
% @lowersections: treat @chapter as section, @section as subsection, etc.
2115
 
\def\lowersections{\global\advance\secbase by 1}
2116
 
\let\down=\lowersections % original BFox name
2117
 
 
2118
 
% Choose a numbered-heading macro
2119
 
% #1 is heading level if unmodified by @raisesections or @lowersections
2120
 
% #2 is text for heading
2121
 
\def\numhead#1#2{\absseclevel=\secbase\advance\absseclevel by #1
2122
 
\ifcase\absseclevel
2123
 
  \chapterzzz{#2}
2124
 
\or
2125
 
  \seczzz{#2}
2126
 
\or
2127
 
  \numberedsubseczzz{#2}
2128
 
\or
2129
 
  \numberedsubsubseczzz{#2}
2130
 
\else
2131
 
  \ifnum \absseclevel<0
2132
 
    \chapterzzz{#2}
2133
 
  \else
2134
 
    \numberedsubsubseczzz{#2}
2135
 
  \fi
2136
 
\fi
2137
 
}
2138
 
 
2139
 
% like \numhead, but chooses appendix heading levels
2140
 
\def\apphead#1#2{\absseclevel=\secbase\advance\absseclevel by #1
2141
 
\ifcase\absseclevel
2142
 
  \appendixzzz{#2}
2143
 
\or
2144
 
  \appendixsectionzzz{#2}
2145
 
\or
2146
 
  \appendixsubseczzz{#2}
2147
 
\or
2148
 
  \appendixsubsubseczzz{#2}
2149
 
\else
2150
 
  \ifnum \absseclevel<0
2151
 
    \appendixzzz{#2}
2152
 
  \else
2153
 
    \appendixsubsubseczzz{#2}
2154
 
  \fi
2155
 
\fi
2156
 
}
2157
 
 
2158
 
% like \numhead, but chooses numberless heading levels
2159
 
\def\unnmhead#1#2{\absseclevel=\secbase\advance\absseclevel by #1
2160
 
\ifcase\absseclevel
2161
 
  \unnumberedzzz{#2}
2162
 
\or
2163
 
  \unnumberedseczzz{#2}
2164
 
\or
2165
 
  \unnumberedsubseczzz{#2}
2166
 
\or
2167
 
  \unnumberedsubsubseczzz{#2}
2168
 
\else
2169
 
  \ifnum \absseclevel<0
2170
 
    \unnumberedzzz{#2}
2171
 
  \else
2172
 
    \unnumberedsubsubseczzz{#2}
2173
 
  \fi
2174
 
\fi
2175
 
}
2176
 
 
2177
 
 
2178
 
\def\thischaptername{No Chapter Title}
2179
 
\outer\def\chapter{\parsearg\chapteryyy}
2180
 
\def\chapteryyy #1{\numhead0{#1}} % normally numhead0 calls chapterzzz
2181
 
\def\chapterzzz #1{\seccheck{chapter}%
2182
 
\secno=0 \subsecno=0 \subsubsecno=0
2183
 
\global\advance \chapno by 1 \message{Chapter \the\chapno}%
2184
 
\chapmacro {#1}{\the\chapno}%
2185
 
\gdef\thissection{#1}%
2186
 
\gdef\thischaptername{#1}%
2187
 
% We don't substitute the actual chapter name into \thischapter
2188
 
% because we don't want its macros evaluated now.
2189
 
\xdef\thischapter{Chapter \the\chapno: \noexpand\thischaptername}%
2190
 
{\chapternofonts%
2191
 
\edef\temp{{\realbackslash chapentry {#1}{\the\chapno}{\noexpand\folio}}}%
2192
 
\escapechar=`\\%
2193
 
\write \contentsfile \temp  %
2194
 
\donoderef %
2195
 
\global\let\section = \numberedsec
2196
 
\global\let\subsection = \numberedsubsec
2197
 
\global\let\subsubsection = \numberedsubsubsec
2198
 
}}
2199
 
 
2200
 
\outer\def\appendix{\parsearg\appendixyyy}
2201
 
\def\appendixyyy #1{\apphead0{#1}} % normally apphead0 calls appendixzzz
2202
 
\def\appendixzzz #1{\seccheck{appendix}%
2203
 
\secno=0 \subsecno=0 \subsubsecno=0
2204
 
\global\advance \appendixno by 1 \message{Appendix \appendixletter}%
2205
 
\chapmacro {#1}{Appendix \appendixletter}%
2206
 
\gdef\thissection{#1}%
2207
 
\gdef\thischaptername{#1}%
2208
 
\xdef\thischapter{Appendix \appendixletter: \noexpand\thischaptername}%
2209
 
{\chapternofonts%
2210
 
\edef\temp{{\realbackslash chapentry
2211
 
  {#1}{Appendix \appendixletter}{\noexpand\folio}}}%
2212
 
\escapechar=`\\%
2213
 
\write \contentsfile \temp  %
2214
 
\appendixnoderef %
2215
 
\global\let\section = \appendixsec
2216
 
\global\let\subsection = \appendixsubsec
2217
 
\global\let\subsubsection = \appendixsubsubsec
2218
 
}}
2219
 
 
2220
 
\outer\def\top{\parsearg\unnumberedyyy}
2221
 
\outer\def\unnumbered{\parsearg\unnumberedyyy}
2222
 
\def\unnumberedyyy #1{\unnmhead0{#1}} % normally unnmhead0 calls unnumberedzzz
2223
 
\def\unnumberedzzz #1{\seccheck{unnumbered}%
2224
 
\secno=0 \subsecno=0 \subsubsecno=0
2225
 
%
2226
 
% This used to be simply \message{#1}, but TeX fully expands the
2227
 
% argument to \message.  Therefore, if #1 contained @-commands, TeX
2228
 
% expanded them.  For example, in `@unnumbered The @cite{Book}', TeX
2229
 
% expanded @cite (which turns out to cause errors because \cite is meant
2230
 
% to be executed, not expanded).
2231
 
%
2232
 
% Anyway, we don't want the fully-expanded definition of @cite to appear
2233
 
% as a result of the \message, we just want `@cite' itself.  We use
2234
 
% \the<toks register> to achieve this: TeX expands \the<toks> only once,
2235
 
% simply yielding the contents of the <toks register>.
2236
 
\toks0 = {#1}\message{(\the\toks0)}%
2237
 
%
2238
 
\unnumbchapmacro {#1}%
2239
 
\gdef\thischapter{#1}\gdef\thissection{#1}%
2240
 
{\chapternofonts%
2241
 
\edef\temp{{\realbackslash unnumbchapentry {#1}{\noexpand\folio}}}%
2242
 
\escapechar=`\\%
2243
 
\write \contentsfile \temp  %
2244
 
\unnumbnoderef %
2245
 
\global\let\section = \unnumberedsec
2246
 
\global\let\subsection = \unnumberedsubsec
2247
 
\global\let\subsubsection = \unnumberedsubsubsec
2248
 
}}
2249
 
 
2250
 
\outer\def\numberedsec{\parsearg\secyyy}
2251
 
\def\secyyy #1{\numhead1{#1}} % normally calls seczzz
2252
 
\def\seczzz #1{\seccheck{section}%
2253
 
\subsecno=0 \subsubsecno=0 \global\advance \secno by 1 %
2254
 
\gdef\thissection{#1}\secheading {#1}{\the\chapno}{\the\secno}%
2255
 
{\chapternofonts%
2256
 
\edef\temp{{\realbackslash secentry %
2257
 
{#1}{\the\chapno}{\the\secno}{\noexpand\folio}}}%
2258
 
\escapechar=`\\%
2259
 
\write \contentsfile \temp %
2260
 
\donoderef %
2261
 
\penalty 10000 %
2262
 
}}
2263
 
 
2264
 
\outer\def\appenixsection{\parsearg\appendixsecyyy}
2265
 
\outer\def\appendixsec{\parsearg\appendixsecyyy}
2266
 
\def\appendixsecyyy #1{\apphead1{#1}} % normally calls appendixsectionzzz
2267
 
\def\appendixsectionzzz #1{\seccheck{appendixsection}%
2268
 
\subsecno=0 \subsubsecno=0 \global\advance \secno by 1 %
2269
 
\gdef\thissection{#1}\secheading {#1}{\appendixletter}{\the\secno}%
2270
 
{\chapternofonts%
2271
 
\edef\temp{{\realbackslash secentry %
2272
 
{#1}{\appendixletter}{\the\secno}{\noexpand\folio}}}%
2273
 
\escapechar=`\\%
2274
 
\write \contentsfile \temp %
2275
 
\appendixnoderef %
2276
 
\penalty 10000 %
2277
 
}}
2278
 
 
2279
 
\outer\def\unnumberedsec{\parsearg\unnumberedsecyyy}
2280
 
\def\unnumberedsecyyy #1{\unnmhead1{#1}} % normally calls unnumberedseczzz
2281
 
\def\unnumberedseczzz #1{\seccheck{unnumberedsec}%
2282
 
\plainsecheading {#1}\gdef\thissection{#1}%
2283
 
{\chapternofonts%
2284
 
\edef\temp{{\realbackslash unnumbsecentry{#1}{\noexpand\folio}}}%
2285
 
\escapechar=`\\%
2286
 
\write \contentsfile \temp %
2287
 
\unnumbnoderef %
2288
 
\penalty 10000 %
2289
 
}}
2290
 
 
2291
 
\outer\def\numberedsubsec{\parsearg\numberedsubsecyyy}
2292
 
\def\numberedsubsecyyy #1{\numhead2{#1}} % normally calls numberedsubseczzz
2293
 
\def\numberedsubseczzz #1{\seccheck{subsection}%
2294
 
\gdef\thissection{#1}\subsubsecno=0 \global\advance \subsecno by 1 %
2295
 
\subsecheading {#1}{\the\chapno}{\the\secno}{\the\subsecno}%
2296
 
{\chapternofonts%
2297
 
\edef\temp{{\realbackslash subsecentry %
2298
 
{#1}{\the\chapno}{\the\secno}{\the\subsecno}{\noexpand\folio}}}%
2299
 
\escapechar=`\\%
2300
 
\write \contentsfile \temp %
2301
 
\donoderef %
2302
 
\penalty 10000 %
2303
 
}}
2304
 
 
2305
 
\outer\def\appendixsubsec{\parsearg\appendixsubsecyyy}
2306
 
\def\appendixsubsecyyy #1{\apphead2{#1}} % normally calls appendixsubseczzz
2307
 
\def\appendixsubseczzz #1{\seccheck{appendixsubsec}%
2308
 
\gdef\thissection{#1}\subsubsecno=0 \global\advance \subsecno by 1 %
2309
 
\subsecheading {#1}{\appendixletter}{\the\secno}{\the\subsecno}%
2310
 
{\chapternofonts%
2311
 
\edef\temp{{\realbackslash subsecentry %
2312
 
{#1}{\appendixletter}{\the\secno}{\the\subsecno}{\noexpand\folio}}}%
2313
 
\escapechar=`\\%
2314
 
\write \contentsfile \temp %
2315
 
\appendixnoderef %
2316
 
\penalty 10000 %
2317
 
}}
2318
 
 
2319
 
\outer\def\unnumberedsubsec{\parsearg\unnumberedsubsecyyy}
2320
 
\def\unnumberedsubsecyyy #1{\unnmhead2{#1}} %normally calls unnumberedsubseczzz
2321
 
\def\unnumberedsubseczzz #1{\seccheck{unnumberedsubsec}%
2322
 
\plainsecheading {#1}\gdef\thissection{#1}%
2323
 
{\chapternofonts%
2324
 
\edef\temp{{\realbackslash unnumbsubsecentry{#1}{\noexpand\folio}}}%
2325
 
\escapechar=`\\%
2326
 
\write \contentsfile \temp %
2327
 
\unnumbnoderef %
2328
 
\penalty 10000 %
2329
 
}}
2330
 
 
2331
 
\outer\def\numberedsubsubsec{\parsearg\numberedsubsubsecyyy}
2332
 
\def\numberedsubsubsecyyy #1{\numhead3{#1}} % normally numberedsubsubseczzz
2333
 
\def\numberedsubsubseczzz #1{\seccheck{subsubsection}%
2334
 
\gdef\thissection{#1}\global\advance \subsubsecno by 1 %
2335
 
\subsubsecheading {#1}
2336
 
  {\the\chapno}{\the\secno}{\the\subsecno}{\the\subsubsecno}%
2337
 
{\chapternofonts%
2338
 
\edef\temp{{\realbackslash subsubsecentry %
2339
 
  {#1}
2340
 
  {\the\chapno}{\the\secno}{\the\subsecno}{\the\subsubsecno}
2341
 
  {\noexpand\folio}}}%
2342
 
\escapechar=`\\%
2343
 
\write \contentsfile \temp %
2344
 
\donoderef %
2345
 
\penalty 10000 %
2346
 
}}
2347
 
 
2348
 
\outer\def\appendixsubsubsec{\parsearg\appendixsubsubsecyyy}
2349
 
\def\appendixsubsubsecyyy #1{\apphead3{#1}} % normally appendixsubsubseczzz
2350
 
\def\appendixsubsubseczzz #1{\seccheck{appendixsubsubsec}%
2351
 
\gdef\thissection{#1}\global\advance \subsubsecno by 1 %
2352
 
\subsubsecheading {#1}
2353
 
  {\appendixletter}{\the\secno}{\the\subsecno}{\the\subsubsecno}%
2354
 
{\chapternofonts%
2355
 
\edef\temp{{\realbackslash subsubsecentry{#1}%
2356
 
  {\appendixletter}
2357
 
  {\the\secno}{\the\subsecno}{\the\subsubsecno}{\noexpand\folio}}}%
2358
 
\escapechar=`\\%
2359
 
\write \contentsfile \temp %
2360
 
\appendixnoderef %
2361
 
\penalty 10000 %
2362
 
}}
2363
 
 
2364
 
\outer\def\unnumberedsubsubsec{\parsearg\unnumberedsubsubsecyyy}
2365
 
\def\unnumberedsubsubsecyyy #1{\unnmhead3{#1}} %normally unnumberedsubsubseczzz
2366
 
\def\unnumberedsubsubseczzz #1{\seccheck{unnumberedsubsubsec}%
2367
 
\plainsecheading {#1}\gdef\thissection{#1}%
2368
 
{\chapternofonts%
2369
 
\edef\temp{{\realbackslash unnumbsubsubsecentry{#1}{\noexpand\folio}}}%
2370
 
\escapechar=`\\%
2371
 
\write \contentsfile \temp %
2372
 
\unnumbnoderef %
2373
 
\penalty 10000 %
2374
 
}}
2375
 
 
2376
 
% These are variants which are not "outer", so they can appear in @ifinfo.
2377
 
% Actually, they should now be obsolete; ordinary section commands should work.
2378
 
\def\infotop{\parsearg\unnumberedzzz}
2379
 
\def\infounnumbered{\parsearg\unnumberedzzz}
2380
 
\def\infounnumberedsec{\parsearg\unnumberedseczzz}
2381
 
\def\infounnumberedsubsec{\parsearg\unnumberedsubseczzz}
2382
 
\def\infounnumberedsubsubsec{\parsearg\unnumberedsubsubseczzz}
2383
 
 
2384
 
\def\infoappendix{\parsearg\appendixzzz}
2385
 
\def\infoappendixsec{\parsearg\appendixseczzz}
2386
 
\def\infoappendixsubsec{\parsearg\appendixsubseczzz}
2387
 
\def\infoappendixsubsubsec{\parsearg\appendixsubsubseczzz}
2388
 
 
2389
 
\def\infochapter{\parsearg\chapterzzz}
2390
 
\def\infosection{\parsearg\sectionzzz}
2391
 
\def\infosubsection{\parsearg\subsectionzzz}
2392
 
\def\infosubsubsection{\parsearg\subsubsectionzzz}
2393
 
 
2394
 
% These macros control what the section commands do, according
2395
 
% to what kind of chapter we are in (ordinary, appendix, or unnumbered).
2396
 
% Define them by default for a numbered chapter.
2397
 
\global\let\section = \numberedsec
2398
 
\global\let\subsection = \numberedsubsec
2399
 
\global\let\subsubsection = \numberedsubsubsec
2400
 
 
2401
 
% Define @majorheading, @heading and @subheading
2402
 
 
2403
 
% NOTE on use of \vbox for chapter headings, section headings, and
2404
 
% such:
2405
 
%       1) We use \vbox rather than the earlier \line to permit
2406
 
%          overlong headings to fold.
2407
 
%       2) \hyphenpenalty is set to 10000 because hyphenation in a
2408
 
%          heading is obnoxious; this forbids it.
2409
 
%       3) Likewise, headings look best if no \parindent is used, and
2410
 
%          if justification is not attempted.  Hence \raggedright.
2411
 
 
2412
 
 
2413
 
\def\majorheading{\parsearg\majorheadingzzz}
2414
 
\def\majorheadingzzz #1{%
2415
 
{\advance\chapheadingskip by 10pt \chapbreak }%
2416
 
{\chapfonts \vbox{\hyphenpenalty=10000\tolerance=5000
2417
 
                  \parindent=0pt\raggedright
2418
 
                  \rm #1\hfill}}\bigskip \par\penalty 200}
2419
 
 
2420
 
\def\chapheading{\parsearg\chapheadingzzz}
2421
 
\def\chapheadingzzz #1{\chapbreak %
2422
 
{\chapfonts \vbox{\hyphenpenalty=10000\tolerance=5000
2423
 
                  \parindent=0pt\raggedright
2424
 
                  \rm #1\hfill}}\bigskip \par\penalty 200}
2425
 
 
2426
 
\def\heading{\parsearg\secheadingi}
2427
 
 
2428
 
\def\subheading{\parsearg\subsecheadingi}
2429
 
 
2430
 
\def\subsubheading{\parsearg\subsubsecheadingi}
2431
 
 
2432
 
% These macros generate a chapter, section, etc. heading only
2433
 
% (including whitespace, linebreaking, etc. around it),
2434
 
% given all the information in convenient, parsed form.
2435
 
 
2436
 
%%% Args are the skip and penalty (usually negative)
2437
 
\def\dobreak#1#2{\par\ifdim\lastskip<#1\removelastskip\penalty#2\vskip#1\fi}
2438
 
 
2439
 
\def\setchapterstyle #1 {\csname CHAPF#1\endcsname}
2440
 
 
2441
 
%%% Define plain chapter starts, and page on/off switching for it
2442
 
% Parameter controlling skip before chapter headings (if needed)
2443
 
 
2444
 
\newskip \chapheadingskip \chapheadingskip = 30pt plus 8pt minus 4pt
2445
 
 
2446
 
\def\chapbreak{\dobreak \chapheadingskip {-4000}}
2447
 
\def\chappager{\par\vfill\supereject}
2448
 
\def\chapoddpage{\chappager \ifodd\pageno \else \hbox to 0pt{} \chappager\fi}
2449
 
 
2450
 
\def\setchapternewpage #1 {\csname CHAPPAG#1\endcsname}
2451
 
 
2452
 
\def\CHAPPAGoff{
2453
 
\global\let\pchapsepmacro=\chapbreak
2454
 
\global\let\pagealignmacro=\chappager}
2455
 
 
2456
 
\def\CHAPPAGon{
2457
 
\global\let\pchapsepmacro=\chappager
2458
 
\global\let\pagealignmacro=\chappager
2459
 
\global\def\HEADINGSon{\HEADINGSsingle}}
2460
 
 
2461
 
\def\CHAPPAGodd{
2462
 
\global\let\pchapsepmacro=\chapoddpage
2463
 
\global\let\pagealignmacro=\chapoddpage
2464
 
\global\def\HEADINGSon{\HEADINGSdouble}}
2465
 
 
2466
 
\CHAPPAGon
2467
 
 
2468
 
\def\CHAPFplain{
2469
 
\global\let\chapmacro=\chfplain
2470
 
\global\let\unnumbchapmacro=\unnchfplain}
2471
 
 
2472
 
\def\chfplain #1#2{%
2473
 
  \pchapsepmacro
2474
 
  {%
2475
 
    \chapfonts \vbox{\hyphenpenalty=10000\tolerance=5000
2476
 
                     \parindent=0pt\raggedright
2477
 
                     \rm #2\enspace #1}%
2478
 
  }%
2479
 
  \bigskip
2480
 
  \penalty5000
2481
 
}
2482
 
 
2483
 
\def\unnchfplain #1{%
2484
 
\pchapsepmacro %
2485
 
{\chapfonts \vbox{\hyphenpenalty=10000\tolerance=5000
2486
 
                  \parindent=0pt\raggedright
2487
 
                  \rm #1\hfill}}\bigskip \par\penalty 10000 %
2488
 
}
2489
 
\CHAPFplain % The default
2490
 
 
2491
 
\def\unnchfopen #1{%
2492
 
\chapoddpage {\chapfonts \vbox{\hyphenpenalty=10000\tolerance=5000
2493
 
                       \parindent=0pt\raggedright
2494
 
                       \rm #1\hfill}}\bigskip \par\penalty 10000 %
2495
 
}
2496
 
 
2497
 
\def\chfopen #1#2{\chapoddpage {\chapfonts
2498
 
\vbox to 3in{\vfil \hbox to\hsize{\hfil #2} \hbox to\hsize{\hfil #1} \vfil}}%
2499
 
\par\penalty 5000 %
2500
 
}
2501
 
 
2502
 
\def\CHAPFopen{
2503
 
\global\let\chapmacro=\chfopen
2504
 
\global\let\unnumbchapmacro=\unnchfopen}
2505
 
 
2506
 
% Parameter controlling skip before section headings.
2507
 
 
2508
 
\newskip \subsecheadingskip  \subsecheadingskip = 17pt plus 8pt minus 4pt
2509
 
\def\subsecheadingbreak{\dobreak \subsecheadingskip {-500}}
2510
 
 
2511
 
\newskip \secheadingskip  \secheadingskip = 21pt plus 8pt minus 4pt
2512
 
\def\secheadingbreak{\dobreak \secheadingskip {-1000}}
2513
 
 
2514
 
% @paragraphindent  is defined for the Info formatting commands only.
2515
 
\let\paragraphindent=\comment
2516
 
 
2517
 
% Section fonts are the base font at magstep2, which produces
2518
 
% a size a bit more than 14 points in the default situation.
2519
 
 
2520
 
\def\secheading #1#2#3{\secheadingi {#2.#3\enspace #1}}
2521
 
\def\plainsecheading #1{\secheadingi {#1}}
2522
 
\def\secheadingi #1{{\advance \secheadingskip by \parskip %
2523
 
\secheadingbreak}%
2524
 
{\secfonts \vbox{\hyphenpenalty=10000\tolerance=5000
2525
 
                 \parindent=0pt\raggedright
2526
 
                 \rm #1\hfill}}%
2527
 
\ifdim \parskip<10pt \kern 10pt\kern -\parskip\fi \penalty 10000 }
2528
 
 
2529
 
 
2530
 
% Subsection fonts are the base font at magstep1,
2531
 
% which produces a size of 12 points.
2532
 
 
2533
 
\def\subsecheading #1#2#3#4{\subsecheadingi {#2.#3.#4\enspace #1}}
2534
 
\def\subsecheadingi #1{{\advance \subsecheadingskip by \parskip %
2535
 
\subsecheadingbreak}%
2536
 
{\subsecfonts \vbox{\hyphenpenalty=10000\tolerance=5000
2537
 
                     \parindent=0pt\raggedright
2538
 
                     \rm #1\hfill}}%
2539
 
\ifdim \parskip<10pt \kern 10pt\kern -\parskip\fi \penalty 10000 }
2540
 
 
2541
 
\def\subsubsecfonts{\subsecfonts} % Maybe this should change:
2542
 
                                  % Perhaps make sssec fonts scaled
2543
 
                                  % magstep half
2544
 
\def\subsubsecheading #1#2#3#4#5{\subsubsecheadingi {#2.#3.#4.#5\enspace #1}}
2545
 
\def\subsubsecheadingi #1{{\advance \subsecheadingskip by \parskip %
2546
 
\subsecheadingbreak}%
2547
 
{\subsubsecfonts \vbox{\hyphenpenalty=10000\tolerance=5000
2548
 
                       \parindent=0pt\raggedright
2549
 
                       \rm #1\hfill}}%
2550
 
\ifdim \parskip<10pt \kern 10pt\kern -\parskip\fi \penalty 10000}
2551
 
 
2552
 
 
2553
 
\message{toc printing,}
2554
 
 
2555
 
% Finish up the main text and prepare to read what we've written
2556
 
% to \contentsfile.
2557
 
 
2558
 
\newskip\contentsrightmargin \contentsrightmargin=1in
2559
 
\def\startcontents#1{%
2560
 
   \pagealignmacro
2561
 
   \immediate\closeout \contentsfile
2562
 
   \ifnum \pageno>0
2563
 
      \pageno = -1              % Request roman numbered pages.
2564
 
   \fi
2565
 
   % Don't need to put `Contents' or `Short Contents' in the headline.
2566
 
   % It is abundantly clear what they are.
2567
 
   \unnumbchapmacro{#1}\def\thischapter{}%
2568
 
   \begingroup                  % Set up to handle contents files properly.
2569
 
      \catcode`\\=0  \catcode`\{=1  \catcode`\}=2  \catcode`\@=11
2570
 
      \raggedbottom             % Worry more about breakpoints than the bottom.
2571
 
      \advance\hsize by -\contentsrightmargin % Don't use the full line length.
2572
 
}
2573
 
 
2574
 
 
2575
 
% Normal (long) toc.
2576
 
\outer\def\contents{%
2577
 
   \startcontents{Table of Contents}%
2578
 
      \input \jobname.toc
2579
 
   \endgroup
2580
 
   \vfill \eject
2581
 
}
2582
 
 
2583
 
% And just the chapters.
2584
 
\outer\def\summarycontents{%
2585
 
   \startcontents{Short Contents}%
2586
 
      %
2587
 
      \let\chapentry = \shortchapentry
2588
 
      \let\unnumbchapentry = \shortunnumberedentry
2589
 
      % We want a true roman here for the page numbers.
2590
 
      \secfonts
2591
 
      \let\rm=\shortcontrm \let\bf=\shortcontbf \let\sl=\shortcontsl
2592
 
      \rm
2593
 
      \advance\baselineskip by 1pt % Open it up a little.
2594
 
      \def\secentry ##1##2##3##4{}
2595
 
      \def\unnumbsecentry ##1##2{}
2596
 
      \def\subsecentry ##1##2##3##4##5{}
2597
 
      \def\unnumbsubsecentry ##1##2{}
2598
 
      \def\subsubsecentry ##1##2##3##4##5##6{}
2599
 
      \def\unnumbsubsubsecentry ##1##2{}
2600
 
      \input \jobname.toc
2601
 
   \endgroup
2602
 
   \vfill \eject
2603
 
}
2604
 
\let\shortcontents = \summarycontents
2605
 
 
2606
 
% These macros generate individual entries in the table of contents.
2607
 
% The first argument is the chapter or section name.
2608
 
% The last argument is the page number.
2609
 
% The arguments in between are the chapter number, section number, ...
2610
 
 
2611
 
% Chapter-level things, for both the long and short contents.
2612
 
\def\chapentry#1#2#3{\dochapentry{#2\labelspace#1}{#3}}
2613
 
 
2614
 
% See comments in \dochapentry re vbox and related settings
2615
 
\def\shortchapentry#1#2#3{%
2616
 
  \tocentry{\shortchaplabel{#2}\labelspace #1}{\doshortpageno{#3}}%
2617
 
}
2618
 
 
2619
 
% Typeset the label for a chapter or appendix for the short contents.
2620
 
% The arg is, e.g. `Appendix A' for an appendix, or `3' for a chapter.
2621
 
% We could simplify the code here by writing out an \appendixentry
2622
 
% command in the toc file for appendices, instead of using \chapentry
2623
 
% for both, but it doesn't seem worth it.
2624
 
\setbox0 = \hbox{\shortcontrm Appendix }
2625
 
\newdimen\shortappendixwidth \shortappendixwidth = \wd0
2626
 
 
2627
 
\def\shortchaplabel#1{%
2628
 
  % We typeset #1 in a box of constant width, regardless of the text of
2629
 
  % #1, so the chapter titles will come out aligned.
2630
 
  \setbox0 = \hbox{#1}%
2631
 
  \dimen0 = \ifdim\wd0 > \shortappendixwidth \shortappendixwidth \else 0pt \fi
2632
 
  %
2633
 
  % This space should be plenty, since a single number is .5em, and the
2634
 
  % widest letter (M) is 1em, at least in the Computer Modern fonts.
2635
 
  % (This space doesn't include the extra space that gets added after
2636
 
  % the label; that gets put in in \shortchapentry above.)
2637
 
  \advance\dimen0 by 1.1em
2638
 
  \hbox to \dimen0{#1\hfil}%
2639
 
}
2640
 
 
2641
 
\def\unnumbchapentry#1#2{\dochapentry{#1}{#2}}
2642
 
\def\shortunnumberedentry#1#2{\tocentry{#1}{\doshortpageno{#2}}}
2643
 
 
2644
 
% Sections.
2645
 
\def\secentry#1#2#3#4{\dosecentry{#2.#3\labelspace#1}{#4}}
2646
 
\def\unnumbsecentry#1#2{\dosecentry{#1}{#2}}
2647
 
 
2648
 
% Subsections.
2649
 
\def\subsecentry#1#2#3#4#5{\dosubsecentry{#2.#3.#4\labelspace#1}{#5}}
2650
 
\def\unnumbsubsecentry#1#2{\dosubsecentry{#1}{#2}}
2651
 
 
2652
 
% And subsubsections.
2653
 
\def\subsubsecentry#1#2#3#4#5#6{%
2654
 
  \dosubsubsecentry{#2.#3.#4.#5\labelspace#1}{#6}}
2655
 
\def\unnumbsubsubsecentry#1#2{\dosubsubsecentry{#1}{#2}}
2656
 
 
2657
 
 
2658
 
% This parameter controls the indentation of the various levels.
2659
 
\newdimen\tocindent \tocindent = 3pc
2660
 
 
2661
 
% Now for the actual typesetting. In all these, #1 is the text and #2 is the
2662
 
% page number.
2663
 
%
2664
 
% If the toc has to be broken over pages, we would want to be at chapters
2665
 
% if at all possible; hence the \penalty.
2666
 
\def\dochapentry#1#2{%
2667
 
   \penalty-300 \vskip\baselineskip
2668
 
   \begingroup
2669
 
     \chapentryfonts
2670
 
     \tocentry{#1}{\dopageno{#2}}%
2671
 
   \endgroup
2672
 
   \nobreak\vskip .25\baselineskip
2673
 
}
2674
 
 
2675
 
\def\dosecentry#1#2{\begingroup
2676
 
  \secentryfonts \leftskip=\tocindent
2677
 
  \tocentry{#1}{\dopageno{#2}}%
2678
 
\endgroup}
2679
 
 
2680
 
\def\dosubsecentry#1#2{\begingroup
2681
 
  \subsecentryfonts \leftskip=2\tocindent
2682
 
  \tocentry{#1}{\dopageno{#2}}%
2683
 
\endgroup}
2684
 
 
2685
 
\def\dosubsubsecentry#1#2{\begingroup
2686
 
  \subsubsecentryfonts \leftskip=3\tocindent
2687
 
  \tocentry{#1}{\dopageno{#2}}%
2688
 
\endgroup}
2689
 
 
2690
 
% Final typesetting of a toc entry; we use the same \entry macro as for
2691
 
% the index entries, but we want to suppress hyphenation here.  (We
2692
 
% can't do that in the \entry macro, since index entries might consist
2693
 
% of hyphenated-identifiers-that-do-not-fit-on-a-line-and-nothing-else.)
2694
 
%
2695
 
\def\tocentry#1#2{\begingroup
2696
 
  \hyphenpenalty = 10000
2697
 
  \entry{#1}{#2}%
2698
 
\endgroup}
2699
 
 
2700
 
% Space between chapter (or whatever) number and the title.
2701
 
\def\labelspace{\hskip1em \relax}
2702
 
 
2703
 
\def\dopageno#1{{\rm #1}}
2704
 
\def\doshortpageno#1{{\rm #1}}
2705
 
 
2706
 
\def\chapentryfonts{\secfonts \rm}
2707
 
\def\secentryfonts{\textfonts}
2708
 
\let\subsecentryfonts = \textfonts
2709
 
\let\subsubsecentryfonts = \textfonts
2710
 
 
2711
 
 
2712
 
\message{environments,}
2713
 
 
2714
 
% Since these characters are used in examples, it should be an even number of
2715
 
% \tt widths. Each \tt character is 1en, so two makes it 1em.
2716
 
% Furthermore, these definitions must come after we define our fonts.
2717
 
\newbox\dblarrowbox    \newbox\longdblarrowbox
2718
 
\newbox\pushcharbox    \newbox\bullbox
2719
 
\newbox\equivbox       \newbox\errorbox
2720
 
 
2721
 
\let\ptexequiv = \equiv
2722
 
 
2723
 
%{\tentt
2724
 
%\global\setbox\dblarrowbox = \hbox to 1em{\hfil$\Rightarrow$\hfil}
2725
 
%\global\setbox\longdblarrowbox = \hbox to 1em{\hfil$\mapsto$\hfil}
2726
 
%\global\setbox\pushcharbox = \hbox to 1em{\hfil$\dashv$\hfil}
2727
 
%\global\setbox\equivbox = \hbox to 1em{\hfil$\ptexequiv$\hfil}
2728
 
% Adapted from the manmac format (p.420 of TeXbook)
2729
 
%\global\setbox\bullbox = \hbox to 1em{\kern.15em\vrule height .75ex width .85ex
2730
 
%                                      depth .1ex\hfil}
2731
 
%}
2732
 
 
2733
 
\def\point{$\star$}
2734
 
 
2735
 
\def\result{\leavevmode\raise.15ex\hbox to 1em{\hfil$\Rightarrow$\hfil}}
2736
 
\def\expansion{\leavevmode\raise.1ex\hbox to 1em{\hfil$\mapsto$\hfil}}
2737
 
\def\print{\leavevmode\lower.1ex\hbox to 1em{\hfil$\dashv$\hfil}}
2738
 
 
2739
 
\def\equiv{\leavevmode\lower.1ex\hbox to 1em{\hfil$\ptexequiv$\hfil}}
2740
 
 
2741
 
% Adapted from the TeXbook's \boxit.
2742
 
{\tentt \global\dimen0 = 3em}% Width of the box.
2743
 
\dimen2 = .55pt % Thickness of rules
2744
 
% The text. (`r' is open on the right, `e' somewhat less so on the left.)
2745
 
\setbox0 = \hbox{\kern-.75pt \tensf error\kern-1.5pt}
2746
 
 
2747
 
\global\setbox\errorbox=\hbox to \dimen0{\hfil
2748
 
   \hsize = \dimen0 \advance\hsize by -5.8pt % Space to left+right.
2749
 
   \advance\hsize by -2\dimen2 % Rules.
2750
 
   \vbox{
2751
 
      \hrule height\dimen2
2752
 
      \hbox{\vrule width\dimen2 \kern3pt          % Space to left of text.
2753
 
         \vtop{\kern2.4pt \box0 \kern2.4pt}% Space above/below.
2754
 
         \kern3pt\vrule width\dimen2}% Space to right.
2755
 
      \hrule height\dimen2}
2756
 
    \hfil}
2757
 
 
2758
 
% The @error{} command.
2759
 
\def\error{\leavevmode\lower.7ex\copy\errorbox}
2760
 
 
2761
 
% @tex ... @end tex    escapes into raw Tex temporarily.
2762
 
% One exception: @ is still an escape character, so that @end tex works.
2763
 
% But \@ or @@ will get a plain tex @ character.
2764
 
 
2765
 
\def\tex{\begingroup
2766
 
\catcode `\\=0 \catcode `\{=1 \catcode `\}=2
2767
 
\catcode `\$=3 \catcode `\&=4 \catcode `\#=6
2768
 
\catcode `\^=7 \catcode `\_=8 \catcode `\~=13 \let~=\tie
2769
 
\catcode `\%=14
2770
 
\catcode 43=12
2771
 
\catcode`\"=12
2772
 
\catcode`\==12
2773
 
\catcode`\|=12
2774
 
\catcode`\<=12
2775
 
\catcode`\>=12
2776
 
\escapechar=`\\
2777
 
%
2778
 
\let\{=\ptexlbrace
2779
 
\let\}=\ptexrbrace
2780
 
\let\.=\ptexdot
2781
 
\let\*=\ptexstar
2782
 
\let\dots=\ptexdots
2783
 
\def\@{@}%
2784
 
\let\bullet=\ptexbullet
2785
 
\let\b=\ptexb \let\c=\ptexc \let\i=\ptexi \let\t=\ptext \let\l=\ptexl
2786
 
\let\L=\ptexL
2787
 
%
2788
 
\let\Etex=\endgroup}
2789
 
 
2790
 
% Define @lisp ... @endlisp.
2791
 
% @lisp does a \begingroup so it can rebind things,
2792
 
% including the definition of @endlisp (which normally is erroneous).
2793
 
 
2794
 
% Amount to narrow the margins by for @lisp.
2795
 
\newskip\lispnarrowing \lispnarrowing=0.4in
2796
 
 
2797
 
% This is the definition that ^^M gets inside @lisp, @example, and other
2798
 
% such environments.  \null is better than a space, since it doesn't
2799
 
% have any width.
2800
 
\def\lisppar{\null\endgraf}
2801
 
 
2802
 
% Make each space character in the input produce a normal interword
2803
 
% space in the output.  Don't allow a line break at this space, as this
2804
 
% is used only in environments like @example, where each line of input
2805
 
% should produce a line of output anyway.
2806
 
%
2807
 
{\obeyspaces %
2808
 
\gdef\sepspaces{\obeyspaces\let =\tie}}
2809
 
 
2810
 
% Define \obeyedspace to be our active space, whatever it is.  This is
2811
 
% for use in \parsearg.
2812
 
{\sepspaces %
2813
 
\global\let\obeyedspace= }
2814
 
 
2815
 
% This space is always present above and below environments.
2816
 
\newskip\envskipamount \envskipamount = 0pt
2817
 
 
2818
 
% Make spacing and below environment symmetrical.  We use \parskip here
2819
 
% to help in doing that, since in @example-like environments \parskip
2820
 
% is reset to zero; thus the \afterenvbreak inserts no space -- but the
2821
 
% start of the next paragraph will insert \parskip
2822
 
%
2823
 
\def\aboveenvbreak{{\advance\envskipamount by \parskip
2824
 
\endgraf \ifdim\lastskip<\envskipamount
2825
 
\removelastskip \penalty-50 \vskip\envskipamount \fi}}
2826
 
 
2827
 
\let\afterenvbreak = \aboveenvbreak
2828
 
 
2829
 
% \nonarrowing is a flag.  If "set", @lisp etc don't narrow margins.
2830
 
\let\nonarrowing=\relax
2831
 
 
2832
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2833
 
% \cartouche: draw rectangle w/rounded corners around argument
2834
 
\font\circle=lcircle10
2835
 
\newdimen\circthick
2836
 
\newdimen\cartouter\newdimen\cartinner
2837
 
\newskip\normbskip\newskip\normpskip\newskip\normlskip
2838
 
\circthick=\fontdimen8\circle
2839
 
%
2840
 
\def\ctl{{\circle\char'013\hskip -6pt}}% 6pt from pl file: 1/2charwidth
2841
 
\def\ctr{{\hskip 6pt\circle\char'010}}
2842
 
\def\cbl{{\circle\char'012\hskip -6pt}}
2843
 
\def\cbr{{\hskip 6pt\circle\char'011}}
2844
 
\def\carttop{\hbox to \cartouter{\hskip\lskip
2845
 
        \ctl\leaders\hrule height\circthick\hfil\ctr
2846
 
        \hskip\rskip}}
2847
 
\def\cartbot{\hbox to \cartouter{\hskip\lskip
2848
 
        \cbl\leaders\hrule height\circthick\hfil\cbr
2849
 
        \hskip\rskip}}
2850
 
%
2851
 
\newskip\lskip\newskip\rskip
2852
 
 
2853
 
\long\def\cartouche{%
2854
 
\begingroup
2855
 
        \lskip=\leftskip \rskip=\rightskip
2856
 
        \leftskip=0pt\rightskip=0pt %we want these *outside*.
2857
 
        \cartinner=\hsize \advance\cartinner by-\lskip
2858
 
                          \advance\cartinner by-\rskip
2859
 
        \cartouter=\hsize
2860
 
        \advance\cartouter by 18pt % allow for 3pt kerns on either
2861
 
%                                    side, and for 6pt waste from
2862
 
%                                    each corner char
2863
 
        \normbskip=\baselineskip \normpskip=\parskip \normlskip=\lineskip
2864
 
        % Flag to tell @lisp, etc., not to narrow margin.
2865
 
        \let\nonarrowing=\comment
2866
 
        \vbox\bgroup
2867
 
                \baselineskip=0pt\parskip=0pt\lineskip=0pt
2868
 
                \carttop
2869
 
                \hbox\bgroup
2870
 
                        \hskip\lskip
2871
 
                        \vrule\kern3pt
2872
 
                        \vbox\bgroup
2873
 
                                \hsize=\cartinner
2874
 
                                \kern3pt
2875
 
                                \begingroup
2876
 
                                        \baselineskip=\normbskip
2877
 
                                        \lineskip=\normlskip
2878
 
                                        \parskip=\normpskip
2879
 
                                        \vskip -\parskip
2880
 
\def\Ecartouche{%
2881
 
                                \endgroup
2882
 
                                \kern3pt
2883
 
                        \egroup
2884
 
                        \kern3pt\vrule
2885
 
                        \hskip\rskip
2886
 
                \egroup
2887
 
                \cartbot
2888
 
        \egroup
2889
 
\endgroup
2890
 
}}
2891
 
 
2892
 
 
2893
 
% This macro is called at the beginning of all the @example variants,
2894
 
% inside a group.
2895
 
\def\nonfillstart{%
2896
 
  \aboveenvbreak
2897
 
  \inENV % This group ends at the end of the body
2898
 
  \hfuzz = 12pt % Don't be fussy
2899
 
  \sepspaces % Make spaces be word-separators rather than space tokens.
2900
 
  \singlespace
2901
 
  \let\par = \lisppar % don't ignore blank lines
2902
 
  \obeylines % each line of input is a line of output
2903
 
  \parskip = 0pt
2904
 
  \parindent = 0pt
2905
 
  \emergencystretch = 0pt % don't try to avoid overfull boxes
2906
 
  % @cartouche defines \nonarrowing to inhibit narrowing
2907
 
  % at next level down.
2908
 
  \ifx\nonarrowing\relax
2909
 
    \advance \leftskip by \lispnarrowing
2910
 
    \exdentamount=\lispnarrowing
2911
 
    \let\exdent=\nofillexdent
2912
 
    \let\nonarrowing=\relax
2913
 
  \fi
2914
 
}
2915
 
 
2916
 
% To ending an @example-like environment, we first end the paragraph
2917
 
% (via \afterenvbreak's vertical glue), and then the group.  That way we
2918
 
% keep the zero \parskip that the environments set -- \parskip glue
2919
 
% will be inserted at the beginning of the next paragraph in the
2920
 
% document, after the environment.
2921
 
%
2922
 
\def\nonfillfinish{\afterenvbreak\endgroup}%
2923
 
 
2924
 
% This macro is
2925
 
\def\lisp{\begingroup
2926
 
  \nonfillstart
2927
 
  \let\Elisp = \nonfillfinish
2928
 
  \tt
2929
 
  \rawbackslash % have \ input char produce \ char from current font
2930
 
  \gobble
2931
 
}
2932
 
 
2933
 
% Define the \E... control sequence only if we are inside the
2934
 
% environment, so the error checking in \end will work.
2935
 
%
2936
 
% We must call \lisp last in the definition, since it reads the
2937
 
% return following the @example (or whatever) command.
2938
 
%
2939
 
\def\example{\begingroup \def\Eexample{\nonfillfinish\endgroup}\lisp}
2940
 
\def\smallexample{\begingroup \def\Esmallexample{\nonfillfinish\endgroup}\lisp}
2941
 
\def\smalllisp{\begingroup \def\Esmalllisp{\nonfillfinish\endgroup}\lisp}
2942
 
 
2943
 
% @smallexample and @smalllisp.  This is not used unless the @smallbook
2944
 
% command is given.  Originally contributed by Pavel@xerox.
2945
 
%
2946
 
\def\smalllispx{\begingroup
2947
 
  \nonfillstart
2948
 
  \let\Esmalllisp = \nonfillfinish
2949
 
  \let\Esmallexample = \nonfillfinish
2950
 
  %
2951
 
  % Smaller interline space and fonts for small examples.
2952
 
  \baselineskip 10pt
2953
 
  \indexfonts \tt
2954
 
  \rawbackslash % output the \ character from the current font
2955
 
  \gobble
2956
 
}
2957
 
 
2958
 
% This is @display; same as @lisp except use roman font.
2959
 
%
2960
 
\def\display{\begingroup
2961
 
  \nonfillstart
2962
 
  \let\Edisplay = \nonfillfinish
2963
 
  \gobble
2964
 
}
2965
 
 
2966
 
% This is @format; same as @display except don't narrow margins.
2967
 
%
2968
 
\def\format{\begingroup
2969
 
  \let\nonarrowing = t
2970
 
  \nonfillstart
2971
 
  \let\Eformat = \nonfillfinish
2972
 
  \gobble
2973
 
}
2974
 
 
2975
 
% @flushleft (same as @format) and @flushright.
2976
 
%
2977
 
\def\flushleft{\begingroup
2978
 
  \let\nonarrowing = t
2979
 
  \nonfillstart
2980
 
  \let\Eflushleft = \nonfillfinish
2981
 
  \gobble
2982
 
}
2983
 
\def\flushright{\begingroup
2984
 
  \let\nonarrowing = t
2985
 
  \nonfillstart
2986
 
  \let\Eflushright = \nonfillfinish
2987
 
  \advance\leftskip by 0pt plus 1fill
2988
 
  \gobble}
2989
 
 
2990
 
% @quotation does normal linebreaking and narrows the margins.
2991
 
%
2992
 
\def\quotation{%
2993
 
\begingroup\inENV %This group ends at the end of the @quotation body
2994
 
{\parskip=0pt  % because we will skip by \parskip too, later
2995
 
\aboveenvbreak}%
2996
 
\singlespace
2997
 
\parindent=0pt
2998
 
\let\Equotation = \nonfillfinish
2999
 
% @cartouche defines \nonarrowing to inhibit narrowing
3000
 
% at next level down.
3001
 
\ifx\nonarrowing\relax
3002
 
\advance \leftskip by \lispnarrowing
3003
 
\advance \rightskip by \lispnarrowing
3004
 
\exdentamount=\lispnarrowing
3005
 
\let\nonarrowing=\relax
3006
 
\fi}
3007
 
 
3008
 
\message{defuns,}
3009
 
% Define formatter for defuns
3010
 
% First, allow user to change definition object font (\df) internally
3011
 
\def\setdeffont #1 {\csname DEF#1\endcsname}
3012
 
 
3013
 
\newskip\defbodyindent \defbodyindent=.4in
3014
 
\newskip\defargsindent \defargsindent=50pt
3015
 
\newskip\deftypemargin \deftypemargin=12pt
3016
 
\newskip\deflastargmargin \deflastargmargin=18pt
3017
 
 
3018
 
\newcount\parencount
3019
 
% define \functionparens, which makes ( and ) and & do special things.
3020
 
% \functionparens affects the group it is contained in.
3021
 
\def\activeparens{%
3022
 
\catcode`\(=\active \catcode`\)=\active \catcode`\&=\active
3023
 
\catcode`\[=\active \catcode`\]=\active}
3024
 
 
3025
 
% Make control sequences which act like normal parenthesis chars.
3026
 
\let\lparen = ( \let\rparen = )
3027
 
 
3028
 
{\activeparens % Now, smart parens don't turn on until &foo (see \amprm)
3029
 
 
3030
 
% Be sure that we always have a definition for `(', etc.  For example,
3031
 
% if the fn name has parens in it, \boldbrax will not be in effect yet,
3032
 
% so TeX would otherwise complain about undefined control sequence.
3033
 
\global\let(=\lparen \global\let)=\rparen
3034
 
\global\let[=\lbrack \global\let]=\rbrack
3035
 
 
3036
 
\gdef\functionparens{\boldbrax\let&=\amprm\parencount=0 }
3037
 
\gdef\boldbrax{\let(=\opnr\let)=\clnr\let[=\lbrb\let]=\rbrb}
3038
 
 
3039
 
% Definitions of (, ) and & used in args for functions.
3040
 
% This is the definition of ( outside of all parentheses.
3041
 
\gdef\oprm#1 {{\rm\char`\(}#1 \bf \let(=\opnested %
3042
 
\global\advance\parencount by 1 }
3043
 
%
3044
 
% This is the definition of ( when already inside a level of parens.
3045
 
\gdef\opnested{\char`\(\global\advance\parencount by 1 }
3046
 
%
3047
 
\gdef\clrm{% Print a paren in roman if it is taking us back to depth of 0.
3048
 
% also in that case restore the outer-level definition of (.
3049
 
\ifnum \parencount=1 {\rm \char `\)}\sl \let(=\oprm \else \char `\) \fi
3050
 
\global\advance \parencount by -1 }
3051
 
% If we encounter &foo, then turn on ()-hacking afterwards
3052
 
\gdef\amprm#1 {{\rm\&#1}\let(=\oprm \let)=\clrm\ }
3053
 
%
3054
 
\gdef\normalparens{\boldbrax\let&=\ampnr}
3055
 
} % End of definition inside \activeparens
3056
 
%% These parens (in \boldbrax) actually are a little bolder than the
3057
 
%% contained text.  This is especially needed for [ and ]
3058
 
\def\opnr{{\sf\char`\(}} \def\clnr{{\sf\char`\)}} \def\ampnr{\&}
3059
 
\def\lbrb{{\bf\char`\[}} \def\rbrb{{\bf\char`\]}}
3060
 
 
3061
 
% First, defname, which formats the header line itself.
3062
 
% #1 should be the function name.
3063
 
% #2 should be the type of definition, such as "Function".
3064
 
 
3065
 
\def\defname #1#2{%
3066
 
% Get the values of \leftskip and \rightskip as they were
3067
 
% outside the @def...
3068
 
\dimen2=\leftskip
3069
 
\advance\dimen2 by -\defbodyindent
3070
 
\dimen3=\rightskip
3071
 
\advance\dimen3 by -\defbodyindent
3072
 
\noindent        %
3073
 
\setbox0=\hbox{\hskip \deflastargmargin{\rm #2}\hskip \deftypemargin}%
3074
 
\dimen0=\hsize \advance \dimen0 by -\wd0 % compute size for first line
3075
 
\dimen1=\hsize \advance \dimen1 by -\defargsindent %size for continuations
3076
 
\parshape 2 0in \dimen0 \defargsindent \dimen1     %
3077
 
% Now output arg 2 ("Function" or some such)
3078
 
% ending at \deftypemargin from the right margin,
3079
 
% but stuck inside a box of width 0 so it does not interfere with linebreaking
3080
 
{% Adjust \hsize to exclude the ambient margins,
3081
 
% so that \rightline will obey them.
3082
 
\advance \hsize by -\dimen2 \advance \hsize by -\dimen3
3083
 
\rlap{\rightline{{\rm #2}\hskip \deftypemargin}}}%
3084
 
% Make all lines underfull and no complaints:
3085
 
\tolerance=10000 \hbadness=10000
3086
 
\advance\leftskip by -\defbodyindent
3087
 
\exdentamount=\defbodyindent
3088
 
{\df #1}\enskip        % Generate function name
3089
 
}
3090
 
 
3091
 
% Actually process the body of a definition
3092
 
% #1 should be the terminating control sequence, such as \Edefun.
3093
 
% #2 should be the "another name" control sequence, such as \defunx.
3094
 
% #3 should be the control sequence that actually processes the header,
3095
 
%    such as \defunheader.
3096
 
 
3097
 
\def\defparsebody #1#2#3{\begingroup\inENV% Environment for definitionbody
3098
 
\medbreak %
3099
 
% Define the end token that this defining construct specifies
3100
 
% so that it will exit this group.
3101
 
\def#1{\endgraf\endgroup\medbreak}%
3102
 
\def#2{\begingroup\obeylines\activeparens\spacesplit#3}%
3103
 
\parindent=0in
3104
 
\advance\leftskip by \defbodyindent \advance \rightskip by \defbodyindent
3105
 
\exdentamount=\defbodyindent
3106
 
\begingroup %
3107
 
\catcode 61=\active %
3108
 
\obeylines\activeparens\spacesplit#3}
3109
 
 
3110
 
\def\defmethparsebody #1#2#3#4 {\begingroup\inENV %
3111
 
\medbreak %
3112
 
% Define the end token that this defining construct specifies
3113
 
% so that it will exit this group.
3114
 
\def#1{\endgraf\endgroup\medbreak}%
3115
 
\def#2##1 {\begingroup\obeylines\activeparens\spacesplit{#3{##1}}}%
3116
 
\parindent=0in
3117
 
\advance\leftskip by \defbodyindent \advance \rightskip by \defbodyindent
3118
 
\exdentamount=\defbodyindent
3119
 
\begingroup\obeylines\activeparens\spacesplit{#3{#4}}}
3120
 
 
3121
 
\def\defopparsebody #1#2#3#4#5 {\begingroup\inENV %
3122
 
\medbreak %
3123
 
% Define the end token that this defining construct specifies
3124
 
% so that it will exit this group.
3125
 
\def#1{\endgraf\endgroup\medbreak}%
3126
 
\def#2##1 ##2 {\def#4{##1}%
3127
 
\begingroup\obeylines\activeparens\spacesplit{#3{##2}}}%
3128
 
\parindent=0in
3129
 
\advance\leftskip by \defbodyindent \advance \rightskip by \defbodyindent
3130
 
\exdentamount=\defbodyindent
3131
 
\begingroup\obeylines\activeparens\spacesplit{#3{#5}}}
3132
 
 
3133
 
% These parsing functions are similar to the preceding ones
3134
 
% except that they do not make parens into active characters.
3135
 
% These are used for "variables" since they have no arguments.
3136
 
 
3137
 
\def\defvarparsebody #1#2#3{\begingroup\inENV% Environment for definitionbody
3138
 
\medbreak %
3139
 
% Define the end token that this defining construct specifies
3140
 
% so that it will exit this group.
3141
 
\def#1{\endgraf\endgroup\medbreak}%
3142
 
\def#2{\begingroup\obeylines\spacesplit#3}%
3143
 
\parindent=0in
3144
 
\advance\leftskip by \defbodyindent \advance \rightskip by \defbodyindent
3145
 
\exdentamount=\defbodyindent
3146
 
\begingroup %
3147
 
\catcode 61=\active %
3148
 
\obeylines\spacesplit#3}
3149
 
 
3150
 
\def\defvrparsebody #1#2#3#4 {\begingroup\inENV %
3151
 
\medbreak %
3152
 
% Define the end token that this defining construct specifies
3153
 
% so that it will exit this group.
3154
 
\def#1{\endgraf\endgroup\medbreak}%
3155
 
\def#2##1 {\begingroup\obeylines\spacesplit{#3{##1}}}%
3156
 
\parindent=0in
3157
 
\advance\leftskip by \defbodyindent \advance \rightskip by \defbodyindent
3158
 
\exdentamount=\defbodyindent
3159
 
\begingroup\obeylines\spacesplit{#3{#4}}}
3160
 
 
3161
 
% This seems to work right in all cases.
3162
 
\let\deftpparsebody=\defvrparsebody
3163
 
% This fails to work.  When given `@deftp {Data Type} foo_t',
3164
 
% it thinks the type name is just `f'.
3165
 
%%% This is the same as all the others except for the last line.  We need
3166
 
%%% to parse the arguments differently for @deftp, since the ``attributes''
3167
 
%%% there are optional.
3168
 
%%%
3169
 
%%\def\deftpparsebody #1#2#3#4 {\begingroup\inENV %
3170
 
%%\medbreak %
3171
 
%%% Define the end token that this defining construct specifies
3172
 
%%% so that it will exit this group.
3173
 
%%\def#1{\endgraf\endgroup\medbreak}%
3174
 
%%\def#2##1 {\begingroup\obeylines\spacesplit{#3{##1}}}%
3175
 
%%\parindent=0in
3176
 
%%\advance\leftskip by \defbodyindent \advance \rightskip by \defbodyindent
3177
 
%%\exdentamount=\defbodyindent
3178
 
%%\begingroup\obeylines\parsetpheaderline{#3{#4}}}
3179
 
 
3180
 
%%{\obeylines %
3181
 
%%  % Parse the type name and any attributes (field names, etc.).
3182
 
%%  % #1 is the beginning of the macro call that will produce the output,
3183
 
%%  %   i.e., \deftpheader{CLASS}; this is passed from \deftpparsebody.
3184
 
%%  % #2 is the type name, e.g., `struct termios'.
3185
 
%%  % #3 is the (possibly empty) attribute list.
3186
 
%%  %
3187
 
%%  \gdef\parsetpheaderline#1#2#3^^M{%
3188
 
%%    \endgroup % Started in \deftpparsebody.
3189
 
%%    %
3190
 
%%    % If the attribute list is in fact empty, there will be no space after
3191
 
%%    % #2; so we can't put a space in our TeX parameter list.  But if it
3192
 
%%    % isn't empty, then #3 will begin with an unwanted space.
3193
 
%%    \def\theargs{\ignorespaces #3}%
3194
 
%%    %
3195
 
%%    % Call the macro to produce the output.
3196
 
%%    #1{#2}\theargs %
3197
 
%%  }%
3198
 
%%}
3199
 
 
3200
 
\def\defopvarparsebody #1#2#3#4#5 {\begingroup\inENV %
3201
 
\medbreak %
3202
 
% Define the end token that this defining construct specifies
3203
 
% so that it will exit this group.
3204
 
\def#1{\endgraf\endgroup\medbreak}%
3205
 
\def#2##1 ##2 {\def#4{##1}%
3206
 
\begingroup\obeylines\spacesplit{#3{##2}}}%
3207
 
\parindent=0in
3208
 
\advance\leftskip by \defbodyindent \advance \rightskip by \defbodyindent
3209
 
\exdentamount=\defbodyindent
3210
 
\begingroup\obeylines\spacesplit{#3{#5}}}
3211
 
 
3212
 
% Split up #2 at the first space token.
3213
 
% call #1 with two arguments:
3214
 
%  the first is all of #2 before the space token,
3215
 
%  the second is all of #2 after that space token.
3216
 
% If #2 contains no space token, all of it is passed as the first arg
3217
 
% and the second is passed as empty.
3218
 
 
3219
 
{\obeylines
3220
 
\gdef\spacesplit#1#2^^M{\endgroup\spacesplitfoo{#1}#2 \relax\spacesplitfoo}%
3221
 
\long\gdef\spacesplitfoo#1#2 #3#4\spacesplitfoo{%
3222
 
\ifx\relax #3%
3223
 
#1{#2}{}\else #1{#2}{#3#4}\fi}}
3224
 
 
3225
 
% So much for the things common to all kinds of definitions.
3226
 
 
3227
 
% Define @defun.
3228
 
 
3229
 
% First, define the processing that is wanted for arguments of \defun
3230
 
% Use this to expand the args and terminate the paragraph they make up
3231
 
 
3232
 
\def\defunargs #1{\functionparens \sl
3233
 
% Expand, preventing hyphenation at `-' chars.
3234
 
% Note that groups don't affect changes in \hyphenchar.
3235
 
\hyphenchar\tensl=0
3236
 
#1%
3237
 
\hyphenchar\tensl=45
3238
 
\ifnum\parencount=0 \else \errmessage{unbalanced parens in @def arguments}\fi%
3239
 
\interlinepenalty=10000
3240
 
\advance\rightskip by 0pt plus 1fil
3241
 
\endgraf\penalty 10000\vskip -\parskip\penalty 10000%
3242
 
}
3243
 
 
3244
 
\def\deftypefunargs #1{%
3245
 
% Expand, preventing hyphenation at `-' chars.
3246
 
% Note that groups don't affect changes in \hyphenchar.
3247
 
\functionparens
3248
 
\code{#1}%
3249
 
\interlinepenalty=10000
3250
 
\advance\rightskip by 0pt plus 1fil
3251
 
\endgraf\penalty 10000\vskip -\parskip\penalty 10000%
3252
 
}
3253
 
 
3254
 
% Do complete processing of one @defun or @defunx line already parsed.
3255
 
 
3256
 
% @deffn Command forward-char nchars
3257
 
 
3258
 
\def\deffn{\defmethparsebody\Edeffn\deffnx\deffnheader}
3259
 
 
3260
 
\def\deffnheader #1#2#3{\doind {fn}{\code{#2}}%
3261
 
\begingroup\defname {#2}{#1}\defunargs{#3}\endgroup %
3262
 
\catcode 61=\other % Turn off change made in \defparsebody
3263
 
}
3264
 
 
3265
 
% @defun == @deffn Function
3266
 
 
3267
 
\def\defun{\defparsebody\Edefun\defunx\defunheader}
3268
 
 
3269
 
\def\defunheader #1#2{\doind {fn}{\code{#1}}% Make entry in function index
3270
 
\begingroup\defname {#1}{Function}%
3271
 
\defunargs {#2}\endgroup %
3272
 
\catcode 61=\other % Turn off change made in \defparsebody
3273
 
}
3274
 
 
3275
 
% @deftypefun int foobar (int @var{foo}, float @var{bar})
3276
 
 
3277
 
\def\deftypefun{\defparsebody\Edeftypefun\deftypefunx\deftypefunheader}
3278
 
 
3279
 
% #1 is the data type.  #2 is the name and args.
3280
 
\def\deftypefunheader #1#2{\deftypefunheaderx{#1}#2 \relax}
3281
 
% #1 is the data type, #2 the name, #3 the args.
3282
 
\def\deftypefunheaderx #1#2 #3\relax{%
3283
 
\doind {fn}{\code{#2}}% Make entry in function index
3284
 
\begingroup\defname {\code{#1} #2}{Function}%
3285
 
\deftypefunargs {#3}\endgroup %
3286
 
\catcode 61=\other % Turn off change made in \defparsebody
3287
 
}
3288
 
 
3289
 
% @deftypefn {Library Function} int foobar (int @var{foo}, float @var{bar})
3290
 
 
3291
 
\def\deftypefn{\defmethparsebody\Edeftypefn\deftypefnx\deftypefnheader}
3292
 
 
3293
 
% #1 is the classification.  #2 is the data type.  #3 is the name and args.
3294
 
\def\deftypefnheader #1#2#3{\deftypefnheaderx{#1}{#2}#3 \relax}
3295
 
% #1 is the classification, #2 the data type, #3 the name, #4 the args.
3296
 
\def\deftypefnheaderx #1#2#3 #4\relax{%
3297
 
\doind {fn}{\code{#3}}% Make entry in function index
3298
 
\begingroup\defname {\code{#2} #3}{#1}%
3299
 
\deftypefunargs {#4}\endgroup %
3300
 
\catcode 61=\other % Turn off change made in \defparsebody
3301
 
}
3302
 
 
3303
 
% @defmac == @deffn Macro
3304
 
 
3305
 
\def\defmac{\defparsebody\Edefmac\defmacx\defmacheader}
3306
 
 
3307
 
\def\defmacheader #1#2{\doind {fn}{\code{#1}}% Make entry in function index
3308
 
\begingroup\defname {#1}{Macro}%
3309
 
\defunargs {#2}\endgroup %
3310
 
\catcode 61=\other % Turn off change made in \defparsebody
3311
 
}
3312
 
 
3313
 
% @defspec == @deffn Special Form
3314
 
 
3315
 
\def\defspec{\defparsebody\Edefspec\defspecx\defspecheader}
3316
 
 
3317
 
\def\defspecheader #1#2{\doind {fn}{\code{#1}}% Make entry in function index
3318
 
\begingroup\defname {#1}{Special Form}%
3319
 
\defunargs {#2}\endgroup %
3320
 
\catcode 61=\other % Turn off change made in \defparsebody
3321
 
}
3322
 
 
3323
 
% This definition is run if you use @defunx
3324
 
% anywhere other than immediately after a @defun or @defunx.
3325
 
 
3326
 
\def\deffnx #1 {\errmessage{@deffnx in invalid context}}
3327
 
\def\defunx #1 {\errmessage{@defunx in invalid context}}
3328
 
\def\defmacx #1 {\errmessage{@defmacx in invalid context}}
3329
 
\def\defspecx #1 {\errmessage{@defspecx in invalid context}}
3330
 
\def\deftypefnx #1 {\errmessage{@deftypefnx in invalid context}}
3331
 
\def\deftypeunx #1 {\errmessage{@deftypeunx in invalid context}}
3332
 
 
3333
 
% @defmethod, and so on
3334
 
 
3335
 
% @defop {Funny Method} foo-class frobnicate argument
3336
 
 
3337
 
\def\defop #1 {\def\defoptype{#1}%
3338
 
\defopparsebody\Edefop\defopx\defopheader\defoptype}
3339
 
 
3340
 
\def\defopheader #1#2#3{%
3341
 
\dosubind {fn}{\code{#2}}{on #1}% Make entry in function index
3342
 
\begingroup\defname {#2}{\defoptype{} on #1}%
3343
 
\defunargs {#3}\endgroup %
3344
 
}
3345
 
 
3346
 
% @defmethod == @defop Method
3347
 
 
3348
 
\def\defmethod{\defmethparsebody\Edefmethod\defmethodx\defmethodheader}
3349
 
 
3350
 
\def\defmethodheader #1#2#3{%
3351
 
\dosubind {fn}{\code{#2}}{on #1}% entry in function index
3352
 
\begingroup\defname {#2}{Method on #1}%
3353
 
\defunargs {#3}\endgroup %
3354
 
}
3355
 
 
3356
 
% @defcv {Class Option} foo-class foo-flag
3357
 
 
3358
 
\def\defcv #1 {\def\defcvtype{#1}%
3359
 
\defopvarparsebody\Edefcv\defcvx\defcvarheader\defcvtype}
3360
 
 
3361
 
\def\defcvarheader #1#2#3{%
3362
 
\dosubind {vr}{\code{#2}}{of #1}% Make entry in var index
3363
 
\begingroup\defname {#2}{\defcvtype{} of #1}%
3364
 
\defvarargs {#3}\endgroup %
3365
 
}
3366
 
 
3367
 
% @defivar == @defcv {Instance Variable}
3368
 
 
3369
 
\def\defivar{\defvrparsebody\Edefivar\defivarx\defivarheader}
3370
 
 
3371
 
\def\defivarheader #1#2#3{%
3372
 
\dosubind {vr}{\code{#2}}{of #1}% Make entry in var index
3373
 
\begingroup\defname {#2}{Instance Variable of #1}%
3374
 
\defvarargs {#3}\endgroup %
3375
 
}
3376
 
 
3377
 
% These definitions are run if you use @defmethodx, etc.,
3378
 
% anywhere other than immediately after a @defmethod, etc.
3379
 
 
3380
 
\def\defopx #1 {\errmessage{@defopx in invalid context}}
3381
 
\def\defmethodx #1 {\errmessage{@defmethodx in invalid context}}
3382
 
\def\defcvx #1 {\errmessage{@defcvx in invalid context}}
3383
 
\def\defivarx #1 {\errmessage{@defivarx in invalid context}}
3384
 
 
3385
 
% Now @defvar
3386
 
 
3387
 
% First, define the processing that is wanted for arguments of @defvar.
3388
 
% This is actually simple: just print them in roman.
3389
 
% This must expand the args and terminate the paragraph they make up
3390
 
\def\defvarargs #1{\normalparens #1%
3391
 
\interlinepenalty=10000
3392
 
\endgraf\penalty 10000\vskip -\parskip\penalty 10000}
3393
 
 
3394
 
% @defvr Counter foo-count
3395
 
 
3396
 
\def\defvr{\defvrparsebody\Edefvr\defvrx\defvrheader}
3397
 
 
3398
 
\def\defvrheader #1#2#3{\doind {vr}{\code{#2}}%
3399
 
\begingroup\defname {#2}{#1}\defvarargs{#3}\endgroup}
3400
 
 
3401
 
% @defvar == @defvr Variable
3402
 
 
3403
 
\def\defvar{\defvarparsebody\Edefvar\defvarx\defvarheader}
3404
 
 
3405
 
\def\defvarheader #1#2{\doind {vr}{\code{#1}}% Make entry in var index
3406
 
\begingroup\defname {#1}{Variable}%
3407
 
\defvarargs {#2}\endgroup %
3408
 
}
3409
 
 
3410
 
% @defopt == @defvr {User Option}
3411
 
 
3412
 
\def\defopt{\defvarparsebody\Edefopt\defoptx\defoptheader}
3413
 
 
3414
 
\def\defoptheader #1#2{\doind {vr}{\code{#1}}% Make entry in var index
3415
 
\begingroup\defname {#1}{User Option}%
3416
 
\defvarargs {#2}\endgroup %
3417
 
}
3418
 
 
3419
 
% @deftypevar int foobar
3420
 
 
3421
 
\def\deftypevar{\defvarparsebody\Edeftypevar\deftypevarx\deftypevarheader}
3422
 
 
3423
 
% #1 is the data type.  #2 is the name.
3424
 
\def\deftypevarheader #1#2{%
3425
 
\doind {vr}{\code{#2}}% Make entry in variables index
3426
 
\begingroup\defname {\code{#1} #2}{Variable}%
3427
 
\interlinepenalty=10000
3428
 
\endgraf\penalty 10000\vskip -\parskip\penalty 10000
3429
 
\endgroup}
3430
 
 
3431
 
% @deftypevr {Global Flag} int enable
3432
 
 
3433
 
\def\deftypevr{\defvrparsebody\Edeftypevr\deftypevrx\deftypevrheader}
3434
 
 
3435
 
\def\deftypevrheader #1#2#3{\doind {vr}{\code{#3}}%
3436
 
\begingroup\defname {\code{#2} #3}{#1}
3437
 
\interlinepenalty=10000
3438
 
\endgraf\penalty 10000\vskip -\parskip\penalty 10000
3439
 
\endgroup}
3440
 
 
3441
 
% This definition is run if you use @defvarx
3442
 
% anywhere other than immediately after a @defvar or @defvarx.
3443
 
 
3444
 
\def\defvrx #1 {\errmessage{@defvrx in invalid context}}
3445
 
\def\defvarx #1 {\errmessage{@defvarx in invalid context}}
3446
 
\def\defoptx #1 {\errmessage{@defoptx in invalid context}}
3447
 
\def\deftypevarx #1 {\errmessage{@deftypevarx in invalid context}}
3448
 
\def\deftypevrx #1 {\errmessage{@deftypevrx in invalid context}}
3449
 
 
3450
 
% Now define @deftp
3451
 
% Args are printed in bold, a slight difference from @defvar.
3452
 
 
3453
 
\def\deftpargs #1{\bf \defvarargs{#1}}
3454
 
 
3455
 
% @deftp Class window height width ...
3456
 
 
3457
 
\def\deftp{\deftpparsebody\Edeftp\deftpx\deftpheader}
3458
 
 
3459
 
\def\deftpheader #1#2#3{\doind {tp}{\code{#2}}%
3460
 
\begingroup\defname {#2}{#1}\deftpargs{#3}\endgroup}
3461
 
 
3462
 
% This definition is run if you use @deftpx, etc
3463
 
% anywhere other than immediately after a @deftp, etc.
3464
 
 
3465
 
\def\deftpx #1 {\errmessage{@deftpx in invalid context}}
3466
 
 
3467
 
\message{cross reference,}
3468
 
% Define cross-reference macros
3469
 
\newwrite \auxfile
3470
 
 
3471
 
\newif\ifhavexrefs  % True if xref values are known.
3472
 
\newif\ifwarnedxrefs  % True if we warned once that they aren't known.
3473
 
 
3474
 
% \setref{foo} defines a cross-reference point named foo.
3475
 
 
3476
 
\def\setref#1{%
3477
 
%\dosetq{#1-title}{Ytitle}%
3478
 
\dosetq{#1-pg}{Ypagenumber}%
3479
 
\dosetq{#1-snt}{Ysectionnumberandtype}}
3480
 
 
3481
 
\def\unnumbsetref#1{%
3482
 
%\dosetq{#1-title}{Ytitle}%
3483
 
\dosetq{#1-pg}{Ypagenumber}%
3484
 
\dosetq{#1-snt}{Ynothing}}
3485
 
 
3486
 
\def\appendixsetref#1{%
3487
 
%\dosetq{#1-title}{Ytitle}%
3488
 
\dosetq{#1-pg}{Ypagenumber}%
3489
 
\dosetq{#1-snt}{Yappendixletterandtype}}
3490
 
 
3491
 
% \xref, \pxref, and \ref generate cross-references to specified points.
3492
 
% For \xrefX, #1 is the node name, #2 the name of the Info
3493
 
% cross-reference, #3 the printed node name, #4 the name of the Info
3494
 
% file, #5 the name of the printed manual.  All but the node name can be
3495
 
% omitted.
3496
 
%
3497
 
\def\pxref#1{see \xrefX[#1,,,,,,,]}
3498
 
\def\xref#1{See \xrefX[#1,,,,,,,]}
3499
 
\def\ref#1{\xrefX[#1,,,,,,,]}
3500
 
\def\xrefX[#1,#2,#3,#4,#5,#6]{\begingroup%
3501
 
\def\printedmanual{\ignorespaces #5}%
3502
 
\def\printednodename{\ignorespaces #3}%
3503
 
%
3504
 
\setbox1=\hbox{\printedmanual}%
3505
 
\setbox0=\hbox{\printednodename}%
3506
 
\ifdim \wd0=0pt%
3507
 
\def\printednodename{\ignorespaces #1}%
3508
 
%%% Uncommment the following line to make the actual chapter or section title
3509
 
%%% appear inside the square brackets.
3510
 
%\def\printednodename{#1-title}%
3511
 
\fi%
3512
 
%
3513
 
%
3514
 
% If we use \unhbox0 and \unhbox1 to print the node names, TeX does
3515
 
% not insert empty discretionaries after hyphens, which means that it
3516
 
% will not find a line break at a hyphen in a node names.  Since some
3517
 
% manuals are best written with fairly long node names, containing
3518
 
% hyphens, this is a loss.  Therefore, we simply give the text of
3519
 
% the node name again, so it is as if TeX is seeing it for the first
3520
 
% time.
3521
 
\ifdim \wd1>0pt
3522
 
section ``\printednodename'' in \cite{\printedmanual}%
3523
 
\else%
3524
 
\turnoffactive%
3525
 
\refx{#1-snt}{} [\printednodename], page\tie\refx{#1-pg}{}%
3526
 
\fi
3527
 
\endgroup}
3528
 
 
3529
 
% \dosetq is the interface for calls from other macros
3530
 
 
3531
 
% Use \turnoffactive so that punctuation chars such as underscore
3532
 
% work in node names.
3533
 
\def\dosetq #1#2{{\let\folio=0 \turnoffactive%
3534
 
\edef\next{\write\auxfile{\internalsetq {#1}{#2}}}%
3535
 
\next}}
3536
 
 
3537
 
% \internalsetq {foo}{page} expands into
3538
 
% CHARACTERS 'xrdef {foo}{...expansion of \Ypage...}
3539
 
% When the aux file is read, ' is the escape character
3540
 
 
3541
 
\def\internalsetq #1#2{'xrdef {#1}{\csname #2\endcsname}}
3542
 
 
3543
 
% Things to be expanded by \internalsetq
3544
 
 
3545
 
\def\Ypagenumber{\folio}
3546
 
 
3547
 
\def\Ytitle{\thischapter}
3548
 
 
3549
 
\def\Ynothing{}
3550
 
 
3551
 
\def\Ysectionnumberandtype{%
3552
 
\ifnum\secno=0 Chapter\xreftie\the\chapno %
3553
 
\else \ifnum \subsecno=0 Section\xreftie\the\chapno.\the\secno %
3554
 
\else \ifnum \subsubsecno=0 %
3555
 
Section\xreftie\the\chapno.\the\secno.\the\subsecno %
3556
 
\else %
3557
 
Section\xreftie\the\chapno.\the\secno.\the\subsecno.\the\subsubsecno %
3558
 
\fi \fi \fi }
3559
 
 
3560
 
\def\Yappendixletterandtype{%
3561
 
\ifnum\secno=0 Appendix\xreftie'char\the\appendixno{}%
3562
 
\else \ifnum \subsecno=0 Section\xreftie'char\the\appendixno.\the\secno %
3563
 
\else \ifnum \subsubsecno=0 %
3564
 
Section\xreftie'char\the\appendixno.\the\secno.\the\subsecno %
3565
 
\else %
3566
 
Section\xreftie'char\the\appendixno.\the\secno.\the\subsecno.\the\subsubsecno %
3567
 
\fi \fi \fi }
3568
 
 
3569
 
\gdef\xreftie{'tie}
3570
 
 
3571
 
% Use TeX 3.0's \inputlineno to get the line number, for better error
3572
 
% messages, but if we're using an old version of TeX, don't do anything.
3573
 
%
3574
 
\ifx\inputlineno\thisisundefined
3575
 
  \let\linenumber = \empty % Non-3.0.
3576
 
\else
3577
 
  \def\linenumber{\the\inputlineno:\space}
3578
 
\fi
3579
 
 
3580
 
% Define \refx{NAME}{SUFFIX} to reference a cross-reference string named NAME.
3581
 
% If its value is nonempty, SUFFIX is output afterward.
3582
 
 
3583
 
\def\refx#1#2{%
3584
 
  \expandafter\ifx\csname X#1\endcsname\relax
3585
 
    % If not defined, say something at least.
3586
 
    $\langle$un\-de\-fined$\rangle$%
3587
 
    \ifhavexrefs
3588
 
      \message{\linenumber Undefined cross reference `#1'.}%
3589
 
    \else
3590
 
      \ifwarnedxrefs\else
3591
 
        \global\warnedxrefstrue
3592
 
        \message{Cross reference values unknown; you must run TeX again.}%
3593
 
      \fi
3594
 
    \fi
3595
 
  \else
3596
 
    % It's defined, so just use it.
3597
 
    \csname X#1\endcsname
3598
 
  \fi
3599
 
  #2% Output the suffix in any case.
3600
 
}
3601
 
 
3602
 
% Read the last existing aux file, if any.  No error if none exists.
3603
 
 
3604
 
% This is the macro invoked by entries in the aux file.
3605
 
\def\xrdef #1#2{
3606
 
{\catcode`\'=\other\expandafter \gdef \csname X#1\endcsname {#2}}}
3607
 
 
3608
 
\def\readauxfile{%
3609
 
\begingroup
3610
 
\catcode `\^^@=\other
3611
 
\catcode `\=\other
3612
 
\catcode `\=\other
3613
 
\catcode `\^^C=\other
3614
 
\catcode `\^^D=\other
3615
 
\catcode `\^^E=\other
3616
 
\catcode `\^^F=\other
3617
 
\catcode `\^^G=\other
3618
 
\catcode `\^^H=\other
3619
 
\catcode `\ =\other
3620
 
\catcode `\^^L=\other
3621
 
\catcode `\=\other
3622
 
\catcode `\=\other
3623
 
\catcode `\=\other
3624
 
\catcode `\=\other
3625
 
\catcode `\=\other
3626
 
\catcode `\=\other
3627
 
\catcode `\=\other
3628
 
\catcode `\=\other
3629
 
\catcode `\=\other
3630
 
\catcode `\=\other
3631
 
\catcode `\=\other
3632
 
\catcode `\=\other
3633
 
\catcode 26=\other
3634
 
\catcode `\^^[=\other
3635
 
\catcode `\^^\=\other
3636
 
\catcode `\^^]=\other
3637
 
\catcode `\^^^=\other
3638
 
\catcode `\^^_=\other
3639
 
\catcode `\@=\other
3640
 
\catcode `\^=\other
3641
 
\catcode `\~=\other
3642
 
\catcode `\[=\other
3643
 
\catcode `\]=\other
3644
 
\catcode`\"=\other
3645
 
\catcode`\_=\other
3646
 
\catcode`\|=\other
3647
 
\catcode`\<=\other
3648
 
\catcode`\>=\other
3649
 
\catcode `\$=\other
3650
 
\catcode `\#=\other
3651
 
\catcode `\&=\other
3652
 
% `\+ does not work, so use 43.
3653
 
\catcode 43=\other
3654
 
% the aux file uses ' as the escape.
3655
 
% Turn off \ as an escape so we do not lose on
3656
 
% entries which were dumped with control sequences in their names.
3657
 
% For example, 'xrdef {$\leq $-fun}{page ...} made by @defun ^^
3658
 
% Reference to such entries still does not work the way one would wish,
3659
 
% but at least they do not bomb out when the aux file is read in.
3660
 
\catcode `\{=1 \catcode `\}=2
3661
 
\catcode `\%=\other
3662
 
\catcode `\'=0
3663
 
\catcode `\\=\other
3664
 
\openin 1 \jobname.aux
3665
 
\ifeof 1 \else \closein 1 \input \jobname.aux \global\havexrefstrue
3666
 
\global\warnedobstrue
3667
 
\fi
3668
 
% Open the new aux file.  Tex will close it automatically at exit.
3669
 
\openout \auxfile=\jobname.aux
3670
 
\endgroup}
3671
 
 
3672
 
 
3673
 
% Footnotes.
3674
 
 
3675
 
\newcount \footnoteno
3676
 
 
3677
 
% The trailing space in the following definition for supereject is
3678
 
% vital for proper filling; pages come out unaligned when you do a
3679
 
% pagealignmacro call if that space before the closing brace is
3680
 
% removed.
3681
 
\def\supereject{\par\penalty -20000\footnoteno =0 }
3682
 
 
3683
 
% @footnotestyle is meaningful for info output only..
3684
 
\let\footnotestyle=\comment
3685
 
 
3686
 
\let\ptexfootnote=\footnote
3687
 
 
3688
 
{\catcode `\@=11
3689
 
%
3690
 
% Auto-number footnotes.  Otherwise like plain.
3691
 
\gdef\footnote{%
3692
 
  \global\advance\footnoteno by \@ne
3693
 
  \edef\thisfootno{$^{\the\footnoteno}$}%
3694
 
  %
3695
 
  % In case the footnote comes at the end of a sentence, preserve the
3696
 
  % extra spacing after we do the footnote number.
3697
 
  \let\@sf\empty
3698
 
  \ifhmode\edef\@sf{\spacefactor\the\spacefactor}\/\fi
3699
 
  %
3700
 
  % Remove inadvertent blank space before typesetting the footnote number.
3701
 
  \unskip
3702
 
  \thisfootno\@sf
3703
 
  \footnotezzz
3704
 
}%
3705
 
 
3706
 
% Don't bother with the trickery in plain.tex to not require the
3707
 
% footnote text as a parameter.  Our footnotes don't need to be so general.
3708
 
%
3709
 
\long\gdef\footnotezzz#1{\insert\footins{%
3710
 
  % We want to typeset this text as a normal paragraph, even if the
3711
 
  % footnote reference occurs in (for example) a display environment.
3712
 
  % So reset some parameters.
3713
 
  \interlinepenalty\interfootnotelinepenalty
3714
 
  \splittopskip\ht\strutbox % top baseline for broken footnotes
3715
 
  \splitmaxdepth\dp\strutbox
3716
 
  \floatingpenalty\@MM
3717
 
  \leftskip\z@skip
3718
 
  \rightskip\z@skip
3719
 
  \spaceskip\z@skip
3720
 
  \xspaceskip\z@skip
3721
 
  \parindent\defaultparindent
3722
 
  %
3723
 
  % Hang the footnote text off the number.
3724
 
  \hang
3725
 
  \textindent{\thisfootno}%
3726
 
  %
3727
 
  % Don't crash into the line above the footnote text.  Since this
3728
 
  % expands into a box, it must come within the paragraph, lest it
3729
 
  % provide a place where TeX can split the footnote.
3730
 
  \footstrut
3731
 
  #1\strut}%
3732
 
}
3733
 
 
3734
 
}%end \catcode `\@=11
3735
 
 
3736
 
% Set the baselineskip to #1, and the lineskip and strut size
3737
 
% correspondingly.  There is no deep meaning behind these magic numbers
3738
 
% used as factors; they just match (closely enough) what Knuth defined.
3739
 
%
3740
 
\def\lineskipfactor{.08333}
3741
 
\def\strutheightpercent{.70833}
3742
 
\def\strutdepthpercent {.29167}
3743
 
%
3744
 
\def\setleading#1{%
3745
 
  \normalbaselineskip = #1\relax
3746
 
  \normallineskip = \lineskipfactor\normalbaselineskip
3747
 
  \normalbaselines
3748
 
  \setbox\strutbox =\hbox{%
3749
 
    \vrule width0pt height\strutheightpercent\baselineskip
3750
 
                    depth \strutdepthpercent \baselineskip
3751
 
  }%
3752
 
}
3753
 
 
3754
 
% @| inserts a changebar to the left of the current line.  It should
3755
 
% surround any changed text.  This approach does *not* work if the
3756
 
% change spans more than two lines of output.  To handle that, we would
3757
 
% have adopt a much more difficult approach (putting marks into the main
3758
 
% vertical list for the beginning and end of each change).
3759
 
%
3760
 
\def\|{%
3761
 
  % \vadjust can only be used in horizontal mode.
3762
 
  \leavevmode
3763
 
  %
3764
 
  % Append this vertical mode material after the current line in the output.
3765
 
  \vadjust{%
3766
 
    % We want to insert a rule with the height and depth of the current
3767
 
    % leading; that is exactly what \strutbox is supposed to record.
3768
 
    \vskip-\baselineskip
3769
 
    %
3770
 
    % \vadjust-items are inserted at the left edge of the type.  So
3771
 
    % the \llap here moves out into the left-hand margin.
3772
 
    \llap{%
3773
 
      %
3774
 
      % For a thicker or thinner bar, change the `1pt'.
3775
 
      \vrule height\baselineskip width1pt
3776
 
      %
3777
 
      % This is the space between the bar and the text.
3778
 
      \hskip 12pt
3779
 
    }%
3780
 
  }%
3781
 
}
3782
 
 
3783
 
% For a final copy, take out the rectangles
3784
 
% that mark overfull boxes (in case you have decided
3785
 
% that the text looks ok even though it passes the margin).
3786
 
%
3787
 
\def\finalout{\overfullrule=0pt}
3788
 
 
3789
 
 
3790
 
% End of control word definitions.
3791
 
 
3792
 
\message{and turning on texinfo input format.}
3793
 
 
3794
 
\def\openindices{%
3795
 
   \newindex{cp}%
3796
 
   \newcodeindex{fn}%
3797
 
   \newcodeindex{vr}%
3798
 
   \newcodeindex{tp}%
3799
 
   \newcodeindex{ky}%
3800
 
   \newcodeindex{pg}%
3801
 
}
3802
 
 
3803
 
% Set some numeric style parameters, for 8.5 x 11 format.
3804
 
 
3805
 
%\hsize = 6.5in
3806
 
\newdimen\defaultparindent \defaultparindent = 15pt
3807
 
\parindent = \defaultparindent
3808
 
\parskip 18pt plus 1pt
3809
 
\setleading{15pt}
3810
 
\advance\topskip by 1.2cm
3811
 
 
3812
 
% Prevent underfull vbox error messages.
3813
 
\vbadness=10000
3814
 
 
3815
 
% Following George Bush, just get rid of widows and orphans.
3816
 
\widowpenalty=10000
3817
 
\clubpenalty=10000
3818
 
 
3819
 
% Use TeX 3.0's \emergencystretch to help line breaking, but if we're
3820
 
% using an old version of TeX, don't do anything.  We want the amount of
3821
 
% stretch added to depend on the line length, hence the dependence on
3822
 
% \hsize.  This makes it come to about 9pt for the 8.5x11 format.
3823
 
%
3824
 
\ifx\emergencystretch\thisisundefined
3825
 
  % Allow us to assign to \emergencystretch anyway.
3826
 
  \def\emergencystretch{\dimen0}%
3827
 
\else
3828
 
  \emergencystretch = \hsize
3829
 
  \divide\emergencystretch by 45
3830
 
\fi
3831
 
 
3832
 
% Use @smallbook to reset parameters for 7x9.5 format  (or else 7x9.25)
3833
 
\def\smallbook{
3834
 
 
3835
 
% These values for secheadingskip and subsecheadingskip are
3836
 
% experiments.  RJC 7 Aug 1992
3837
 
\global\secheadingskip = 17pt plus 6pt minus 3pt
3838
 
\global\subsecheadingskip = 14pt plus 6pt minus 3pt
3839
 
 
3840
 
\global\lispnarrowing = 0.3in
3841
 
\setleading{12pt}
3842
 
\advance\topskip by -1cm
3843
 
\global\parskip 3pt plus 1pt
3844
 
\global\hsize = 5in
3845
 
\global\vsize=7.5in
3846
 
\global\tolerance=700
3847
 
\global\hfuzz=1pt
3848
 
\global\contentsrightmargin=0pt
3849
 
 
3850
 
\global\pagewidth=\hsize
3851
 
\global\pageheight=\vsize
3852
 
 
3853
 
\global\let\smalllisp=\smalllispx
3854
 
\global\let\smallexample=\smalllispx
3855
 
\global\def\Esmallexample{\Esmalllisp}
3856
 
}
3857
 
 
3858
 
% Use @afourpaper to print on European A4 paper.
3859
 
\def\afourpaper{
3860
 
\global\tolerance=700
3861
 
\global\hfuzz=1pt
3862
 
\setleading{12pt}
3863
 
\global\parskip 15pt plus 1pt
3864
 
 
3865
 
\global\vsize= 53\baselineskip
3866
 
\advance\vsize by \topskip
3867
 
%\global\hsize=   5.85in     % A4 wide 10pt
3868
 
\global\hsize=  6.5in
3869
 
\global\outerhsize=\hsize
3870
 
\global\advance\outerhsize by 0.5in
3871
 
\global\outervsize=\vsize
3872
 
\global\advance\outervsize by 0.6in
3873
 
 
3874
 
\global\pagewidth=\hsize
3875
 
\global\pageheight=\vsize
3876
 
}
3877
 
 
3878
 
% Define macros to output various characters with catcode for normal text.
3879
 
\catcode`\"=\other
3880
 
\catcode`\~=\other
3881
 
\catcode`\^=\other
3882
 
\catcode`\_=\other
3883
 
\catcode`\|=\other
3884
 
\catcode`\<=\other
3885
 
\catcode`\>=\other
3886
 
\catcode`\+=\other
3887
 
\def\normaldoublequote{"}
3888
 
\def\normaltilde{~}
3889
 
\def\normalcaret{^}
3890
 
\def\normalunderscore{_}
3891
 
\def\normalverticalbar{|}
3892
 
\def\normalless{<}
3893
 
\def\normalgreater{>}
3894
 
\def\normalplus{+}
3895
 
 
3896
 
% This macro is used to make a character print one way in ttfont
3897
 
% where it can probably just be output, and another way in other fonts,
3898
 
% where something hairier probably needs to be done.
3899
 
%
3900
 
% #1 is what to print if we are indeed using \tt; #2 is what to print
3901
 
% otherwise.  Since all the Computer Modern typewriter fonts have zero
3902
 
% interword stretch (and shrink), and it is reasonable to expect all
3903
 
% typewriter fonts to have this, we can check that font parameter.
3904
 
%
3905
 
\def\ifusingtt#1#2{\ifdim \fontdimen3\the\font=0pt #1\else #2\fi}
3906
 
 
3907
 
% Turn off all special characters except @
3908
 
% (and those which the user can use as if they were ordinary).
3909
 
% Most of these we simply print from the \tt font, but for some, we can
3910
 
% use math or other variants that look better in normal text.
3911
 
 
3912
 
\catcode`\"=\active
3913
 
\def\activedoublequote{{\tt \char '042}}
3914
 
\let"=\activedoublequote
3915
 
\catcode`\~=\active
3916
 
\def~{{\tt \char '176}}
3917
 
\chardef\hat=`\^
3918
 
\catcode`\^=\active
3919
 
\def^{{\tt \hat}}
3920
 
 
3921
 
\catcode`\_=\active
3922
 
\def_{\ifusingtt\normalunderscore\_}
3923
 
% Subroutine for the previous macro.
3924
 
\def\_{\lvvmode \kern.06em \vbox{\hrule width.3em height.1ex}}
3925
 
 
3926
 
% \lvvmode is equivalent in function to \leavevmode.
3927
 
% Using \leavevmode runs into trouble when written out to
3928
 
% an index file due to the expansion of \leavevmode into ``\unhbox
3929
 
% \voidb@x'' ---which looks to TeX like ``\unhbox \voidb\x'' due to our
3930
 
% magic tricks with @.
3931
 
\def\lvvmode{\vbox to 0pt{}}
3932
 
 
3933
 
\catcode`\|=\active
3934
 
\def|{{\tt \char '174}}
3935
 
\chardef \less=`\<
3936
 
\catcode`\<=\active
3937
 
\def<{{\tt \less}}
3938
 
\chardef \gtr=`\>
3939
 
\catcode`\>=\active
3940
 
\def>{{\tt \gtr}}
3941
 
\catcode`\+=\active
3942
 
\def+{{\tt \char 43}}
3943
 
%\catcode 27=\active
3944
 
%\def^^[{$\diamondsuit$}
3945
 
 
3946
 
% Used sometimes to turn off (effectively) the active characters
3947
 
% even after parsing them.
3948
 
\def\turnoffactive{\let"=\normaldoublequote
3949
 
\let~=\normaltilde
3950
 
\let^=\normalcaret
3951
 
\let_=\normalunderscore
3952
 
\let|=\normalverticalbar
3953
 
\let<=\normalless
3954
 
\let>=\normalgreater
3955
 
\let+=\normalplus}
3956
 
 
3957
 
% Set up an active definition for =, but don't enable it most of the time.
3958
 
{\catcode`\==\active
3959
 
\global\def={{\tt \char 61}}}
3960
 
 
3961
 
\catcode`\@=0
3962
 
 
3963
 
% \rawbackslashxx output one backslash character in current font
3964
 
\global\chardef\rawbackslashxx=`\\
3965
 
%{\catcode`\\=\other
3966
 
%@gdef@rawbackslashxx{\}}
3967
 
 
3968
 
% \rawbackslash redefines \ as input to do \rawbackslashxx.
3969
 
{\catcode`\\=\active
3970
 
@gdef@rawbackslash{@let\=@rawbackslashxx }}
3971
 
 
3972
 
% \normalbackslash outputs one backslash in fixed width font.
3973
 
\def\normalbackslash{{\tt\rawbackslashxx}}
3974
 
 
3975
 
% Say @foo, not \foo, in error messages.
3976
 
\escapechar=`\@
3977
 
 
3978
 
% \catcode 17=0   % Define control-q
3979
 
\catcode`\\=\active
3980
 
 
3981
 
% If a .fmt file is being used, we don't want the `\input texinfo' to show up.
3982
 
% That is what \eatinput is for; after that, the `\' should revert to printing
3983
 
% a backslash.
3984
 
%
3985
 
@gdef@eatinput input texinfo{@fixbackslash}
3986
 
@global@let\ = @eatinput
3987
 
 
3988
 
% On the other hand, perhaps the file did not have a `\input texinfo'. Then
3989
 
% the first `\{ in the file would cause an error. This macro tries to fix
3990
 
% that, assuming it is called before the first `\' could plausibly occur.
3991
 
%
3992
 
@gdef@fixbackslash{@ifx\@eatinput @let\ = @normalbackslash @fi}
3993
 
 
3994
 
%% These look ok in all fonts, so just make them not special.  The @rm below
3995
 
%% makes sure that the current font starts out as the newly loaded cmr10
3996
 
@catcode`@$=@other @catcode`@%=@other @catcode`@&=@other @catcode`@#=@other
3997
 
 
3998
 
@textfonts
3999
 
@rm
4000
 
 
4001
 
@c Local variables:
4002
 
@c page-delimiter: "^\\\\message"
4003
 
@c End: