home *** CD-ROM | disk | FTP | other *** search
/ Education Sampler 1992 [NeXTSTEP] / Education_1992_Sampler.iso / NeXT / GnuSource / emacs-15.0.3 / man / texinfo.tex < prev    next >
Text File  |  1988-08-18  |  63KB  |  2,006 lines
  1. %% TeX macros to handle texinfo files
  2.  
  3. %   Copyright (C) 1985, 1986, 1988 Richard M. Stallman
  4.  
  5. %               NO WARRANTY
  6.  
  7. %  BECAUSE THIS PROGRAM IS LICENSED FREE OF CHARGE, WE PROVIDE ABSOLUTELY
  8. %NO WARRANTY, TO THE EXTENT PERMITTED BY APPLICABLE STATE LAW.  EXCEPT
  9. %WHEN OTHERWISE STATED IN WRITING, FREE SOFTWARE FOUNDATION, INC,
  10. %RICHARD M. STALLMAN AND/OR OTHER PARTIES PROVIDE THIS PROGRAM "AS IS"
  11. %WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING,
  12. %BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
  13. %FITNESS FOR A PARTICULAR PURPOSE.  THE ENTIRE RISK AS TO THE QUALITY
  14. %AND PERFORMANCE OF THE PROGRAM IS WITH YOU.  SHOULD THE PROGRAM PROVE
  15. %DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR
  16. %CORRECTION.
  17.  
  18. % IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW WILL RICHARD M.
  19. %STALLMAN, THE FREE SOFTWARE FOUNDATION, INC., AND/OR ANY OTHER PARTY
  20. %WHO MAY MODIFY AND REDISTRIBUTE THIS PROGRAM AS PERMITTED BELOW, BE
  21. %LIABLE TO YOU FOR DAMAGES, INCLUDING ANY LOST PROFITS, LOST MONIES, OR
  22. %OTHER SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE
  23. %USE OR INABILITY TO USE (INCLUDING BUT NOT LIMITED TO LOSS OF DATA OR
  24. %DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY THIRD PARTIES OR
  25. %A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS) THIS
  26. %PROGRAM, EVEN IF YOU HAVE BEEN ADVISED OF THE POSSIBILITY OF SUCH
  27. %DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY.
  28.  
  29. %        GENERAL PUBLIC LICENSE TO COPY
  30.  
  31. %  1. You may copy and distribute verbatim copies of this source file
  32. %as you receive it, in any medium, provided that you conspicuously
  33. %and appropriately publish on each copy a valid copyright notice
  34. %"Copyright (C) 1986 Richard M. Stallman"; and include
  35. %following the copyright notice a verbatim copy of the above disclaimer
  36. %of warranty and of this License.
  37.  
  38. %  2. You may modify your copy or copies of this source file or
  39. %any portion of it, and copy and distribute such modifications under
  40. %the terms of Paragraph 1 above, provided that you also do the following:
  41.  
  42. %    a) cause the modified files to carry prominent notices stating
  43. %    that you changed the files and the date of any change; and
  44.  
  45. %    b) cause the whole of any work that you distribute or publish,
  46. %    that in whole or in part contains or is a derivative of this
  47. %    program or any part thereof, to be licensed at no charge to all
  48. %    third parties on terms identical to those contained in this
  49. %    License Agreement (except that you may choose to grant more extensive
  50. %    warranty protection to some or all third parties, at your option).
  51.  
  52. %    c) You may charge a distribution fee for the physical act of
  53. %    transferring a copy, and you may at your option offer warranty
  54. %    protection in exchange for a fee.
  55.  
  56. %Mere aggregation of another unrelated program with this program (or its
  57. %derivative) on a volume of a storage or distribution medium does not bring
  58. %the other program under the scope of these terms.
  59.  
  60. %  3. You may copy and distribute this program (or a portion or derivative
  61. %of it, under Paragraph 2) in object code or executable form under the terms
  62. %of Paragraphs 1 and 2 above provided that you also do one of the following:
  63.  
  64. %    a) accompany it with the complete corresponding machine-readable
  65. %    source code, which must be distributed under the terms of
  66. %    Paragraphs 1 and 2 above; or,
  67.  
  68. %    b) accompany it with a written offer, valid for at least three
  69. %    years, to give any third party free (except for a nominal
  70. %    shipping charge) a complete machine-readable copy of the
  71. %    corresponding source code, to be distributed under the terms of
  72. %    Paragraphs 1 and 2 above; or,
  73.  
  74. %    c) accompany it with the information you received as to where the
  75. %    corresponding source code may be obtained.  (This alternative is
  76. %    allowed only for noncommercial distribution and only if you
  77. %    received the program in object code or executable form alone.)
  78.  
  79. %For an executable file, complete source code means all the source code for
  80. %all modules it contains; but, as a special exception, it need not include
  81. %source code for modules which are standard libraries that accompany the
  82. %operating system on which the executable file runs.
  83.  
  84. %  4. You may not copy, sublicense, distribute or transfer this program
  85. %except as expressly provided under this License Agreement.  Any attempt
  86. %otherwise to copy, sublicense, distribute or transfer this program is void and
  87. %your rights to use the program under this License agreement shall be
  88. %automatically terminated.  However, parties who have received computer
  89. %software programs from you with this License Agreement will not have
  90. %their licenses terminated so long as such parties remain in full compliance.
  91.  
  92. %  5. If you wish to incorporate parts of this program into other free
  93. %programs whose distribution conditions are different, write to the Free
  94. %Software Foundation at 675 Mass Ave, Cambridge, MA 02139.  We have not yet
  95. %worked out a simple rule that can be stated here, but we will often permit
  96. %this.  We will be guided by the two goals of preserving the free status of
  97. %all derivatives of our free software and of promoting the sharing and reuse of
  98. %software.
  99.  
  100. %In other words, you are welcome to use, share and improve this program.
  101. %You are forbidden to forbid anyone else to use, share and improve
  102. %what you give them.   Help stamp out software-hoarding!
  103.  
  104. \def\texinfoversion{1.13}
  105. \message{Loading texinfo package [Version \texinfoversion]:}
  106. \message{}
  107.  
  108. % Save some parts of plain tex whose names we will redefine.
  109.  
  110. \let\ptexlbrace=\{
  111. \let\ptexrbrace=\}
  112. \let\ptexdot=\.
  113. \let\ptexstar=\*
  114. \let\ptexend=\end
  115. \let\ptexbullet=\bullet
  116. \let\ptexb=\b
  117. \let\ptexc=\c
  118. \let\ptexi=\i
  119. \let\ptext=\t
  120. \let\ptexl=\l
  121. \let\ptexL=\L
  122.  
  123. \def\tie{\penalty 10000\ }     % Save plain tex definition of ~.
  124.  
  125. \message{Basics,}
  126. \chardef\other=12
  127.  
  128. \hyphenation{ap-pen-dix}
  129. \hyphenation{mini-buf-fer mini-buf-fers}
  130. \hyphenation{eshell}
  131.  
  132. % Margin to add to right of even pages, to left of odd pages.
  133. \newdimen \bindingoffset  \bindingoffset=0pt
  134. \newdimen \normaloffset   \normaloffset=\hoffset
  135. \newdimen\pagewidth \newdimen\pageheight
  136. \pagewidth=\hsize \pageheight=\vsize
  137.  
  138. %---------------------Begin change-----------------------
  139. %
  140. % Dimensions to add cropmarks at corners Added by P. A. MacKay, 12 Nov. 1986
  141. %
  142. \newdimen\cornerlong \newdimen\cornerthick
  143. \newdimen \topandbottommargin
  144. \newdimen \outerhsize \newdimen \outervsize
  145. \cornerlong=1pc\cornerthick=.3pt    % These set size of cropmarks
  146. \outerhsize=7in
  147. \outervsize=9.5in
  148. \topandbottommargin=.75in
  149. %
  150. %---------------------End change-----------------------
  151.  
  152. % \onepageout takes a vbox as an argument.  Note that \pagecontents
  153. % does insertions itself, but you have to call it yourself.
  154. \chardef\PAGE=255  \output={\onepageout{\pagecontents\PAGE}}
  155. \def\onepageout#1{\hoffset=\normaloffset
  156. \ifodd\pageno  \advance\hoffset by \bindingoffset
  157. \else \advance\hoffset by -\bindingoffset\fi
  158. \shipout\vbox{{\let\hsize=\pagewidth \makeheadline} \pagebody{#1}%
  159.  {\let\hsize=\pagewidth \makefootline}}
  160. \advancepageno \ifnum\outputpenalty>-20000 \else\dosupereject\fi}
  161.  
  162.  
  163. % Here is a modification of the main output routine for Near East Publications
  164. % This provides right-angle cropmarks at all four corners.
  165. % The contents of the page are centerlined into the cropmarks,
  166. % and any desired binding offset is added as an \hskip on either
  167. % site of the centerlined box.  (P. A. MacKay, 12 November, 1986)
  168. %
  169. \def\croppageout#1{\hoffset=0pt % make sure this doesn't mess things up
  170.          \shipout
  171.          \vbox to \outervsize{\hsize=\outerhsize
  172.                  \vbox{\line{\ewtop\hfill\ewtop}}
  173.                  \nointerlineskip
  174.                  \line{\vbox{\moveleft\cornerthick\nstop}
  175.                        \hfill
  176.                        \vbox{\moveright\cornerthick\nstop}}
  177.                  \vskip \topandbottommargin
  178.                  \centerline{\ifodd\pageno\hskip\bindingoffset\fi
  179.             \vbox{
  180.             {\let\hsize=\pagewidth \makeheadline}
  181.             \pagebody{#1}
  182.             {\let\hsize=\pagewidth \makefootline}}
  183.             \ifodd\pageno\else\hskip\bindingoffset\fi}
  184.          \vskip \topandbottommargin plus1fill minus1fill
  185.                  \boxmaxdepth\cornerthick
  186.                  \line{\vbox{\moveleft\cornerthick\nsbot}
  187.                        \hfill
  188.                        \vbox{\moveright\cornerthick\nsbot}}
  189.                  \nointerlineskip
  190.                  \vbox{\line{\ewbot\hfill\ewbot}}
  191.     }
  192.   \advancepageno 
  193.   \ifnum\outputpenalty>-20000 \else\dosupereject\fi}
  194. %
  195. % Do @cropmarks to get crop marks
  196. \def\cropmarks{\let\onepageout=\croppageout }
  197.  
  198. \def\pagebody#1{\vbox to\pageheight{\boxmaxdepth=\maxdepth #1}}
  199. {\catcode`\@ =11
  200. \gdef\pagecontents#1{\ifvoid\topins\else\unvbox\topins\fi
  201. \dimen@=\dp#1 \unvbox#1
  202. \ifvoid\footins\else\vskip\skip\footins\footnoterule \unvbox\footins\fi
  203. \ifr@ggedbottom \kern-\dimen@ \vfil \fi}
  204. }
  205.  
  206. %
  207. % Here are the rules for the cropmarks.  Note that they are
  208. % offset so that the space between them is truly \outerhsize or \outervsize
  209. % (P. A. MacKay, 12 November, 1986)
  210. %
  211. \def\ewtop{\vrule height\cornerthick depth0pt width\cornerlong}
  212. \def\nstop{\vbox
  213.   {\hrule height\cornerthick depth\cornerlong width\cornerthick}}
  214. \def\ewbot{\vrule height0pt depth\cornerthick width\cornerlong}
  215. \def\nsbot{\vbox
  216.   {\hrule height\cornerlong depth\cornerthick width\cornerthick}}
  217.  
  218. % Parse an argument, then pass it to #1.
  219. % The argument can be delimited with [...] or with "..." or braces
  220. % or it can be a whole line.
  221. % #1 should be a macro which expects
  222. % an ordinary undelimited TeX argument.
  223.  
  224. \def\parsearg #1{\let\next=#1\begingroup\obeylines\futurelet\temp\parseargx}
  225.  
  226. \def\parseargx{%
  227. \ifx \obeyedspace\temp \aftergroup\parseargdiscardspace \else%
  228. \aftergroup \parseargline %
  229. \fi \endgroup}
  230.  
  231. {\obeyspaces %
  232. \gdef\parseargdiscardspace {\begingroup\obeylines\futurelet\temp\parseargx}}
  233.  
  234. \gdef\obeyedspace{\ }
  235.  
  236. \def\parseargline{\begingroup \obeylines \parsearglinex}
  237. {\obeylines %
  238. \gdef\parsearglinex #1^^M{\endgroup \next {#1}}}
  239.  
  240. \def\flushcr{\ifx\par\lisppar \def\next##1{}\else \let\next=\relax \fi \next}
  241.  
  242. %% These are used to keep @begin/@end levels from running away
  243. %% Call \inENV within environments (after a \begingroup)
  244. \newif\ifENV \ENVfalse \def\inENV{\ifENV\relax\else\ENVtrue\fi}
  245. \def\ENVcheck{%
  246. \ifENV\errmessage{Still within an environment.  Type Return to continue.}
  247. \endgroup\fi} % This is not perfect, but it should reduce lossage
  248.  
  249. % @begin foo  is the same as @foo, for now.
  250. \newhelp\EMsimple{Type <Return> to continue}
  251.  
  252. \outer\def\begin{\parsearg\beginxxx}
  253.  
  254. \def\beginxxx #1{%
  255. \expandafter\ifx\csname #1\endcsname\relax
  256. {\errhelp=\EMsimple \errmessage{Undefined command @begin #1}}\else
  257. \csname #1\endcsname\fi}
  258.  
  259. %% @end foo executes the definition of \Efoo.
  260. %% foo can be delimited by doublequotes or brackets.
  261.  
  262. \def\end{\parsearg\endxxx}
  263.  
  264. \def\endxxx #1{%
  265. \expandafter\ifx\csname E#1\endcsname\relax
  266. \expandafter\ifx\csname #1\endcsname\relax
  267. \errmessage{Undefined command @end #1}\else
  268. \errorE{#1}\fi\fi
  269. \csname E#1\endcsname}
  270. \def\errorE#1{
  271. {\errhelp=\EMsimple \errmessage{@end #1 not within #1 environment}}}
  272.  
  273. % Single-spacing is done by various environments.
  274.  
  275. \newskip\singlespaceskip \singlespaceskip = \baselineskip
  276. \def\singlespace{%
  277. {\advance \baselineskip by -\singlespaceskip
  278. \kern \baselineskip}%
  279. \baselineskip=\singlespaceskip
  280. }
  281.  
  282. %% Simple single-character @ commands
  283.  
  284. % @@ prints an @
  285. % Kludge this until the fonts are right (grr).
  286. \def\@{{\sf \char '100}}
  287.  
  288. % Define @` and @' to be the same as ` and '
  289. % but suppressing ligatures.
  290. \def\`{{`}}
  291. \def\'{{'}}
  292.  
  293. % Used to generate quoted braces.
  294.  
  295. \def\mylbrace {{\tt \char '173}}
  296. \def\myrbrace {{\tt \char '175}}
  297. \let\{=\mylbrace
  298. \let\}=\myrbrace
  299.  
  300. % @: forces normal size whitespace following.
  301. \def\:{\spacefactor=1000 }
  302.  
  303. % @* forces a line break.
  304. \def\*{\hfil\break}
  305.  
  306. % @. is an end-of-sentence period.
  307. \def\.{.\spacefactor=3000 }
  308.  
  309. % @w prevents a word break
  310. \def\w #1{\hbox{#1}}
  311.  
  312. % @group ... @end group  forces ... to be all on one page.
  313.  
  314. \def\group{\begingroup% \inENV ???
  315. \def \Egroup{\egroup\endgroup}
  316. \vbox\bgroup}
  317.  
  318. % @br   forces paragraph break
  319.  
  320. \let\br = \par
  321.  
  322. % @dots{}  output some dots
  323.  
  324. \def\dots{$\ldots$}
  325.  
  326. % @page    forces the start of a new page
  327.  
  328. \def\page{\par\vfill\supereject}
  329.  
  330. % @exdent text....
  331. % outputs text on separate line in roman font, starting at standard page margin
  332.  
  333. \def\exdent{\errmessage{@exdent in filled text}}
  334.   % @lisp, etc, define \exdent locally from \internalexdent
  335.  
  336. {\obeyspaces
  337. \gdef\internalexdent{\parsearg\exdentzzz}}
  338.  
  339. \def\exdentzzz #1{{\advance \leftskip by -\lispnarrowing
  340. \advance \hsize by -\leftskip
  341. \advance \hsize by -\rightskip
  342. \leftline{{\rm#1}}}}
  343.  
  344. % @include file    insert text of that file as input.
  345.  
  346. \def\include{\parsearg\includezzz}
  347. \def\includezzz #1{{\def\thisfile{#1}\input #1
  348. }}
  349.  
  350. \def\thisfile{}
  351.  
  352. % @center line   outputs that line, centered
  353.  
  354. \def\center{\parsearg\centerzzz}
  355. \def\centerzzz #1{{\advance\hsize by -\leftskip
  356. \advance\hsize by -\rightskip
  357. \centerline{#1}}}
  358.  
  359. % @sp n   outputs n lines of vertical space
  360.  
  361. \def\sp{\parsearg\spxxx}
  362. \def\spxxx #1{\par \vskip #1\baselineskip}
  363.  
  364. % @comment ...line which is ignored...
  365. % @c is the same as @comment
  366. % @ignore ... @end ignore  is another way to write a comment
  367.  
  368. \def\comment{\parsearg \commentxxx}
  369.  
  370. \def\commentxxx #1{}
  371.  
  372. \let\c=\comment
  373.  
  374. \long\def\ignore #1\end ignore{}
  375.  
  376. \outer\def\ifset{\parsearg\ifsetxxx}
  377.  
  378. \def\ifsetxxx #1#2\end ifset{%
  379. \expandafter\ifx\csname IF#1\endcsname\relax \else #2\fi}
  380.  
  381. \outer\def\ifclear{\parsearg\ifclearxxx}
  382.  
  383. \def\ifclearxxx #1#2\end ifclear{%
  384. \expandafter\ifx\csname IF#1\endcsname\relax #2\fi}
  385.  
  386. % Some texinfo constructs that are trivial in tex
  387.  
  388. \def\iftex{}
  389. \def\Eiftex{}
  390. \long\def\ifinfo #1\end ifinfo{}
  391. \long\def\menu #1\end menu{}
  392. \def\asis#1{#1}
  393.  
  394. \def\node{\parsearg\nodezzz}
  395. \def\nodezzz#1{\nodexxx [#1,]}
  396. \def\nodexxx[#1,#2]{\gdef\lastnode{#1}}
  397. \let\lastnode=\relax
  398.  
  399. \def\donoderef{\ifx\lastnode\relax\else
  400. \expandafter\expandafter\expandafter\setref{\lastnode}\fi
  401. \let\lastnode=\relax}
  402.  
  403. \def\unnumbnoderef{\ifx\lastnode\relax\else
  404. \expandafter\expandafter\expandafter\unnumbsetref{\lastnode}\fi
  405. \let\lastnode=\relax}
  406.  
  407. \let\refill=\relax
  408.  
  409. \let\setfilename=\comment
  410.  
  411. \def\inforef #1{\inforefzzz #1,,,,**}
  412. \def\inforefzzz #1,#2,#3,#4**{See Info file \file{\losespace#3{}}, node `\losespace#1{}'}
  413. \def\losespace #1{#1}
  414.  
  415. \message{fonts,}
  416.  
  417. % Font-change commands.
  418.  
  419. %% Try out Computer Modern fonts at \magstephalf
  420. \font\tenrm=cmr10 scaled \magstephalf
  421. \font\tentt=cmtt10 scaled \magstephalf
  422. \font\tenbf=cmb10 scaled \magstephalf
  423. \font\tenit=cmti10 scaled \magstephalf
  424. \font\tensl=cmsl10 scaled \magstephalf
  425. \font\tensf=cmss10 scaled \magstephalf
  426. \def\li{\sf}
  427. \font\tensc=cmcsc10 scaled \magstephalf
  428.  
  429. % Fonts for @defun, etc.
  430. \font\defbf=cmbx10 scaled \magstep1 %was 1314
  431. \let\deftt=\tentt
  432. \def\df{\let\tt=\deftt \defbf}
  433.  
  434. % Font for title
  435. \font\titlerm = cmbx10 scaled \magstep5
  436.  
  437. % Fonts for indices
  438. \font\indit=cmti9 \font\indrm=cmr9
  439. \def\indbf{\indrm} \def\indsl{\indit}
  440. \def\indexfonts{\let\it=\indit \let\sl=\indsl \let\bf=\indbf \let\rm=\indrm}
  441.  
  442. % Fonts for headings
  443. \font\chaprm=cmbx10 scaled \magstep3
  444. \font\chapit=cmti10 scaled \magstep3
  445. \font\chapsl=cmsl10 scaled \magstep3
  446. \font\chaptt=cmtt10 scaled \magstep3
  447. \font\chapsf=cmss10 scaled \magstep3
  448. \let\chapbf=\chaprm
  449.  
  450. \font\secrm=cmbx10 scaled \magstep2
  451. \font\secit=cmti10 scaled \magstep2
  452. \font\secsl=cmsl10 scaled \magstep2
  453. \font\sectt=cmtt10 scaled \magstep2
  454. \font\secsf=cmss10 scaled \magstep2
  455. \let\secbf=\secrm
  456.  
  457. \font\ssecrm=cmbx10 scaled \magstep1
  458. \font\ssecit=cmti10 scaled \magstep1
  459. \font\ssecsl=cmsl10 scaled \magstep1
  460. \font\ssectt=cmtt10 scaled \magstep1
  461. \font\ssecsf=cmss10 scaled \magstep1
  462. \let\ssecbf=\ssecrm
  463.  
  464. \def\textfonts{\let\rm=\tenrm\let\it=\tenit\let\sl=\tensl\let\bf=\tenbf%
  465. \let\sc=\tensc\let\sf=\tensf}
  466. \def\chapfonts{\let\rm=\chaprm\let\it=\chapit\let\sl=\chapsl\let\bf=\chapbf\let\tt=\chaptt\let\sf=\chapsf}
  467. \def\secfonts{\let\rm=\secrm\let\it=\secit\let\sl=\secsl\let\bf=\secbf\let\tt=\sectt\let\sf=\secsf}
  468. \def\subsecfonts{\let\rm=\ssecrm\let\it=\ssecit\let\sl=\ssecsl\let\bf=\ssecbf\let\tt=\ssectt\let\sf=\ssecsf}
  469. % Count depth in font-changes, for error checks
  470. \newcount\fontdepth \fontdepth=0
  471.  
  472. %% Add scribe-like font environments, plus @l for inline lisp (usually sans
  473. %% serif) and @ii for TeX italic
  474.  
  475. \def\i#1{{\sl #1}}
  476. \let\var=\i
  477. \let\dfn=\i
  478. \let\emph=\i
  479. \let\cite=\i
  480.  
  481. \def\b#1{{\bf #1}}
  482. \let\strong=\b
  483.  
  484. \def\t#1{{\tt \rawbackslash #1}\null}
  485. \let\ttfont = \t
  486. \let\kbd=\t
  487. \let\code=\t
  488. \def\samp #1{`{\tt \rawbackslash #1}'\null}
  489. \def\key #1{{\tt \uppercase{#1}}\null}
  490. \def\ctrl #1{{\tt \rawbackslash \hat}#1}
  491.  
  492. \let\file=\samp
  493.  
  494. \def\l#1{{\li #1}\null}
  495.  
  496. \def\r#1{{\rm #1}}
  497. \def\s#1{{\sc #1}}
  498. \def\ii#1{{\it #1}}
  499.  
  500. \def\titlefont#1{{\titlerm #1}}
  501.  
  502. \def\titlepage{\begingroup \parindent=0pt \hbox{}%
  503. \let\oldpage=\page
  504. \def\page{\oldpage \hbox{}}}
  505.  
  506. \def\Etitlepage{\endgroup\page\HEADINGSon}
  507.  
  508. % Make altmode in file print out right
  509.  
  510. \catcode `\^^[=\active \def^^[{$\diamondsuit$}
  511.  
  512. \message{page headings,}
  513.  
  514. %%% Set up page headings and footings.
  515.  
  516. \let\thispage=\folio
  517.  
  518. \newtoks \evenheadline    % Token sequence for heading line of even pages
  519. \newtoks \oddheadline     % Token sequence for heading line of odd pages
  520. \newtoks \evenfootline    % Token sequence for footing line of even pages
  521. \newtoks \oddfootline     % Token sequence for footing line of odd pages
  522.  
  523. % Now make Tex use those variables
  524. \headline={{\textfonts\rm \ifodd\pageno \the\oddheadline \else \the\evenheadline \fi}}
  525. \footline={{\textfonts\rm \ifodd\pageno \the\oddfootline \else \the\evenfootline \fi}}
  526.  
  527. % Commands to set those variables.
  528. % For example, this is what  @headings on  does
  529. % @evenheading @thistitle|@thispage|@thischapter
  530. % @oddheading @thischapter|@thispage|@thistitle
  531. % @evenfooting @thisfile||
  532. % @oddfooting ||@thisfile
  533.  
  534. \def\evenheading{\parsearg\evenheadingxxx}
  535. \def\oddheading{\parsearg\oddheadingxxx}
  536. \def\everyheading{\parsearg\everyheadingxxx}
  537.  
  538. \def\evenfooting{\parsearg\evenfootingxxx}
  539. \def\oddfooting{\parsearg\oddfootingxxx}
  540. \def\everyfooting{\parsearg\everyfootingxxx}
  541.  
  542. {\catcode`\@=0 %
  543.  
  544. \gdef\evenheadingxxx #1{\evenheadingyyy #1@|@|@|@|\finish}
  545. \gdef\evenheadingyyy #1@|#2@|#3@|#4\finish{%
  546. \global\evenheadline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
  547.  
  548. \gdef\oddheadingxxx #1{\oddheadingyyy #1@|@|@|@|\finish}
  549. \gdef\oddheadingyyy #1@|#2@|#3@|#4\finish{%
  550. \global\oddheadline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
  551.  
  552. \gdef\everyheadingxxx #1{\everyheadingyyy #1@|@|@|@|\finish}
  553. \gdef\everyheadingyyy #1@|#2@|#3@|#4\finish{%
  554. \global\evenheadline={\rlap{\centerline{#2}}\line{#1\hfil#3}}
  555. \global\oddheadline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
  556.  
  557. \gdef\evenfootingxxx #1{\evenfootingyyy #1@|@|@|@|\finish}
  558. \gdef\evenfootingyyy #1@|#2@|#3@|#4\finish{%
  559. \global\evenfootline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
  560.  
  561. \gdef\oddfootingxxx #1{\oddfootingyyy #1@|@|@|@|\finish}
  562. \gdef\oddfootingyyy #1@|#2@|#3@|#4\finish{%
  563. \global\oddfootline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
  564.  
  565. \gdef\everyfootingxxx #1{\everyfootingyyy #1@|@|@|@|\finish}
  566. \gdef\everyfootingyyy #1@|#2@|#3@|#4\finish{%
  567. \global\evenfootline={\rlap{\centerline{#2}}\line{#1\hfil#3}}
  568. \global\oddfootline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
  569. %
  570. }% unbind the catcode of @.
  571.  
  572. % @headings on   turns them on.
  573. % @headings off  turns them off.
  574. % By default, they are off.
  575.  
  576. \def\headings #1 {\csname HEADINGS#1\endcsname}
  577.  
  578. \def\HEADINGSoff{
  579. \global\evenheadline={\hfil} \global\evenfootline={\hfil}
  580. \global\oddheadline={\hfil} \global\oddfootline={\hfil}}
  581. \HEADINGSoff
  582. % When we turn headings on, set the page number to 1,
  583. % Put current file name in lower left corner,
  584. % Put chapter name on inside top of right hand pages, document
  585. % title on inside top of left hand pages, and page numbers on outside top
  586. % edge of all pages.
  587. \def\HEADINGSon{
  588. \pagealignmacro
  589. \global\pageno=1
  590. \global\evenfootline={\hfil}
  591. \global\oddfootline={\hfil}
  592. \global\evenheadline={\line{\folio\hfil\thistitle}}
  593. \global\oddheadline={\line{\thischapter\hfil\folio}}
  594. }
  595.  
  596. % Subroutines used in generating headings
  597. % Produces Day Month Year style of output.
  598. \def\today{\number\day\space
  599. \ifcase\month\or
  600. January\or February\or March\or April\or May\or June\or
  601. July\or August\or September\or October\or November\or December\fi
  602. \space\number\year}
  603.  
  604. % Use this if you want the Month Day, Year style of output.
  605. %\def\today{\ifcase\month\or
  606. %January\or February\or March\or April\or May\or June\or
  607. %July\or August\or September\or October\or November\or December\fi
  608. %\space\number\day, \number\year}
  609.  
  610. % @settitle line...  specifies the title of the document, for headings
  611. % It generates no output of its own
  612.  
  613. \def\thistitle{No Title}
  614. \def\settitle{\parsearg\settitlezzz}
  615. \def\settitlezzz #1{\gdef\thistitle{#1}}
  616.  
  617. \message{tables,}
  618.  
  619. % Tables -- @table, @ftable, @item(x), @kitem(x), @xitem(x).
  620.  
  621. % default indentation of table text
  622. \newdimen\tableindent \tableindent=.8in
  623. % default indentation of @itemize and @enumerate text
  624. \newdimen\itemindent  \itemindent=.3in
  625. % margin between end of table item and start of table text.
  626. \newdimen\itemmargin  \itemmargin=.1in
  627.  
  628. % used internally for \itemindent minus \itemmargin
  629. \newdimen\itemmax
  630.  
  631. % Note @table and @ftable define @item, @itemx, etc., with these defs.
  632. % They also define \itemindex
  633. % to index the item name in whatever manner is desired (perhaps none).
  634.  
  635. \def\internalBitem{\smallbreak \parsearg\itemzzz}
  636. \def\internalBitemx{\par \parsearg\itemzzz}
  637.  
  638. \def\internalBxitem "#1"{\def\xitemsubtopix{#1} \smallbreak \parsearg\xitemzzz}
  639. \def\internalBxitemx "#1"{\def\xitemsubtopix{#1} \par \parsearg\xitemzzz}
  640.  
  641. \def\internalBkitem{\smallbreak \parsearg\kitemzzz}
  642. \def\internalBkitemx{\par \parsearg\kitemzzz}
  643.  
  644. \def\kitemzzz #1{\dosubind {kw}{#1}{for {\bf \lastfunction}}\itemzzz {#1}}
  645.  
  646. \def\xitemzzz #1{\dosubind {kw}{#1}{for {\bf \xitemsubtopic}}\itemzzz {#1}}
  647.  
  648. \def\itemzzz #1{\begingroup %
  649. \advance \hsize by -\rightskip %
  650. \advance \hsize by -\leftskip %
  651. \setbox0=\hbox{\itemfont{#1}}%
  652. \itemindex{#1}%
  653. \parskip=0in %
  654. \noindent %
  655. \ifdim \wd0>\itemmax %
  656. \vadjust{\penalty 10000}%
  657. \hbox to \hsize{\hskip -\tableindent\box0\hss}\ %
  658. \else %
  659. \hbox to 0pt{\hskip -\tableindent\box0\hss}%
  660. \fi %
  661. \endgroup %
  662. }
  663.  
  664. \def\item{\errmessage{@item while not in a table}}
  665. \def\itemx{\errmessage{@itemx while not in a table}}
  666. \def\kitem{\errmessage{@kitem while not in a table}}
  667. \def\kitemx{\errmessage{@kitemx while not in a table}}
  668. \def\xitem{\errmessage{@xitem while not in a table}}
  669. \def\xitemx{\errmessage{@xitemx while not in a table}}
  670.  
  671. %% Contains a kludge to get @end[description] to work
  672. \def\description{\tablez{\dontindex}{1}{}{}{}{}}
  673.  
  674. \def\table{\begingroup\inENV\obeylines\obeyspaces\tablex}
  675. {\obeylines\obeyspaces%
  676. \gdef\tablex #1^^M{%
  677. \tabley\dontindex#1        \endtabley}}
  678.  
  679. \def\ftable{\begingroup\inENV\obeylines\obeyspaces\ftablex}
  680. {\obeylines\obeyspaces%
  681. \gdef\ftablex #1^^M{%
  682. \tabley\fnitemindex#1        \endtabley}}
  683.  
  684. \def\dontindex #1{}
  685. \def\fnitemindex #1{\doind {fn}{#1}}%
  686.  
  687. {\obeyspaces %
  688. \gdef\tabley#1#2 #3 #4 #5 #6 #7\endtabley{\endgroup%
  689. \tablez{#1}{#2}{#3}{#4}{#5}{#6}}}
  690.  
  691. \def\tablez #1#2#3#4#5#6{%
  692. \aboveenvbreak %
  693. \begingroup %
  694. \def\Edescription{\Etable}% Neccessary kludge.
  695. \let\itemindex=#1%
  696. \ifnum 0#3>0 \advance \leftskip by #3\mil \fi %
  697. \ifnum 0#4>0 \tableindent=#4\mil \fi %
  698. \ifnum 0#5>0 \advance \rightskip by #5\mil \fi %
  699. \def\itemfont{#2}%
  700. \itemmax=\tableindent %
  701. \advance \itemmax by -\itemmargin %
  702. \advance \leftskip by \tableindent %
  703. \parindent = 0pt
  704. \parskip = \smallskipamount
  705. \ifdim \parskip=0pt \parskip=2pt \fi%
  706. \def\Etable{\endgraf\endgroup\afterenvbreak}%
  707. \let\item = \internalBitem %
  708. \let\itemx = \internalBitemx %
  709. \let\kitem = \internalBkitem %
  710. \let\kitemx = \internalBkitemx %
  711. \let\xitem = \internalBxitem %
  712. \let\xitemx = \internalBxitemx %
  713. }
  714.  
  715. % This is the counter used by @enumerate, which is really @itemize
  716.  
  717. \newcount \itemno
  718.  
  719. \def\itemize{\parsearg\itemizezzz}
  720.  
  721. \def\itemizezzz #1{\itemizey {#1}{\Eitemize}}
  722.  
  723. \def\itemizey #1#2{%
  724. \aboveenvbreak %
  725. \begingroup %
  726. \itemno = 0 %
  727. \itemmax=\itemindent %
  728. \advance \itemmax by -\itemmargin %
  729. \advance \leftskip by \itemindent %
  730. \parindent = 0pt
  731. \parskip = \smallskipamount
  732. \ifdim \parskip=0pt \parskip=2pt \fi%
  733. \def#2{\endgraf\endgroup\afterenvbreak}%
  734. \def\itemcontents{#1}%
  735. \let\item=\itemizeitem}
  736.  
  737. \def\bullet{$\ptexbullet$}
  738. \def\minus{$-$}
  739.  
  740. \def\enumerate{\itemizey{\the\itemno.}\Eenumerate\flushcr}
  741.  
  742. % Definition of @item while inside @itemize.
  743.  
  744. \def\itemizeitem{%
  745. \advance\itemno by 1
  746. {\let\par=\endgraf \smallbreak}%
  747. \ifhmode \errmessage{\in hmode at itemizeitem}\fi
  748. {\parskip=0in \hskip 0pt
  749. \hbox to 0pt{\hss \itemcontents\hskip \itemmargin}%
  750. \vadjust{\penalty 300}}%
  751. \flushcr}
  752.  
  753. \message{indexing,}
  754. % Index generation facilities
  755.  
  756. % Define \newwrite to be identical to plain tex's \newwrite
  757. % except not \outer, so it can be used within \newindex.
  758. {\catcode`\@=11
  759. \gdef\newwrite{\alloc@7\write\chardef\sixt@@n}}
  760.  
  761. % \newindex {foo} defines an index named foo.
  762. % It automatically defines \fooindex such that
  763. % \fooindex ...rest of line... puts an entry in the index foo.
  764. % It also defines \fooindfile to be the number of the output channel for
  765. % the file that    accumulates this index.  The file's extension is foo.
  766. % The name of an index should be no more than 2 characters long
  767. % for the sake of vms.
  768.  
  769. \def\newindex #1{
  770. \expandafter\newwrite \csname#1indfile\endcsname% Define number for output file
  771. \openout \csname#1indfile\endcsname \jobname.#1    % Open the file
  772. \expandafter\xdef\csname#1index\endcsname{%    % Define \xxxindex
  773. \noexpand\doindex {#1}}
  774. }
  775.  
  776. % @defindex foo  ==  \newindex{foo}
  777.  
  778. \def\defindex{\parsearg\newindex}
  779.  
  780. % @synindex foo bar    makes index foo feed into index bar.
  781. % Do this instead of @defindex foo if you don't want it as a separate index.
  782. \def\synindex #1 #2 {%
  783. \expandafter \xdef \csname#1index\endcsname {\noexpand\csname#2index\endcsname}%
  784. \expandafter \chardef \csname#1indfile\endcsname %
  785. = \csname#2indfile\endcsname}
  786.  
  787. % Define \doindex, the driver for all \fooindex macros.
  788. % Argument #1 is generated by the calling \fooindex macro,
  789. %  and it is "foo", the name of the index.
  790.  
  791. % \doindex just uses \parsearg; it calls \doind for the actual work.
  792. % This is because \doind is more useful to call from other macros.
  793.  
  794. % There is also \dosubind {index}{topic}{subtopic}
  795. % which makes an entry in a two-level index such as the operation index.
  796.  
  797. \def\doindex#1{\edef\indexname{#1}\parsearg\singleindexer}
  798. \def\singleindexer #1{\doind{\indexname}{#1}}
  799.  
  800. \def\indexdummies{%
  801. \def\bf{\realbackslash bf }%
  802. \def\rm{\realbackslash rm }%
  803. \def\sl{\realbackslash sl }%
  804. \def\dots{\realbackslash dots }%
  805. \def\copyright{\realbackslash copyright }%
  806. }
  807.  
  808. % To define \realbackslash, we must make \ not be an escape.
  809. % We must first make another character (@) an escape
  810. % so we do not become unable to do a definition.
  811.  
  812. {\catcode`\@=0 \catcode`\\=\other
  813. @gdef@realbackslash{\}}
  814.  
  815. \let\indexbackslash=0  %overridden during \printindex.
  816.  
  817. \def\doind #1#2{%
  818. {\indexdummies % Must do this here, since \bf, etc expand at this stage
  819. \count10=\lastpenalty %
  820. \escapechar=`\\%
  821. {\let\folio=0% Expand all macros now EXCEPT \folio
  822. \def\rawbackslashxx{\indexbackslash}% \indexbackslash isn't defined now
  823. % so it will be output as is; and it will print as backslash in the indx.
  824. \edef\temp{%
  825. \write \csname#1indfile\endcsname{%
  826. \realbackslash entry {#2}{\folio}{#2}}}%
  827. \temp }%
  828. \penalty\count10}}
  829.  
  830. \def\dosubind #1#2#3{%
  831. {\indexdummies % Must do this here, since \bf, etc expand at this stage
  832. \count10=\lastpenalty %
  833. \escapechar=`\\%
  834. {\let\folio=0%
  835. \def\rawbackslashxx{\indexbackslash}%
  836. \edef\temp{%
  837. \write \csname#1indfile\endcsname{%
  838. \realbackslash entry {#2 #3}{\folio}{#2}{#3}}}%
  839. \temp }%
  840. \penalty\count10}}
  841.  
  842. % The index entry written in the file actually looks like
  843. %  \entry {sortstring}{page}{topic}
  844. % or
  845. %  \entry {sortstring}{page}{topic}{subtopic}
  846. % The texindex program reads in these files and writes files
  847. % containing these kinds of lines:
  848. %  \initial {c}
  849. %     before the first topic whose initial is c
  850. %  \entry {topic}{pagelist}
  851. %     for a topic that is used without subtopics
  852. %  \primary {topic}
  853. %     for the beginning of a topic that is used with subtopics
  854. %  \secondary {subtopic}{pagelist}
  855. %     for each subtopic.
  856.  
  857. % Define the user-accessible indexing commands 
  858. % @findex, @vindex, @kindex, @cindex.
  859.  
  860. \def\findex {\fnindex}
  861. \def\kindex {\kyindex}
  862. \def\cindex {\cpindex}
  863. \def\vindex {\vrindex}
  864. \def\tindex {\tpindex}
  865. \def\pindex {\pgindex}
  866.  
  867. \def\cindexsub {\begingroup\obeylines\cindexsub}
  868. {\obeylines %
  869. \gdef\cindexsub "#1" #2^^M{\endgroup %
  870. \dosubind{cp}{#2}{#1}}}
  871.  
  872. % Define the macros used in formatting output of the sorted index material.
  873.  
  874. % This is what you call to cause a particular index to get printed.
  875. % Write
  876. % @unnumbered Function Index
  877. % @printindex fn
  878.  
  879. \def\printindex{\parsearg\doprintindex}
  880.  
  881. \def\doprintindex#1{\tex %
  882. \catcode`\%=\other\catcode`\&=\other\catcode`\#=\other
  883. \catcode`\$=\other\catcode`\_=\other
  884. \catcode`\~=\other
  885. \def\indexbackslash{\rawbackslashxx}
  886. \indexfonts\rm \tolerance=9500 \advance\baselineskip -1pt
  887. \begindoublecolumns
  888. \openin 1 \jobname.#1s
  889. \ifeof 1 \else \closein 1 \input \jobname.#1s
  890. \fi
  891. \enddoublecolumns
  892. \Etex}
  893.  
  894. % These macros are used by the sorted index file itself.
  895. % Change them to control the appearance of the index.
  896.  
  897. % Same as \bigskipamount except no shrink.
  898. % \balancecolumns gets confused if there is any shrink.
  899. \newskip\initialskipamount \initialskipamount 12pt plus4pt
  900.  
  901. \outer\def\initial #1{%
  902. {\let\tentt=\sectt \let\sf=\sectt
  903. \ifdim\lastskip<\initialskipamount
  904. \removelastskip \penalty-200 \vskip \initialskipamount\fi
  905. \line{\secbf#1\hfill}\kern 2pt\penalty3000}}
  906.  
  907. \outer\def\entry #1#2{
  908. {\parfillskip=0in \parskip=0in \parindent=0in
  909. \hangindent=1in \hangafter=1%
  910. \noindent\hbox{#1}\leaders\Dotsbox\hskip 0pt plus 1filll #2\par
  911. }}
  912.  
  913. \def\primary #1{\line{#1\hfil}}
  914.  
  915. \newskip\secondaryindent \secondaryindent=0.5cm
  916.  
  917. \def\secondary #1#2{
  918. {\parfillskip=0in \parskip=0in
  919. \hangindent =1in \hangafter=1
  920. \noindent\hskip\secondaryindent\hbox{#1}\leaders\Dotsbox\hskip 0pt plus 1filll#2\par
  921. }}
  922.  
  923. %% Define two-column mode, which is used in indexes.
  924. %% Adapted from the TeXBook, page 416
  925. \catcode `\@=11
  926.  
  927. \newbox\partialpage
  928.  
  929. \newdimen\doublecolumnhsize  \doublecolumnhsize = 3.11in
  930. \newdimen\doublecolumnvsize  \doublecolumnvsize = 19.1in
  931.  
  932. \def\begindoublecolumns{\begingroup
  933.   \output={\global\setbox\partialpage=\vbox{\unvbox255\kern -\topskip \kern \baselineskip}}\eject
  934.   \output={\doublecolumnout} \hsize=\doublecolumnhsize \vsize=\doublecolumnvsize}
  935. \def\enddoublecolumns{\output={\balancecolumns}\eject
  936.   \endgroup \pagegoal=\vsize}
  937.  
  938. \def\doublecolumnout{\splittopskip=\topskip \splitmaxdepth=\maxdepth
  939.   \dimen@=\pageheight \advance\dimen@ by-\ht\partialpage
  940.   \setbox0=\vsplit255 to\dimen@ \setbox2=\vsplit255 to\dimen@
  941.   \onepageout\pagesofar \unvbox255 \penalty\outputpenalty}
  942. \def\pagesofar{\unvbox\partialpage %
  943.   \hsize=\doublecolumnhsize % have to restore this since output routine
  944. %          changes it to set cropmarks (P. A. MacKay, 12 Nov. 1986)
  945.   \wd0=\hsize \wd2=\hsize \hbox to\pagewidth{\box0\hfil\box2}}
  946. \def\balancecolumns{\setbox0=\vbox{\unvbox255} \dimen@=\ht0
  947.   \advance\dimen@ by\topskip \advance\dimen@ by-\baselineskip
  948.   \divide\dimen@ by2 \splittopskip=\topskip
  949.   {\vbadness=10000 \loop \global\setbox3=\copy0
  950.     \global\setbox1=\vsplit3 to\dimen@
  951.     \ifdim\ht3>\dimen@ \global\advance\dimen@ by1pt \repeat}
  952.   \setbox0=\vbox to\dimen@{\unvbox1}  \setbox2=\vbox to\dimen@{\unvbox3}
  953.   \pagesofar}
  954.  
  955. \catcode `\@=\other
  956. \message{sectioning,}
  957. % Define chapters, sections, etc.
  958.  
  959. \newcount \chapno
  960. \newcount \secno
  961. \newcount \subsecno
  962. \newcount \subsubsecno
  963.  
  964. % This counter is funny since it counts through charcodes of letters A, B, ...
  965. \newcount \appendixno  \appendixno = `\@
  966. \def\appendixletter{\char\the\appendixno}
  967.  
  968. \newwrite \contentsfile
  969. \openout \contentsfile = \jobname.toc
  970.  
  971. % Each @chapter defines this as the name of the chapter.
  972. % page headings and footings can use it.  @section does likewise
  973.  
  974. \def\thischapter{} \def\thissection{}
  975. \def\seccheck#1{\if \pageno<0 %
  976. \errmessage{@#1 not allowed after generating table of contents}\fi
  977. %
  978. }
  979.  
  980. \outer\def\chapter{\parsearg\chapterzzz}
  981. \def\chapterzzz #1{\seccheck{chapter}%
  982. \secno=0 \subsecno=0 \subsubsecno=0 \global\advance \chapno by 1 \message{Chapter \the\chapno}%
  983. \chapmacro {#1}{\the\chapno}%
  984. \gdef\thissection{#1}\gdef\thischapter{#1}%
  985. \let\rawbackslash=\relax%
  986. \edef\temp{{\realbackslash chapentry {#1}{\the\chapno}{\noexpand\folio}}}%
  987. \escapechar=`\\%
  988. \write \contentsfile \temp  %
  989. \donoderef %
  990. }
  991.  
  992. \outer\def\appendix{\parsearg\appendixzzz}
  993. \def\appendixzzz #1{\seccheck{appendix}%
  994. \secno=0 \subsecno=0 \subsubsecno=0 \global\advance \appendixno by 1 \message{Appendix \appendixletter}%
  995. \chapmacro {#1}{Appendix \appendixletter}%
  996. \gdef\thischapter{#1}\gdef\thissection{#1}%
  997. \edef\temp{{\realbackslash chapentry {#1}{Appendix \appendixletter}{\noexpand\folio}}}%
  998. \escapechar=`\\%
  999. \write \contentsfile \temp  %
  1000. \unnumbnoderef %
  1001. }
  1002.  
  1003. \outer\def\unnumbered{\parsearg\unnumberedzzz}
  1004. \def\unnumberedzzz #1{\seccheck{unnumbered}%
  1005. \secno=0 \subsecno=0 \subsubsecno=0 \message{(#1)}
  1006. \unnumbchapmacro {#1}%
  1007. \gdef\thischapter{#1}\gdef\thissection{#1}%
  1008. \edef\temp{{\realbackslash unnumbchapentry {#1}{\noexpand\folio}}}%
  1009. \escapechar=`\\%
  1010. \write \contentsfile \temp  %
  1011. \unnumbnoderef %
  1012. }
  1013.  
  1014. \outer\def\section{\parsearg\sectionzzz}
  1015. \def\sectionzzz #1{\seccheck{section}%
  1016. \subsecno=0 \subsubsecno=0 \global\advance \secno by 1 %
  1017. \gdef\thissection{#1}\secheading {#1}{\the\chapno}{\the\secno}%
  1018. \edef\temp{{\realbackslash secentry %
  1019. {#1}{\the\chapno}{\the\secno}{\noexpand\folio}}}%
  1020. \escapechar=`\\%
  1021. \write \contentsfile \temp %
  1022. \donoderef %
  1023. \penalty 10000 %
  1024. }
  1025.  
  1026. \outer\def\appendixsection{\parsearg\appendixsectionzzz}
  1027. \outer\def\appendixsec{\parsearg\appendixsectionzzz}
  1028. \def\appendixsectionzzz #1{\seccheck{appendixsection}%
  1029. \subsecno=0 \subsubsecno=0 \global\advance \secno by 1 %
  1030. \gdef\thissection{#1}\secheading {#1}{\appendixletter}{\the\secno}%
  1031. \edef\temp{{\realbackslash secentry %
  1032. {#1}{\appendixletter}{\the\secno}{\noexpand\folio}}}%
  1033. \escapechar=`\\%
  1034. \write \contentsfile \temp %
  1035. \unnumbnoderef %
  1036. \penalty 10000 %
  1037. }
  1038.  
  1039. \outer\def\unnumberedsec{\parsearg\unnumberedseczzz}
  1040. \def\unnumberedseczzz #1{\seccheck{unnumberedsec}%
  1041. \plainsecheading {#1}\gdef\thissection{#1}%
  1042. \edef\temp{{\realbackslash unnumbsecentry %
  1043. {#1}{\noexpand\folio}}}%
  1044. \escapechar=`\\%
  1045. \write \contentsfile \temp %
  1046. \unnumbnoderef %
  1047. \penalty 10000 %
  1048. }
  1049.  
  1050. \outer\def\subsection{\parsearg\subsectionzzz}
  1051. \def\subsectionzzz #1{\seccheck{subsection}%
  1052. \gdef\thissection{#1}\subsubsecno=0 \global\advance \subsecno by 1 %
  1053. \subsecheading {#1}{\the\chapno}{\the\secno}{\the\subsecno}%
  1054. \edef\temp{{\realbackslash subsecentry %
  1055. {#1}{\the\chapno}{\the\secno}{\the\subsecno}{\noexpand\folio}}}%
  1056. \escapechar=`\\%
  1057. \write \contentsfile \temp %
  1058. \donoderef %
  1059. \penalty 10000 %
  1060. }
  1061.  
  1062. \outer\def\appendixsubsec{\parsearg\appendixsubseczzz}
  1063. \def\appendixsubseczzz #1{\seccheck{appendixsubsec}%
  1064. \gdef\thissection{#1}\subsubsecno=0 \global\advance \subsecno by 1 %
  1065. \subsecheading {#1}{\appendixletter}{\the\secno}{\the\subsecno}%
  1066. \edef\temp{{\realbackslash subsecentry %
  1067. {#1}{\appendixletter}{\the\secno}{\the\subsecno}{\noexpand\folio}}}%
  1068. \escapechar=`\\%
  1069. \write \contentsfile \temp %
  1070. \unnumbnoderef %
  1071. \penalty 10000 %
  1072. }
  1073.  
  1074. \outer\def\unnumberedsubsec{\parsearg\unnumberedsubseczzz}
  1075. \def\unnumberedsubseczzz #1{\seccheck{unnumberedsubsec}%
  1076. \plainsecheading {#1}\gdef\thissection{#1}%
  1077. \edef\temp{{\realbackslash unnumbsubsecentry %
  1078. {#1}{\noexpand\folio}}}%
  1079. \escapechar=`\\%
  1080. \write \contentsfile \temp %
  1081. \unnumbnoderef %
  1082. \penalty 10000 %
  1083. }
  1084.  
  1085. \outer\def\subsubsection{\parsearg\subsubsectionzzz}
  1086. \def\subsubsectionzzz #1{\seccheck{subsubsection}%
  1087. \gdef\thissection{#1}\global\advance \subsubsecno by 1 %
  1088. \subsubsecheading {#1}{\the\chapno}{\the\secno}{\the\subsecno}{\the\subsubsecno}%
  1089. \edef\temp{{\realbackslash subsubsecentry %
  1090. {#1}{\the\chapno}{\the\secno}{\the\subsecno}{\the\subsubsecno}{\noexpand\folio}}}%\
  1091. \escapechar=`\\%
  1092. \write \contentsfile \temp %
  1093. \donoderef %
  1094. \penalty 10000 %
  1095. }
  1096.  
  1097. \outer\def\appendixsubsubsec{\parsearg\appendixsubsubseczzz}
  1098. \def\appendixsubsubseczzz #1{\seccheck{appendixsubsubsec}%
  1099. \gdef\thissection{#1}\global\advance \subsubsecno by 1 %
  1100. \subsubsecheading {#1}{\appendixletter}{\the\secno}{\the\subsecno}{\the\subsubsecno}%
  1101. \edef\temp{{\realbackslash subsubsecentry %
  1102. {#1}{\appendixletter}{\the\secno}{\the\subsecno}{\the\subsubsecno}{\noexpand\folio}}}%\
  1103. \escapechar=`\\%
  1104. \write \contentsfile \temp %
  1105. \unnumbnoderef %
  1106. \penalty 10000 %
  1107. }
  1108.  
  1109. \outer\def\unnumberedsubsubsec{\parsearg\unnumberedsubsubseczzz}
  1110. \def\unnumberedsubsubseczzz #1{\seccheck{unnumberedsubsubsec}%
  1111. \plainsecheading {#1}\gdef\thissection{#1}%
  1112. \edef\temp{{\realbackslash unnumbsubsubsecentry %
  1113. {#1}{\noexpand\folio}}}%
  1114. \escapechar=`\\%
  1115. \write \contentsfile \temp %
  1116. \unnumbnoderef %
  1117. \penalty 10000 %
  1118. }
  1119.  
  1120. % Define @majorheading, @heading and @subheading
  1121.  
  1122. \outer\def\majorheading #1{%
  1123. {\advance\chapheadingskip by 10pt \chapbreak }%
  1124. {\chapfonts \line{\chaprm #1\hfill}}\bigskip \par\penalty 200}
  1125.  
  1126. \outer\def\chapheading #1{\chapbreak %
  1127. {\chapfonts \line{\chaprm #1\hfill}}\bigskip \par\penalty 200}
  1128.  
  1129. \let\heading=\secheadingi
  1130. \let\subheading=\subsecheadingi
  1131. \let\subsubheading=\subsubsecheadingi
  1132.  
  1133. % These macros generate a chapter, section, etc. heading only
  1134. % (including whitespace, linebreaking, etc. around it),
  1135. % given all the information in convenient, parsed form.
  1136.  
  1137. %%% Args are the skip and penalty (usually negative)
  1138. \def\dobreak#1#2{\par\ifdim\lastskip<#1\removelastskip\penalty#2\vskip#1\fi}
  1139.  
  1140. \def\setchapterstyle #1 {\csname CHAPF#1\endcsname}
  1141.  
  1142. %%% Define plain chapter starts, and page on/off switching for it
  1143. % Parameter controlling skip before chapter headings (if needed)
  1144.  
  1145. \newskip \chapheadingskip \chapheadingskip = 30pt plus 8pt minus 4pt
  1146.  
  1147. \def\chapbreak{\dobreak \chapheadingskip {-4000}}
  1148. \def\chappager{\par\vfill\supereject}
  1149. \def\chapoddpage{\chappager \ifodd\pageno \else \hbox to 0pt{} \chappager\fi}
  1150.  
  1151. \def\setchapternewpage #1 {\csname CHAPPAG#1\endcsname}
  1152.  
  1153. \def\CHAPPAGoff{
  1154. \global\let\pchapsepmacro=\chapbreak
  1155. \global\let\pagealignmacro=\chappager}
  1156.  
  1157. \def\CHAPPAGon{
  1158. \global\let\pchapsepmacro=\chappager
  1159. \global\let\pagealignmacro=\chappager}
  1160.  
  1161. \def\CHAPPAGodd{
  1162. \global\let\pchapsepmacro=\chapoddpage
  1163. \global\let\pagealignmacro=\chapoddpage}
  1164.  
  1165. \CHAPPAGon
  1166.  
  1167. \def\CHAPFplain{
  1168. \global\let\chapmacro=\chfplain
  1169. \global\let\unnumbchapmacro=\unnchfplain}
  1170.  
  1171. \def\chfplain #1#2{%
  1172. \pchapsepmacro %
  1173. {\chapfonts \line{\chaprm #2.\enspace #1\hfill}}\bigskip \par\penalty 5000 %
  1174. }
  1175.  
  1176. \def\unnchfplain #1{%
  1177. \pchapsepmacro %
  1178. {\chapfonts \line{\chaprm #1\hfill}}\bigskip \par\penalty 10000 %
  1179. }
  1180. \CHAPFplain % The default
  1181.  
  1182. \def\unnchfopen #1{%
  1183. \chapoddpage {\chapfonts \line{\chaprm #1\hfill}}\bigskip \par\penalty 10000 %
  1184. }
  1185.  
  1186. \def\chfopen #1#2{\chapoddpage {\chapfonts
  1187. \vbox to 3in{\vfil \hbox to\hsize{\hfil #2} \hbox to\hsize{\hfil #1} \vfil}}%
  1188. \par\penalty 5000 %
  1189. }
  1190.  
  1191. \def\CHAPFopen{
  1192. \global\let\chapmacro=\chfopen
  1193. \global\let\unnumbchapmacro=\unnchfopen}
  1194.  
  1195. % Parameter controlling skip before section headings.
  1196.  
  1197. \newskip \subsecheadingskip  \subsecheadingskip = 17pt plus 8pt minus 4pt
  1198. \def\subsecheadingbreak{\dobreak \subsecheadingskip {-500}}
  1199.  
  1200. \newskip \secheadingskip  \secheadingskip = 21pt plus 8pt minus 4pt
  1201. \def\secheadingbreak{\dobreak \secheadingskip {-1000}}
  1202.  
  1203. \def\secheading #1#2#3{\secheadingi {#2.#3\enspace #1}}
  1204. \def\plainsecheading #1{\secheadingi {#1}}
  1205. \def\secheadingi #1{{\advance \secheadingskip by \parskip %
  1206. \secheadingbreak}%
  1207. {\secfonts \line{\secrm #1\hfill}}%
  1208. \ifdim \parskip<10pt \kern 10pt\kern -\parskip\fi \penalty 10000 }
  1209.  
  1210. \def\subsecheading #1#2#3#4{{\advance \subsecheadingskip by \parskip %
  1211. \subsecheadingbreak}%
  1212. {\secfonts \line{\secrm#2.#3.#4\enspace #1\hfill}}%
  1213. \ifdim \parskip<10pt \kern 10pt\kern -\parskip\fi \penalty 10000 }
  1214.  
  1215. \def\subsubsecfonts{\subsecfonts} % Maybe this should change
  1216.  
  1217. \def\subsubsecheading #1#2#3#4#5{{\advance \subsecheadingskip by \parskip %
  1218. \subsecheadingbreak}%
  1219. {\secfonts \line{\secrm#2.#3.#4.#5\enspace #1\hfill}}%
  1220. \ifdim \parskip<10pt \kern 10pt\kern -\parskip\fi \penalty 10000}
  1221.  
  1222. \message{toc printing,}
  1223.  
  1224. \def\Dotsbox{\hbox to 1em{\hss.\hss}} % Used by index macros
  1225.  
  1226. \def\finishcontents{%
  1227. \ifnum\pageno>0 %
  1228. \pagealignmacro %
  1229. \immediate\closeout \contentsfile%
  1230. \pageno=-1        % Request roman numbered pages
  1231. \fi}
  1232.  
  1233. \outer\def\contents{%
  1234. \finishcontents %
  1235. \unnumbchapmacro{Table of Contents}
  1236. \def\thischapter{Table of Contents}
  1237. {\catcode`\\=0
  1238. \catcode`\{=1        % Set up to handle contents files properly
  1239. \catcode`\}=2
  1240. \catcode`\@=11
  1241. \input \jobname.toc
  1242. }
  1243. \vfill \eject}
  1244.  
  1245. \outer\def\summarycontents{%
  1246. \finishcontents %
  1247. \unnumbchapmacro{Summary Table of Contents}
  1248. \def\thischapter{Summary Table of Contents}
  1249. {\catcode`\\=0
  1250. \catcode`\{=1        % Set up to handle contents files properly
  1251. \catcode`\}=2
  1252. \catcode`\@=11
  1253. \def\smallbreak{}
  1254. \def\secentry ##1##2##3##4{}
  1255. \def\subsecentry ##1##2##3##4##5{}
  1256. \def\subsubsecentry ##1##2##3##4##5##6{}
  1257. \def\unnumbsecentry ##1##2{}
  1258. \def\unnumbsubsecentry ##1##2{}
  1259. \def\unnumbsubsubsecentry ##1##2{}
  1260. \let\medbreak=\smallbreak
  1261. \input \jobname.toc
  1262. }
  1263. \vfill \eject}
  1264.  
  1265. \outer\def\bye{\pagealignmacro\tracingstats=1\ptexend}
  1266.  
  1267. % These macros generate individual entries in the table of contents
  1268. % The first argument is the chapter or section name.
  1269. % The last argument is the page number.
  1270. % The arguments in between are the chapter number, section number, ...
  1271.  
  1272. \def\chapentry #1#2#3{%
  1273. \medbreak
  1274. \line{#2.\space#1\leaders\hbox to 1em{\hss.\hss}\hfill #3}
  1275. }
  1276.  
  1277. \def\unnumbchapentry #1#2{%
  1278. \medbreak
  1279. \line{#1\leaders\Dotsbox\hfill #2}
  1280. }
  1281.  
  1282. \def\secentry #1#2#3#4{%
  1283. \line{\enspace\enspace#2.#3\space#1\leaders\Dotsbox\hfill#4}
  1284. }
  1285.  
  1286. \def\unnumbsecentry #1#2{%
  1287. \line{\enspace\enspace#1\leaders\Dotsbox\hfill #2}
  1288. }
  1289.  
  1290. \def\subsecentry #1#2#3#4#5{%
  1291. \line{\enspace\enspace\enspace\enspace
  1292. #2.#3.#4\space#1\leaders\Dotsbox\hfill #5}
  1293. }
  1294.  
  1295. \def\unnumbsubsecentry #1#2{%
  1296. \line{\enspace\enspace\enspace\enspace#1\leaders\Dotsbox\hfill #2}
  1297. }
  1298.  
  1299. \def\subsubsecentry #1#2#3#4#5#6{%
  1300. \line{\enspace\enspace\enspace\enspace\enspace\enspace
  1301. #2.#3.#4.#5\space#1\leaders\Dotsbox\hfill #6}
  1302. }
  1303.  
  1304. \def\unnumbsubsubsecentry #1#2{%
  1305. \line{\enspace\enspace\enspace\enspace\enspace\enspace#1\leaders\Dotsbox\hfill #2}
  1306. }
  1307.  
  1308. \message{environments,}
  1309.  
  1310. % @tex ... @end tex    escapes into raw Tex temporarily.
  1311. % One exception: @ is still an escape character, so that @end tex works.
  1312. % But \@ or @@ will get a plain tex @ character.
  1313.  
  1314. \def\tex{\begingroup
  1315. \catcode `\\=0 \catcode `\{=1 \catcode `\}=2
  1316. \catcode `\$=3 \catcode `\&=4 \catcode `\#=6
  1317. \catcode `\^=7 \catcode `\_=8 \catcode `\~=13 \let~=\tie
  1318. \catcode `\%=14
  1319. \catcode`\"=12
  1320. \catcode`\|=12
  1321. \catcode`\<=12
  1322. \catcode`\>=12
  1323. \escapechar=`\\
  1324. %
  1325. \let\{=\ptexlbrace
  1326. \let\}=\ptexrbrace
  1327. \let\.=\ptexdot
  1328. \let\*=\ptexstar
  1329. \def\@={@}%
  1330. \let\bullet=\ptexbullet
  1331. \let\b=\ptexb \let\c=\ptexc \let\i=\ptexi \let\t=\ptext \let\l=\ptexl
  1332. \let\L=\ptexL
  1333. %
  1334. \let\Etex=\endgroup}
  1335.  
  1336. % Define @lisp ... @endlisp.
  1337. % @lisp does a \begingroup so it can rebind things,
  1338. % including the definition of @endlisp (which normally is erroneous).
  1339.  
  1340. % Amount to narrow the margins by for @lisp.
  1341. \newskip\lispnarrowing \lispnarrowing=0.4in
  1342.  
  1343. % This is the definition that ^M gets inside @lisp
  1344. % phr: changed space to \null, to avoid overfull hbox problems.
  1345. {\obeyspaces%
  1346. \gdef\lisppar{\null\endgraf}}
  1347.  
  1348. % Cause \obeyspaces to make each Space cause a word-separation
  1349. % rather than the default which is that it acts punctuation.
  1350. % This is because space in tt font looks funny.
  1351. {\obeyspaces %
  1352. \gdef\sepspaces{\def {\ }}}
  1353.  
  1354. \newskip\aboveenvskipamount \aboveenvskipamount= 0pt
  1355. \def\aboveenvbreak{{\advance\aboveenvskipamount by \parskip
  1356. \endgraf \ifdim\lastskip<\aboveenvskipamount
  1357. \removelastskip \penalty-50 \vskip\aboveenvskipamount \fi}}
  1358.  
  1359. \def\afterenvbreak{\endgraf \ifdim\lastskip<\aboveenvskipamount
  1360. \removelastskip \penalty-50 \vskip\aboveenvskipamount \fi}
  1361.  
  1362. \def\lisp{\aboveenvbreak\begingroup\inENV %This group ends at the end of the @lisp body
  1363. \hfuzz=12truept % Don't be fussy
  1364. % Make spaces be word-separators rather than space tokens.
  1365. \sepspaces %
  1366. % Single space lines
  1367. \singlespace %
  1368. % The following causes blank lines not to be ignored
  1369. % by adding a space to the end of each line.
  1370. \let\par=\lisppar
  1371. \def\Elisp{\endgroup\afterenvbreak}%
  1372. \parskip=0pt \advance \rightskip by \lispnarrowing 
  1373. \advance \leftskip by \lispnarrowing
  1374. \parindent=0pt
  1375. \let\exdent=\internalexdent
  1376. \obeyspaces \obeylines \tt \rawbackslash
  1377. \def\next##1{}\next}
  1378.  
  1379.  
  1380. \let\example=\lisp
  1381. \def\Eexample{\Elisp}
  1382.  
  1383. \let\smallexample=\lisp
  1384. \def\Esmallexample{\Elisp}
  1385.  
  1386. % Macro for 9 pt. examples, necessary to print with 5" lines.
  1387. % From Pavel@xerox.  This is not really used unless the
  1388. % @smallbook command is given.
  1389.  
  1390. \def\smalllispx{\aboveenvbreak\begingroup\inENV
  1391. %            This group ends at the end of the @lisp body
  1392. \hfuzz=12truept % Don't be fussy
  1393. % Make spaces be word-separators rather than space tokens.
  1394. \sepspaces %
  1395. % Single space lines
  1396. \singlespace %
  1397. % The following causes blank lines not to be ignored
  1398. % by adding a space to the end of each line.
  1399. \let\par=\lisppar
  1400. \def\Esmalllisp{\endgroup\afterenvbreak}%
  1401. \parskip=0pt \advance \rightskip by \lispnarrowing 
  1402. \advance \leftskip by \lispnarrowing
  1403. \parindent=0pt
  1404. \let\exdent=\internalexdent
  1405. \obeyspaces \obeylines \ninett \rawbackslash
  1406. \def\next##1{}\next}
  1407.  
  1408. % This is @display; same as @lisp except use roman font.
  1409.  
  1410. \def\display{\begingroup\inENV %This group ends at the end of the @display body
  1411. \aboveenvbreak
  1412. % Make spaces be word-separators rather than space tokens.
  1413. \sepspaces %
  1414. % Single space lines
  1415. \singlespace %
  1416. % The following causes blank lines not to be ignored
  1417. % by adding a space to the end of each line.
  1418. \let\par=\lisppar
  1419. \def\Edisplay{\endgroup\afterenvbreak}%
  1420. \parskip=0pt \advance \rightskip by \lispnarrowing 
  1421. \advance \leftskip by \lispnarrowing
  1422. \parindent=0pt
  1423. \let\exdent=\internalexdent
  1424. \obeyspaces \obeylines
  1425. \def\next##1{}\next}
  1426.  
  1427. % This is @format; same as @lisp except use roman font and don't narrow margins
  1428.  
  1429. \def\format{\begingroup\inENV %This group ends at the end of the @format body
  1430. \aboveenvbreak
  1431. % Make spaces be word-separators rather than space tokens.
  1432. \sepspaces %
  1433. \singlespace %
  1434. % The following causes blank lines not to be ignored
  1435. % by adding a space to the end of each line.
  1436. \let\par=\lisppar
  1437. \def\Eformat{\endgroup\afterenvbreak}
  1438. \parskip=0pt \parindent=0pt
  1439. \obeyspaces \obeylines
  1440. \def\next##1{}\next}
  1441.  
  1442. % @flushleft and @flushright
  1443.  
  1444. \def\flushleft{\begingroup\inENV %This group ends at the end of the @format body
  1445. \aboveenvbreak
  1446. % Make spaces be word-separators rather than space tokens.
  1447. \sepspaces %
  1448. % The following causes blank lines not to be ignored
  1449. % by adding a space to the end of each line.
  1450. % This also causes @ to work when the directive name
  1451. % is terminated by end of line.
  1452. \let\par=\lisppar
  1453. \def\Eflushleft{\endgroup\afterenvbreak}%
  1454. \parskip=0pt \parindent=0pt
  1455. \obeyspaces \obeylines
  1456. \def\next##1{}\next}
  1457.  
  1458. \def\flushright{\begingroup\inENV %This group ends at the end of the @format body
  1459. \aboveenvbreak
  1460. % Make spaces be word-separators rather than space tokens.
  1461. \sepspaces %
  1462. % The following causes blank lines not to be ignored
  1463. % by adding a space to the end of each line.
  1464. % This also causes @ to work when the directive name
  1465. % is terminated by end of line.
  1466. \let\par=\lisppar
  1467. \def\Eflushright{\endgroup\afterenvbreak}%
  1468. \parskip=0pt \parindent=0pt
  1469. \advance \leftskip by 0pt plus 1fill
  1470. \obeyspaces \obeylines
  1471. \def\next##1{}\next}
  1472.  
  1473. % @quotation - narrow the margins.
  1474.  
  1475. \def\quotation{\begingroup\inENV %This group ends at the end of the @quotation body
  1476. {\parskip=0pt  % because we will skip by \parskip too, later
  1477. \aboveenvbreak}%
  1478. \singlespace
  1479. \parindent=0pt
  1480. \def\Equotation{\par\endgroup\afterenvbreak}%
  1481. \advance \rightskip by \lispnarrowing 
  1482. \advance \leftskip by \lispnarrowing}
  1483.  
  1484. \message{defuns,}
  1485. % Define formatter for defuns
  1486. % First, allow user to change definition object font (\df) internally
  1487. \def\setdeffont #1 {\csname DEF#1\endcsname}
  1488.  
  1489. \newskip\defbodyindent \defbodyindent=36pt
  1490. \newskip\defargsindent \defargsindent=50pt
  1491. \newskip\deftypemargin \deftypemargin=12pt
  1492. \newskip\deflastargmargin \deflastargmargin=18pt
  1493.  
  1494. \newcount\parencount
  1495. % define \functionparens, which makes ( and ) and & do special things.
  1496. % \functionparens affects the group it is contained in.
  1497. \def\activeparens{%
  1498. \catcode`\(=\active \catcode`\)=\active \catcode`\&=\active
  1499. \catcode`\[=\active \catcode`\]=\active}
  1500. {\activeparens % Now, smart parens don't turn on until &foo (see \amprm)
  1501. \gdef\functionparens{\boldbrax\let&=\amprm\parencount=0 }
  1502. \gdef\boldbrax{\let(=\opnr\let)=\clnr\let[=\lbrb\let]=\rbrb}
  1503.  
  1504. % Definitions of (, ) and & used in args for functions.
  1505. % This is the definition of ( outside of all parentheses.
  1506. \gdef\oprm#1 {{\rm\char`\(}#1 \bf \let(=\opnested %
  1507. \global\advance\parencount by 1 }
  1508. %
  1509. % This is the definition of ( when already inside a level of parens.
  1510. \gdef\opnested{\char`\(\global\advance\parencount by 1 }
  1511. %
  1512. \gdef\clrm{% Print a paren in roman if it is taking us back to depth of 0.
  1513. % also in that case restore the outer-level definition of (.
  1514. \ifnum \parencount=1 {\rm \char `\)}\sl \let(=\oprm \else \char `\) \fi
  1515. \global\advance \parencount by -1 }
  1516. % If we encounter &foo, then turn on ()-hacking afterwards
  1517. \gdef\amprm#1 {{\rm\}\let(=\oprm \let)=\clrm\ }
  1518. %
  1519. \gdef\normalparens{\boldbrax\let&=\ampnr}
  1520. } % End of definition inside \activeparens
  1521. %% These parens (in \boldbrax) actually are a little bolder than the
  1522. %% contained text.  This is especially needed for [ and ]
  1523. \def\opnr{{\sf\char`\(}} \def\clnr{{\sf\char`\)}} \def\ampnr{\&}
  1524. \def\lbrb{{\tt\char`\[}} \def\rbrb{{\tt\char`\]}}
  1525.  
  1526. % First, defname, which formats the header line itself.
  1527. % #1 should be the function name.
  1528. % #2 should be the type of definition, such as "Function".
  1529.  
  1530. \def\defname #1#2{%
  1531. \leftskip = 0in  %
  1532. \noindent        %
  1533. \setbox0=\hbox{\hskip \deflastargmargin{\rm #2}\hskip \deftypemargin}%
  1534. \dimen0=\hsize \advance \dimen0 by -\wd0 % compute size for first line
  1535. \dimen1=\hsize \advance \dimen1 by -\defargsindent %size for continuations
  1536. \parshape 2 0in \dimen0 \defargsindent \dimen1     %
  1537. % Now output arg 2 ("Function" or some such)
  1538. % ending at \deftypemargin from the right margin,
  1539. % but stuck inside a box of width 0 so it does not interfere with linebreaking
  1540. \rlap{\rightline{{\rm #2}\hskip \deftypemargin}}%
  1541. \tolerance=10000 \hbadness=10000    % Make all lines underfull and no complaints
  1542. {\df #1}\enskip        % Generate function name
  1543. }
  1544.  
  1545. % Actually process the body of a definition
  1546. % #1 should be the terminating control sequence, such as \Edefun.
  1547. % #2 should be the "another name" control sequence, such as \defunx.
  1548. % #3 should be the control sequence that actually processes the header,
  1549. %    such as \defunheader.
  1550.  
  1551. \def\defparsebody #1#2#3{\begingroup\inENV% Environment for definitionbody
  1552. \medbreak %
  1553. % Define the end token that this defining construct specifies
  1554. % so that it will exit this group.
  1555. \def#1{\endgraf\endgroup\medbreak}%
  1556. \def#2{\begingroup\obeylines\activeparens\spacesplit#3}%
  1557. \parindent=0in \leftskip=\defbodyindent %
  1558. \begingroup\obeylines\activeparens\spacesplit#3}
  1559.  
  1560. \def\defmethparsebody #1#2#3#4 {\begingroup\inENV %
  1561. \medbreak %
  1562. % Define the end token that this defining construct specifies
  1563. % so that it will exit this group.
  1564. \def#1{\endgraf\endgroup\medbreak}%
  1565. \def#2##1 {\begingroup\obeylines\activeparens\spacesplit{#3{##1}}}%
  1566. \parindent=0in \leftskip=\defbodyindent %
  1567. \begingroup\obeylines\activeparens\spacesplit{#3{#4}}}
  1568.  
  1569. % Split up #2 at the first space token.
  1570. % call #1 with two arguments:
  1571. %  the first is all of #2 before the space token,
  1572. %  the second is all of #2 after that space token.
  1573. % If #2 contains no space token, all of it is passed as the first arg
  1574. % and the second is passed as empty.
  1575.  
  1576. {\obeylines
  1577. \gdef\spacesplit#1#2^^M{\endgroup\spacesplitfoo{#1}#2 \relax\spacesplitfoo}%
  1578. \long\gdef\spacesplitfoo#1#2 #3#4\spacesplitfoo{%
  1579. \ifx\relax #3%
  1580. #1{#2}{}\else #1{#2}{#3#4}\fi}}
  1581.  
  1582. % So much for the things common to all kinds of definitions.
  1583.  
  1584. % Define @defun.
  1585.  
  1586. % First, define the processing that is wanted for arguments of \defun
  1587. % Use this to expand the args and terminate the paragraph they make up
  1588.  
  1589. \def\defunargs #1{\functionparens \sl #1%
  1590. \ifnum\parencount=0 \else \errmessage{unbalanced parens in @def arguments}\fi%
  1591. \interlinepenalty=10000
  1592. \endgraf\vskip -\parskip \penalty 10000}
  1593.  
  1594. % Do complete processing of one @defun or @defunx line already parsed.
  1595.  
  1596. % @deffn Command forward-char nchars
  1597.  
  1598. \def\deffn{\defmethparsebody\Edeffn\deffnx\deffnheader}
  1599.  
  1600. \def\deffnheader #1#2#3{\doind {fn}{#2}%
  1601. \begingroup\defname {#2}{#1}\defunargs{#3}\endgroup}
  1602.  
  1603. % @defun == @deffn Function
  1604.  
  1605. \def\defun{\defparsebody\Edefun\defunx\defunheader}
  1606.  
  1607. \def\defunheader #1#2{\doind {fn}{#1}% Make entry in function index
  1608. \begingroup\defname {#1}{Function}%
  1609. \defunargs {#2}\endgroup %
  1610. }
  1611.  
  1612. % @defmac == @deffn Macro
  1613.  
  1614. \def\defmac{\defparsebody\Edefmac\defmacx\defmacheader}
  1615.  
  1616. \def\defmacheader #1#2{\doind {fn}{#1}% Make entry in function index
  1617. \begingroup\defname {#1}{Macro}%
  1618. \defunargs {#2}\endgroup %
  1619. }
  1620.  
  1621. % @defspec == @deffn Special Form
  1622.  
  1623. \def\defspec{\defparsebody\Edefspec\defspecx\defspecheader}
  1624.  
  1625. \def\defspecheader #1#2{\doind {fn}{#1}% Make entry in function index
  1626. \begingroup\defname {#1}{Special form}%
  1627. \defunargs {#2}\endgroup %
  1628. }
  1629.  
  1630. % This definition is run if you use @defunx
  1631. % anywhere other than immediately after a @defun or @defunx.
  1632.  
  1633. \def\deffnx #1 {\errmessage{@deffnx in invalid context}}
  1634. \def\defunx #1 {\errmessage{@defunx in invalid context}}
  1635. \def\defmacx #1 {\errmessage{@defmacx in invalid context}}
  1636. \def\defspecx #1 {\errmessage{@defspecx in invalid context}}
  1637.  
  1638. % @defmethod, and so on
  1639.  
  1640. % @defop {Funny Method} foo-class frobnicate argument
  1641.  
  1642. \def\defop #1 {\def\defoptype{#1}%
  1643. \defmethparsebody\Edefop\defopx\defopheader}
  1644.  
  1645. \def\defopheader #1#2#3{\dosubind {fn}{#2}{on #1}% Make entry in function index
  1646. \begingroup\defname {#2}{\defoptype{} on #1}%
  1647. \defunargs {#3}\endgroup %
  1648. }
  1649.  
  1650. % @defmethod == @defop Method
  1651.  
  1652. \def\defmethod{\defmethparsebody\Edefmethod\defmethodx\defmethodheader}
  1653.  
  1654. \def\defmethodheader #1#2#3{\dosubind {fn}{#2}{on #1}% entry in function index
  1655. \begingroup\defname {#2}{Operation on #1}%
  1656. \defunargs {#3}\endgroup %
  1657. }
  1658.  
  1659. % @defcv {Class Option} foo-class foo-flag
  1660.  
  1661. \def\defcv #1 {\def\defcvtype{#1}%
  1662. \defmethparsebody\Edefcv\defcvx\defcvheader}
  1663.  
  1664. \def\defcvarheader #1#2#3{%
  1665. \dosubind {vr}{#2}{of #1}% Make entry in var index
  1666. \begingroup\defname {#2}{\defcvtype of #1}%
  1667. \defvarargs {#3}\endgroup %
  1668. }
  1669.  
  1670. % @defivar == @defcv {Instance Variable}
  1671.  
  1672. \def\defivar{\defmethparsebody\Edefivar\defivarx\defivarheader}
  1673.  
  1674. \def\defivarheader #1#2#3{%
  1675. \dosubind {vr}{#2}{of #1}% Make entry in var index
  1676. \begingroup\defname {#2}{Instance variable of #1}%
  1677. \defvarargs {#3}\endgroup %
  1678. }
  1679.  
  1680. % These definitions are run if you use @defmethodx, etc.,
  1681. % anywhere other than immediately after a @defmethod, etc.
  1682.  
  1683. \def\defopx #1 {\errmessage{@defopx in invalid context}}
  1684. \def\defmethodx #1 {\errmessage{@defmethodx in invalid context}}
  1685. \def\defcvx #1 {\errmessage{@defcvx in invalid context}}
  1686. \def\defivarx #1 {\errmessage{@defivarx in invalid context}}
  1687.  
  1688. % Now @defvar
  1689.  
  1690. % First, define the processing that is wanted for arguments of @defvar.
  1691. % This is actually simple: just print them in roman.
  1692. % This must expand the args and terminate the paragraph they make up
  1693. \def\defvarargs #1{\normalparens #1%
  1694. \interlinepenalty=10000
  1695. \endgraf\vskip -\parskip \penalty 10000}
  1696.  
  1697. % @defvr Counter foo-count
  1698.  
  1699. \def\defvr{\defmethparsebody\Edefvr\defvrx\defvrheader}
  1700.  
  1701. \def\defvrheader #1#2#3{\doind {vr}{#2}%
  1702. \begingroup\defname {#2}{#1}\defvarargs{#3}\endgroup}
  1703.  
  1704. % @defvar == @defvr Variable
  1705.  
  1706. \def\defvar{\defparsebody\Edefvar\defvarx\defvarheader}
  1707.  
  1708. \def\defvarheader #1#2{\doind {vr}{#1}% Make entry in var index
  1709. \begingroup\defname {#1}{Variable}%
  1710. \defvarargs {#2}\endgroup %
  1711. }
  1712.  
  1713. % @defopt == @defvr {User Option}
  1714.  
  1715. \def\defopt{\defparsebody\Edefopt\defoptx\defoptheader}
  1716.  
  1717. \def\defoptheader #1#2{\doind {vr}{#1}% Make entry in var index
  1718. \begingroup\defname {#1}{User Option}%
  1719. \defvarargs {#2}\endgroup %
  1720. }
  1721.  
  1722. % This definition is run if you use @defvarx
  1723. % anywhere other than immediately after a @defvar or @defvarx.
  1724.  
  1725. \def\defvrx #1 {\errmessage{@defvrx in invalid context}}
  1726. \def\defvarx #1 {\errmessage{@defvarx in invalid context}}
  1727. \def\defoptx #1 {\errmessage{@defoptx in invalid context}}
  1728.  
  1729. % Now define @deftp
  1730. % Args are printed in bold, a slight difference from @defvar.
  1731.  
  1732. \def\deftpargs #1{\bf \defvarargs{#1}}
  1733.  
  1734. % @deftp Class window height width ...
  1735.  
  1736. \def\deftp{\defmethparsebody\Edeftp\deftpx\deftpheader}
  1737.  
  1738. \def\deftpheader #1#2#3{\doind {tp}{#2}%
  1739. \begingroup\defname {#2}{#1}\deftpargs{#3}\endgroup}
  1740.  
  1741. % This definition is run if you use @deftpx, etc
  1742. % anywhere other than immediately after a @deftp, etc.
  1743.  
  1744. \def\deftpx #1 {\errmessage{@deftpx in invalid context}}
  1745.  
  1746. \message{cross reference,}
  1747. % Define cross-reference macros
  1748. \newwrite \auxfile
  1749.  
  1750. % \setref{foo} defines a cross-reference point named foo.
  1751.  
  1752. \def\setref#1{%
  1753. \dosetq{#1-pg}{Ypagenumber}%
  1754. \dosetq{#1-snt}{Ysectionnumberandtype}}
  1755.  
  1756. \def\unnumbsetref#1{%
  1757. \dosetq{#1-pg}{Ypagenumber}%
  1758. \dosetq{#1-snt}{Ynothing}}
  1759.  
  1760. % \xref and \pxref generate cross references to specified points.
  1761.  
  1762. \def\pxref #1{see \xrefX [#1,,,,,,,]}
  1763. \def\xref #1{See \xrefX [#1,,,,,,,]}
  1764. \def\xrefX [#1,#2,#3,#4,#5,#6]{%
  1765. \setbox1=\hbox{\i{\losespace#5{}}}%
  1766. \setbox0=\hbox{\losespace#3{}}%
  1767. \ifdim \wd0 =0pt \setbox0=\hbox{\losespace#1{}}\fi%
  1768. \ifdim \wd1 >0pt%
  1769. section \unhbox0{} in \unhbox1%
  1770. \else%
  1771. \refx{#1-snt} [\unhbox0], page\tie \refx{#1-pg}%
  1772. \fi }
  1773.  
  1774. % \dosetq is the interface for calls from other macros
  1775.  
  1776. \def\dosetq #1#2{{\let\folio=0%
  1777. \edef\next{\write\auxfile{\internalsetq {#1}{#2}}}%
  1778. \next}}
  1779.  
  1780. % \internalsetq {foo}{page} expands into CHARACTERS 'xrdef {foo}{...expansion of \Ypage...}
  1781. % When the aux file is read, ' is the escape character
  1782.  
  1783. \def\internalsetq #1#2{'xrdef {#1}{\csname #2\endcsname}}
  1784.  
  1785. % Things to be expanded by \internalsetq
  1786.  
  1787. \def\Ypagenumber{\folio}
  1788.  
  1789. \def\Ynothing{}
  1790.  
  1791. \def\Ysectionnumberandtype{%
  1792. \ifnum\secno=0 chapter\xreftie\the\chapno %
  1793. \else \ifnum \subsecno=0 section\xreftie\the\chapno.\the\secno %
  1794. \else \ifnum \subsubsecno=0 %
  1795. section\xreftie\the\chapno.\the\secno.\the\subsecno %
  1796. \else %
  1797. section\xreftie\the\chapno.\the\secno.\the\subsecno.\the\subsubsecno %
  1798. \fi \fi \fi }
  1799.  
  1800. \gdef\xreftie{'tie}
  1801.  
  1802. % Define @refx to reference a specific cross-reference string.
  1803.  
  1804. \def\refx#1{%
  1805. {%
  1806. \expandafter\ifx\csname X#1\endcsname\relax
  1807. % If not defined, say something at least.
  1808. \expandafter\gdef\csname X#1\endcsname {$<$undefined$>$}%
  1809. \message {WARNING: Cross-reference "#1" used but not yet defined}%
  1810. \message {}%
  1811. \fi %
  1812. \csname X#1\endcsname %It's defined, so just use it.
  1813. }}
  1814.  
  1815. % Read the last existing aux file, if any.  No error if none exists.
  1816.  
  1817. % This is the macro invoked by entries in the aux file.
  1818. \def\xrdef #1#2{
  1819. {\catcode`\'=\other\expandafter \gdef \csname X#1\endcsname {#2}}}
  1820.  
  1821. {
  1822. \catcode `\^^@=\other
  1823. \catcode `\=\other
  1824. \catcode `\=\other
  1825. \catcode `\^^C=\other
  1826. \catcode `\^^D=\other
  1827. \catcode `\^^E=\other
  1828. \catcode `\^^F=\other
  1829. \catcode `\^^G=\other
  1830. \catcode `\^^H=\other
  1831. \catcode `\ =\other
  1832. \catcode `\^^L=\other
  1833. \catcode `\=\other
  1834. \catcode `\=\other
  1835. \catcode `\=\other
  1836. \catcode `\=\other
  1837. \catcode `\=\other
  1838. \catcode `\=\other
  1839. \catcode `\=\other
  1840. \catcode `\=\other
  1841. \catcode `\=\other
  1842. \catcode `\=\other
  1843. \catcode `\=\other
  1844. \catcode `\=\other
  1845. \catcode `\=\other
  1846. \catcode `\^^[=\other
  1847. \catcode `\^^\=\other
  1848. \catcode `\^^]=\other
  1849. \catcode `\^^^=\other
  1850. \catcode `\^^_=\other
  1851. \catcode `\@=\other
  1852. \catcode `\^=\other
  1853. \catcode `\~=\other
  1854. \catcode `\[=\other
  1855. \catcode `\]=\other
  1856. \catcode`\"=\other
  1857. \catcode`\_=\other
  1858. \catcode`\|=\other
  1859. \catcode`\<=\other
  1860. \catcode`\>=\other
  1861. \catcode `\$=\other
  1862. \catcode `\#=\other
  1863. \catcode `\&=\other
  1864.  
  1865. % the aux file uses ' as the escape.
  1866. % Turn off \ as an escape so we do not lose on
  1867. % entries which were dumped with control sequences in their names.
  1868. % For example, 'xrdef {$\leq $-fun}{page ...} made by @defun ^^
  1869. % Reference to such entries still does not work the way one would wish,
  1870. % but at least they do not bomb out when the aux file is read in.
  1871.  
  1872. \catcode `\{=1 \catcode `\}=2
  1873. \catcode `\%=\other
  1874. \catcode `\'=0
  1875. \catcode `\\=\other
  1876.  
  1877. 'openin 1 'jobname.aux
  1878. 'ifeof 1 'else 'closein 1 'input 'jobname.aux
  1879. 'fi
  1880. }
  1881.  
  1882. % Open the new aux file.  Tex will close it automatically at exit.
  1883.  
  1884. \openout \auxfile=\jobname.aux
  1885.  
  1886. % Footnotes.
  1887.  
  1888. \newcount \footnoteno
  1889.  
  1890. \def\supereject{\par\penalty -20000\footnoteno =0 }
  1891.  
  1892. \let\ptexfootnote=\footnote
  1893.  
  1894. {\catcode `\@=11
  1895. \gdef\footnote{\global\advance \footnoteno by \@ne
  1896. \edef\thisfootno{$^{\the\footnoteno}$}%
  1897. \let\@sf\empty
  1898. \ifhmode\edef\@sf{\spacefactor\the\spacefactor}\/\fi
  1899. \thisfootno\@sf\parsearg\footnotezzz}
  1900.  
  1901. \gdef\footnotezzz #1{\insert\footins{
  1902. \interlinepenalty\interfootnotelinepenalty
  1903. \splittopskip\ht\strutbox % top baseline for broken footnotes
  1904. \splitmaxdepth\dp\strutbox \floatingpenalty\@MM
  1905. \leftskip\z@skip \rightskip\z@skip \spaceskip\z@skip \xspaceskip\z@skip
  1906. \footstrut\hang\textindent{\thisfootno}#1\strut}}
  1907.  
  1908. }%end \catcode `\@=11
  1909.  
  1910. % End of control word definitions.
  1911.  
  1912. \message{and turning on texinfo input format.}
  1913.  
  1914. \newindex{cp}
  1915. \newindex{fn}
  1916. \newindex{vr}
  1917. \newindex{tp}
  1918. \newindex{ky}
  1919. \newindex{pg}
  1920.  
  1921. % Set some numeric style parameters, for 8.5 x 11 format.
  1922.  
  1923. \hsize = 6.5in
  1924. \parindent 15pt
  1925. \parskip 18pt plus 1pt
  1926. \baselineskip 15pt
  1927. \advance\topskip by 1.2cm
  1928.  
  1929. % Prevent underfull vbox error messages.
  1930. \vbadness=10000
  1931.  
  1932. % Use @smallbook to reset parameters for 7x9.5 format
  1933. \def\smallbook{
  1934. \global\lispnarrowing = 0.3in
  1935. \global\baselineskip 12pt
  1936. \global\parskip 3pt plus 1pt
  1937. \global\hsize = 5in
  1938. \global\doublecolumnhsize=2.4in \global\doublecolumnvsize=15.0in
  1939. \global\vsize=7.5in
  1940. \global\tolerance=700
  1941. \global\hfuzz=1pt
  1942.  
  1943. \global\pagewidth=\hsize
  1944. \global\pageheight=\vsize
  1945. \global\font\ninett=cmtt9
  1946.  
  1947. \global\let\smalllisp=\smalllispx
  1948. \global\let\smallexample=\smalllispx
  1949. \global\def\Esmallexample{\Esmalllisp}
  1950. }
  1951.  
  1952. %% For a final copy, take out the rectangles
  1953. %% that mark overfull boxes (in case you have decided
  1954. %% that the text looks ok even though it passes the margin).
  1955. \def\finalout{\overfullrule=0pt}
  1956.  
  1957. % Turn off all special characters except @
  1958. % (and those which the user can use as if they were ordinary)
  1959. % Define certain chars to be always in tt font.
  1960.  
  1961. \catcode`\"=\active
  1962. \def\activedoublequote{{\tt \char '042}}
  1963. \let"=\activedoublequote
  1964. \catcode`\~=\active
  1965. \def~{{\tt \char '176}}
  1966. \chardef\hat=`\^
  1967. \catcode`\^=\active
  1968. \def^{{\tt \hat}}
  1969. \catcode`\_=\active
  1970. \def_{{\tt \char '137}}
  1971. \catcode`\|=\active
  1972. \def|{{\tt \char '174}}
  1973. \chardef \less=`\<
  1974. \catcode`\<=\active
  1975. \def<{{\tt \less}}
  1976. \chardef \gtr=`\>
  1977. \catcode`\>=\active
  1978. \def>{{\tt \gtr}}
  1979.  
  1980. \catcode`\@=0
  1981.  
  1982. % \rawbackslashxx output one backslash character in current font
  1983. {\catcode`\\=\other
  1984. @gdef@rawbackslashxx{\}}
  1985.  
  1986. % \rawbackslash redefines \ as input to do \rawbackslashxx.
  1987. {\catcode`\\=\active
  1988. @gdef@rawbackslash{@let\=@rawbackslashxx }}
  1989.  
  1990. % \normalbackslash outputs one backslash in fixed width font.
  1991. \def\normalbackslash{{\tt\rawbackslashxx}}
  1992.  
  1993. % Say @foo, not \foo, in error messages.
  1994. \escapechar=`\@
  1995.  
  1996. %% These look ok in all fonts, so just make them not special.  The @rm below
  1997. %% makes sure that the current font starts out as the newly loaded cmr10
  1998. \catcode`\$=\other \catcode`\%=\other \catcode`\&=\other \catcode`\#=\other
  1999.  
  2000. \catcode 17=0   @c Define control-q
  2001. \catcode`\\=\active
  2002. @let\=@normalbackslash
  2003.  
  2004. @textfonts
  2005. @rm
  2006.