home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 99%
| dexvert
| Texinfo Document (document/texInfo)
| magic
| Supported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX document text
| default
| |
| 99%
| file
| TeX document text
| default
| |
| 98%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| siegfried
| x-fmt/111 Plain Text File
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 20 54 68 65 20 54 52 | 49 50 20 6d 61 6e 75 61 |% The TR|IP manua|
|00000010| 6c 3a 20 48 6f 77 20 74 | 6f 20 76 61 6c 69 64 61 |l: How t|o valida|
|00000020| 74 65 20 54 65 58 20 2d | 2d 2d 20 6c 61 73 74 20 |te TeX -|-- last |
|00000030| 75 70 64 61 74 65 64 20 | 62 79 20 44 20 45 20 4b |updated |by D E K|
|00000040| 6e 75 74 68 20 6f 6e 20 | 34 20 44 65 63 20 38 39 |nuth on |4 Dec 89|
|00000050| 0a 5c 66 6f 6e 74 5c 65 | 69 67 68 74 74 74 3d 20 |.\font\e|ighttt= |
|00000060| 63 6d 74 74 38 0a 5c 66 | 6f 6e 74 5c 65 69 67 68 |cmtt8.\f|ont\eigh|
|00000070| 74 72 6d 3d 20 63 6d 72 | 38 0a 5c 66 6f 6e 74 5c |trm= cmr|8.\font\|
|00000080| 74 69 74 6c 65 66 6f 6e | 74 3d 20 63 6d 72 37 20 |titlefon|t= cmr7 |
|00000090| 73 63 61 6c 65 64 5c 6d | 61 67 73 74 65 70 35 0a |scaled\m|agstep5.|
|000000a0| 5c 6c 65 74 5c 6d 63 3d | 5c 65 69 67 68 74 72 6d |\let\mc=|\eightrm|
|000000b0| 0a 5c 72 6d 0a 5c 6c 65 | 74 5c 6d 61 69 6e 66 6f |.\rm.\le|t\mainfo|
|000000c0| 6e 74 3d 5c 74 65 6e 72 | 6d 0a 0a 5c 64 65 66 5c |nt=\tenr|m..\def\|
|000000d0| 2e 23 31 7b 5c 68 62 6f | 78 7b 5c 74 74 23 31 7d |.#1{\hbo|x{\tt#1}|
|000000e0| 7d 0a 5c 64 65 66 5c 5c | 23 31 7b 5c 68 62 6f 78 |}.\def\\|#1{\hbox|
|000000f0| 7b 5c 69 74 23 31 5c 2f | 5c 68 73 6b 69 70 2e 30 |{\it#1\/|\hskip.0|
|00000100| 35 65 6d 7d 7d 20 25 20 | 69 74 61 6c 69 63 20 74 |5em}} % |italic t|
|00000110| 79 70 65 20 66 6f 72 20 | 69 64 65 6e 74 69 66 69 |ype for |identifi|
|00000120| 65 72 73 0a 0a 5c 70 61 | 72 73 6b 69 70 20 32 70 |ers..\pa|rskip 2p|
|00000130| 74 20 70 6c 75 73 20 31 | 70 74 0a 5c 62 61 73 65 |t plus 1|pt.\base|
|00000140| 6c 69 6e 65 73 6b 69 70 | 20 31 32 70 74 20 70 6c |lineskip| 12pt pl|
|00000150| 75 73 20 2e 32 35 70 74 | 0a 0a 5c 64 65 66 5c 76 |us .25pt|..\def\v|
|00000160| 65 72 62 61 74 69 6d 23 | 31 7b 5c 62 65 67 69 6e |erbatim#|1{\begin|
|00000170| 67 72 6f 75 70 20 5c 66 | 72 65 6e 63 68 73 70 61 |group \f|renchspa|
|00000180| 63 69 6e 67 0a 20 20 5c | 64 65 66 5c 64 6f 23 23 |cing. \|def\do##|
|00000190| 31 7b 5c 63 61 74 63 6f | 64 65 60 23 23 31 3d 31 |1{\catco|de`##1=1|
|000001a0| 32 20 7d 20 5c 64 6f 73 | 70 65 63 69 61 6c 73 0a |2 } \dos|pecials.|
|000001b0| 20 20 5c 70 61 72 73 6b | 69 70 20 30 70 74 20 5c | \parsk|ip 0pt \|
|000001c0| 70 61 72 69 6e 64 65 6e | 74 20 30 70 74 0a 20 20 |parinden|t 0pt. |
|000001d0| 5c 63 61 74 63 6f 64 65 | 60 5c 20 3d 5c 61 63 74 |\catcode|`\ =\act|
|000001e0| 69 76 65 20 5c 63 61 74 | 63 6f 64 65 60 5c 5e 5e |ive \cat|code`\^^|
|000001f0| 4d 3d 5c 61 63 74 69 76 | 65 0a 20 20 5c 74 74 20 |M=\activ|e. \tt |
|00000200| 5c 64 65 66 5c 70 61 72 | 7b 5c 20 5c 65 6e 64 67 |\def\par|{\ \endg|
|00000210| 72 61 66 7d 20 5c 6f 62 | 65 79 6c 69 6e 65 73 20 |raf} \ob|eylines |
|00000220| 5c 6f 62 65 79 73 70 61 | 63 65 73 0a 20 20 5c 69 |\obeyspa|ces. \i|
|00000230| 6e 70 75 74 20 23 31 20 | 5c 65 6e 64 67 72 6f 75 |nput #1 |\endgrou|
|00000240| 70 7d 0a 25 20 61 20 62 | 6c 61 6e 6b 20 6c 69 6e |p}.% a b|lank lin|
|00000250| 65 20 77 69 6c 6c 20 62 | 65 20 74 79 70 65 73 65 |e will b|e typese|
|00000260| 74 20 61 74 20 74 68 65 | 20 65 6e 64 20 6f 66 20 |t at the| end of |
|00000270| 74 68 65 20 66 69 6c 65 | 3b 0a 25 20 69 66 20 79 |the file|;.% if y|
|00000280| 6f 75 27 72 65 20 75 6e | 6c 75 63 6b 79 20 69 74 |ou're un|lucky it|
|00000290| 20 77 69 6c 6c 20 61 70 | 70 65 61 72 20 6f 6e 20 | will ap|pear on |
|000002a0| 61 20 70 61 67 65 20 62 | 79 20 69 74 73 65 6c 66 |a page b|y itself|
|000002b0| 21 0a 7b 5c 6f 62 65 79 | 73 70 61 63 65 73 5c 67 |!.{\obey|spaces\g|
|000002c0| 6c 6f 62 61 6c 5c 6c 65 | 74 20 3d 5c 20 7d 0a 0a |lobal\le|t =\ }..|
|000002d0| 5c 6f 75 74 70 75 74 7b | 5c 73 68 69 70 6f 75 74 |\output{|\shipout|
|000002e0| 5c 62 6f 78 32 35 35 5c | 67 6c 6f 62 61 6c 5c 61 |\box255\|global\a|
|000002f0| 64 76 61 6e 63 65 5c 70 | 61 67 65 6e 6f 20 62 79 |dvance\p|ageno by|
|00000300| 20 31 7d 20 25 20 66 6f | 72 20 74 68 65 20 74 69 | 1} % fo|r the ti|
|00000310| 74 6c 65 20 70 61 67 65 | 20 6f 6e 6c 79 0a 5c 6e |tle page| only.\n|
|00000320| 75 6c 6c 0a 5c 76 66 69 | 6c 6c 0a 5c 63 65 6e 74 |ull.\vfi|ll.\cent|
|00000330| 65 72 6c 69 6e 65 7b 5c | 74 69 74 6c 65 66 6f 6e |erline{\|titlefon|
|00000340| 74 20 41 20 74 6f 72 74 | 75 72 65 20 74 65 73 74 |t A tort|ure test|
|00000350| 20 66 6f 72 20 5c 54 65 | 58 7d 0a 5c 76 73 6b 69 | for \Te|X}.\vski|
|00000360| 70 20 31 38 70 74 0a 5c | 63 65 6e 74 65 72 6c 69 |p 18pt.\|centerli|
|00000370| 6e 65 7b 62 79 20 44 6f | 6e 61 6c 64 20 45 2e 20 |ne{by Do|nald E. |
|00000380| 4b 6e 75 74 68 7d 0a 5c | 63 65 6e 74 65 72 6c 69 |Knuth}.\|centerli|
|00000390| 6e 65 7b 53 74 61 6e 66 | 6f 72 64 20 55 6e 69 76 |ne{Stanf|ord Univ|
|000003a0| 65 72 73 69 74 79 7d 0a | 5c 76 73 6b 69 70 20 36 |ersity}.|\vskip 6|
|000003b0| 70 74 0a 5c 63 65 6e 74 | 65 72 6c 69 6e 65 7b 28 |pt.\cent|erline{(|
|000003c0| 7b 5c 73 6c 20 56 65 72 | 73 69 6f 6e 20 33 2c 20 |{\sl Ver|sion 3, |
|000003d0| 4a 61 6e 75 61 72 79 20 | 31 39 39 30 5c 2f 7d 29 |January |1990\/})|
|000003e0| 7d 0a 5c 76 66 69 6c 6c | 0a 5c 63 65 6e 74 65 72 |}.\vfill|.\center|
|000003f0| 6c 69 6e 65 7b 5c 76 62 | 6f 78 7b 5c 68 73 69 7a |line{\vb|ox{\hsiz|
|00000400| 65 20 34 69 6e 0a 5c 6e | 6f 69 6e 64 65 6e 74 20 |e 4in.\n|oindent |
|00000410| 50 72 6f 67 72 61 6d 73 | 20 74 68 61 74 20 63 6c |Programs| that cl|
|00000420| 61 69 6d 20 74 6f 20 62 | 65 20 69 6d 70 6c 65 6d |aim to b|e implem|
|00000430| 65 6e 74 61 74 69 6f 6e | 73 20 6f 66 20 5c 54 65 |entation|s of \Te|
|00000440| 58 38 32 20 61 72 65 0a | 73 75 70 70 6f 73 65 64 |X82 are.|supposed|
|00000450| 20 74 6f 20 62 65 20 61 | 62 6c 65 20 74 6f 20 70 | to be a|ble to p|
|00000460| 72 6f 63 65 73 73 20 74 | 68 65 20 74 65 73 74 20 |rocess t|he test |
|00000470| 72 6f 75 74 69 6e 65 20 | 63 6f 6e 74 61 69 6e 65 |routine |containe|
|00000480| 64 20 69 6e 20 74 68 69 | 73 0a 72 65 70 6f 72 74 |d in thi|s.report|
|00000490| 2c 20 70 72 6f 64 75 63 | 69 6e 67 20 74 68 65 20 |, produc|ing the |
|000004a0| 6f 75 74 70 75 74 73 20 | 63 6f 6e 74 61 69 6e 65 |outputs |containe|
|000004b0| 64 20 69 6e 20 74 68 69 | 73 20 72 65 70 6f 72 74 |d in thi|s report|
|000004c0| 2e 7d 7d 0a 5c 76 73 6b | 69 70 20 32 34 70 74 0a |.}}.\vsk|ip 24pt.|
|000004d0| 7b 5c 62 61 73 65 6c 69 | 6e 65 73 6b 69 70 20 39 |{\baseli|neskip 9|
|000004e0| 70 74 0a 5c 65 69 67 68 | 74 72 6d 5c 6e 6f 69 6e |pt.\eigh|trm\noin|
|000004f0| 64 65 6e 74 0a 54 68 65 | 20 70 72 65 70 61 72 61 |dent.The| prepara|
|00000500| 74 69 6f 6e 20 6f 66 20 | 74 68 69 73 20 72 65 70 |tion of |this rep|
|00000510| 6f 72 74 20 77 61 73 20 | 73 75 70 70 6f 72 74 65 |ort was |supporte|
|00000520| 64 20 69 6e 20 70 61 72 | 74 20 62 79 20 74 68 65 |d in par|t by the|
|00000530| 20 4e 61 74 69 6f 6e 61 | 6c 20 53 63 69 65 6e 63 | Nationa|l Scienc|
|00000540| 65 0a 46 6f 75 6e 64 61 | 74 69 6f 6e 20 75 6e 64 |e.Founda|tion und|
|00000550| 65 72 20 67 72 61 6e 74 | 73 20 49 53 54 2d 38 32 |er grant|s IST-82|
|00000560| 30 31 39 32 36 20 61 6e | 64 20 4d 43 53 2d 38 33 |01926 an|d MCS-83|
|00000570| 30 30 39 38 34 2c 0a 61 | 6e 64 20 62 79 20 74 68 |00984,.a|nd by th|
|00000580| 65 20 53 79 73 74 65 6d | 20 44 65 76 65 6c 6f 70 |e System| Develop|
|00000590| 6d 65 6e 74 20 46 6f 75 | 6e 64 61 74 69 6f 6e 2e |ment Fou|ndation.|
|000005a0| 0a 60 5c 54 65 58 27 20 | 69 73 20 61 20 74 72 61 |.`\TeX' |is a tra|
|000005b0| 64 65 6d 61 72 6b 20 6f | 66 20 74 68 65 20 41 6d |demark o|f the Am|
|000005c0| 65 72 69 63 61 6e 20 4d | 61 74 68 65 6d 61 74 69 |erican M|athemati|
|000005d0| 63 61 6c 20 53 6f 63 69 | 65 74 79 2e 0a 0a 7d 5c |cal Soci|ety...}\|
|000005e0| 70 61 67 65 6e 6f 3d 30 | 5c 65 6a 65 63 74 0a 0a |pageno=0|\eject..|
|000005f0| 5c 6f 75 74 70 75 74 7b | 5c 73 68 69 70 6f 75 74 |\output{|\shipout|
|00000600| 5c 76 62 6f 78 7b 20 25 | 20 66 6f 72 20 73 75 62 |\vbox{ %| for sub|
|00000610| 73 65 71 75 65 6e 74 20 | 70 61 67 65 73 0a 20 20 |sequent |pages. |
|00000620| 20 20 5c 62 61 73 65 6c | 69 6e 65 73 6b 69 70 30 | \basel|ineskip0|
|00000630| 70 74 5c 6c 69 6e 65 73 | 6b 69 70 30 70 74 0a 20 |pt\lines|kip0pt. |
|00000640| 20 20 20 5c 68 62 6f 78 | 20 74 6f 5c 68 73 69 7a | \hbox| to\hsiz|
|00000650| 65 7b 5c 73 74 72 75 74 | 0a 20 20 20 20 20 20 5c |e{\strut|. \|
|00000660| 69 66 6f 64 64 5c 70 61 | 67 65 6e 6f 20 5c 68 66 |ifodd\pa|geno \hf|
|00000670| 69 6c 5c 65 69 67 68 74 | 72 6d 5c 66 69 72 73 74 |il\eight|rm\first|
|00000680| 6d 61 72 6b 5c 68 66 69 | 6c 0a 20 20 20 20 20 20 |mark\hfi|l. |
|00000690| 20 20 5c 6d 61 69 6e 66 | 6f 6e 74 5c 74 68 65 5c | \mainf|ont\the\|
|000006a0| 70 61 67 65 6e 6f 0a 20 | 20 20 20 20 20 5c 65 6c |pageno. | \el|
|000006b0| 73 65 5c 6d 61 69 6e 66 | 6f 6e 74 5c 74 68 65 5c |se\mainf|ont\the\|
|000006c0| 70 61 67 65 6e 6f 5c 68 | 66 69 6c 0a 20 20 20 20 |pageno\h|fil. |
|000006d0| 20 20 20 20 5c 65 69 67 | 68 74 72 6d 5c 66 69 72 | \eig|htrm\fir|
|000006e0| 73 74 6d 61 72 6b 5c 68 | 66 69 6c 5c 66 69 7d 0a |stmark\h|fil\fi}.|
|000006f0| 20 20 20 20 5c 76 73 6b | 69 70 20 31 30 70 74 0a | \vsk|ip 10pt.|
|00000700| 20 20 20 20 5c 62 6f 78 | 32 35 35 7d 0a 20 20 5c | \box|255}. \|
|00000710| 67 6c 6f 62 61 6c 5c 61 | 64 76 61 6e 63 65 5c 70 |global\a|dvance\p|
|00000720| 61 67 65 6e 6f 20 62 79 | 20 31 7d 0a 5c 6c 65 74 |ageno by| 1}.\let|
|00000730| 5c 72 75 6e 6e 69 6e 67 | 68 65 61 64 3d 5c 6d 61 |\running|head=\ma|
|00000740| 72 6b 0a 5c 6f 75 74 65 | 72 5c 64 65 66 5c 73 65 |rk.\oute|r\def\se|
|00000750| 63 74 69 6f 6e 23 31 2e | 7b 5c 6e 6f 69 6e 64 65 |ction#1.|{\noinde|
|00000760| 6e 74 7b 5c 62 66 23 31 | 2e 7d 5c 71 75 61 64 0a |nt{\bf#1|.}\quad.|
|00000770| 20 20 5c 72 75 6e 6e 69 | 6e 67 68 65 61 64 7b 5c | \runni|nghead{\|
|00000780| 75 70 70 65 72 63 61 73 | 65 7b 23 31 7d 20 7d 5c |uppercas|e{#1} }\|
|00000790| 69 67 6e 6f 72 65 73 70 | 61 63 65 73 7d 0a 0a 5c |ignoresp|aces}..\|
|000007a0| 73 65 63 74 69 6f 6e 20 | 49 6e 74 72 6f 64 75 63 |section |Introduc|
|000007b0| 74 69 6f 6e 2e 0a 50 65 | 6f 70 6c 65 20 6f 66 74 |tion..Pe|ople oft|
|000007c0| 65 6e 20 74 68 69 6e 6b | 20 74 68 61 74 20 74 68 |en think| that th|
|000007d0| 65 69 72 20 70 72 6f 67 | 72 61 6d 73 20 61 72 65 |eir prog|rams are|
|000007e0| 20 60 60 64 65 62 75 67 | 67 65 64 27 27 20 77 68 | ``debug|ged'' wh|
|000007f0| 65 6e 20 6c 61 72 67 65 | 20 61 70 70 6c 69 63 61 |en large| applica|
|00000800| 74 69 6f 6e 73 0a 68 61 | 76 65 20 62 65 65 6e 20 |tions.ha|ve been |
|00000810| 72 75 6e 20 73 75 63 63 | 65 73 73 66 75 6c 6c 79 |run succ|essfully|
|00000820| 2e 20 42 75 74 20 73 79 | 73 74 65 6d 20 70 72 6f |. But sy|stem pro|
|00000830| 67 72 61 6d 6d 65 72 73 | 20 6b 6e 6f 77 20 74 68 |grammers| know th|
|00000840| 61 74 20 61 20 74 79 70 | 69 63 61 6c 20 6c 61 72 |at a typ|ical lar|
|00000850| 67 65 0a 61 70 70 6c 69 | 63 61 74 69 6f 6e 20 74 |ge.appli|cation t|
|00000860| 65 6e 64 73 20 74 6f 20 | 75 73 65 20 61 74 20 6d |ends to |use at m|
|00000870| 6f 73 74 20 61 62 6f 75 | 74 20 35 30 20 70 65 72 |ost abou|t 50 per|
|00000880| 20 63 65 6e 74 20 6f 66 | 20 74 68 65 20 69 6e 73 | cent of| the ins|
|00000890| 74 72 75 63 74 69 6f 6e | 73 0a 69 6e 20 61 20 74 |truction|s.in a t|
|000008a0| 79 70 69 63 61 6c 20 63 | 6f 6d 70 69 6c 65 72 2e |ypical c|ompiler.|
|000008b0| 20 41 6c 74 68 6f 75 67 | 68 20 74 68 65 20 6f 74 | Althoug|h the ot|
|000008c0| 68 65 72 20 68 61 6c 66 | 20 6f 66 20 74 68 65 20 |her half| of the |
|000008d0| 63 6f 64 65 2d 2d 2d 77 | 68 69 63 68 20 74 65 6e |code---w|hich ten|
|000008e0| 64 73 0a 74 6f 20 62 65 | 20 74 68 65 20 60 60 68 |ds.to be| the ``h|
|000008f0| 61 72 64 65 72 20 68 61 | 6c 66 27 27 2d 2d 2d 6d |arder ha|lf''---m|
|00000900| 69 67 68 74 20 62 65 20 | 72 69 64 64 6c 65 64 20 |ight be |riddled |
|00000910| 77 69 74 68 20 65 72 72 | 6f 72 73 2c 20 74 68 65 |with err|ors, the|
|00000920| 20 73 79 73 74 65 6d 20 | 73 65 65 6d 73 0a 74 6f | system |seems.to|
|00000930| 20 62 65 20 77 6f 72 6b | 69 6e 67 20 71 75 69 74 | be work|ing quit|
|00000940| 65 20 69 6d 70 72 65 73 | 73 69 76 65 6c 79 20 75 |e impres|sively u|
|00000950| 6e 74 69 6c 20 61 6e 20 | 75 6e 75 73 75 61 6c 20 |ntil an |unusual |
|00000960| 63 61 73 65 20 73 68 6f | 77 73 20 75 70 20 6f 6e |case sho|ws up on|
|00000970| 20 74 68 65 0a 6e 65 78 | 74 20 64 61 79 2e 20 41 | the.nex|t day. A|
|00000980| 6e 64 20 6f 6e 20 74 68 | 65 20 66 6f 6c 6c 6f 77 |nd on th|e follow|
|00000990| 69 6e 67 20 64 61 79 20 | 61 6e 6f 74 68 65 72 20 |ing day |another |
|000009a0| 65 72 72 6f 72 20 6d 61 | 6e 69 66 65 73 74 73 20 |error ma|nifests |
|000009b0| 69 74 73 65 6c 66 2c 20 | 61 6e 64 20 73 6f 20 6f |itself, |and so o|
|000009c0| 6e 3b 0a 6d 6f 6e 74 68 | 73 20 6f 72 20 79 65 61 |n;.month|s or yea|
|000009d0| 72 73 20 67 6f 20 62 79 | 20 62 65 66 6f 72 65 20 |rs go by| before |
|000009e0| 63 65 72 74 61 69 6e 20 | 70 61 72 74 73 20 6f 66 |certain |parts of|
|000009f0| 20 74 68 65 20 63 6f 6d | 70 69 6c 65 72 20 61 72 | the com|piler ar|
|00000a00| 65 20 65 76 65 6e 0a 61 | 63 74 69 76 61 74 65 64 |e even.a|ctivated|
|00000a10| 2c 20 6d 75 63 68 20 6c | 65 73 73 20 74 65 73 74 |, much l|ess test|
|00000a20| 65 64 20 69 6e 20 63 6f | 6d 62 69 6e 61 74 69 6f |ed in co|mbinatio|
|00000a30| 6e 20 77 69 74 68 20 6f | 74 68 65 72 20 70 6f 72 |n with o|ther por|
|00000a40| 74 69 6f 6e 73 20 6f 66 | 20 74 68 65 20 73 79 73 |tions of| the sys|
|00000a50| 74 65 6d 2c 0a 69 66 20 | 75 73 65 72 20 61 70 70 |tem,.if |user app|
|00000a60| 6c 69 63 61 74 69 6f 6e | 73 20 70 72 6f 76 69 64 |lication|s provid|
|00000a70| 65 20 74 68 65 20 6f 6e | 6c 79 20 74 65 73 74 73 |e the on|ly tests|
|00000a80| 2e 0a 0a 48 6f 77 20 74 | 68 65 6e 20 73 68 61 6c |...How t|hen shal|
|00000a90| 6c 20 77 65 20 67 6f 20 | 61 62 6f 75 74 20 74 65 |l we go |about te|
|00000aa0| 73 74 69 6e 67 20 61 20 | 63 6f 6d 70 69 6c 65 72 |sting a |compiler|
|00000ab0| 3f 20 49 64 65 61 6c 6c | 79 20 77 65 20 77 6f 75 |? Ideall|y we wou|
|00000ac0| 6c 64 20 6c 69 6b 65 20 | 74 6f 0a 68 61 76 65 20 |ld like |to.have |
|00000ad0| 61 20 66 6f 72 6d 61 6c | 20 70 72 6f 6f 66 20 6f |a formal| proof o|
|00000ae0| 66 20 63 6f 72 72 65 63 | 74 6e 65 73 73 2c 20 63 |f correc|tness, c|
|00000af0| 65 72 74 69 66 69 65 64 | 20 62 79 20 61 20 63 6f |ertified| by a co|
|00000b00| 6d 70 75 74 65 72 2e 0a | 54 68 69 73 20 77 6f 75 |mputer..|This wou|
|00000b10| 6c 64 20 67 69 76 65 20 | 75 73 20 61 20 6c 6f 74 |ld give |us a lot|
|00000b20| 20 6f 66 20 63 6f 6e 66 | 69 64 65 6e 63 65 2c 0a | of conf|idence,.|
|00000b30| 61 6c 74 68 6f 75 67 68 | 20 6f 66 20 63 6f 75 72 |although| of cour|
|00000b40| 73 65 20 74 68 65 20 66 | 6f 72 6d 61 6c 20 76 65 |se the f|ormal ve|
|00000b50| 72 69 66 69 63 61 74 69 | 6f 6e 20 70 72 6f 67 72 |rificati|on progr|
|00000b60| 61 6d 20 6d 69 67 68 74 | 20 69 74 73 65 6c 66 20 |am might| itself |
|00000b70| 62 65 20 69 6e 63 6f 72 | 72 65 63 74 2e 0a 41 20 |be incor|rect..A |
|00000b80| 6d 6f 72 65 20 73 65 72 | 69 6f 75 73 20 64 72 61 |more ser|ious dra|
|00000b90| 77 62 61 63 6b 20 6f 66 | 20 61 75 74 6f 6d 61 74 |wback of| automat|
|00000ba0| 69 63 20 76 65 72 69 66 | 69 63 61 74 69 6f 6e 20 |ic verif|ication |
|00000bb0| 69 73 20 74 68 61 74 20 | 74 68 65 20 66 6f 72 6d |is that |the form|
|00000bc0| 61 6c 0a 73 70 65 63 69 | 66 69 63 61 74 69 6f 6e |al.speci|fication|
|00000bd0| 73 20 6f 66 20 74 68 65 | 20 63 6f 6d 70 69 6c 65 |s of the| compile|
|00000be0| 72 20 61 72 65 20 6c 69 | 6b 65 6c 79 20 74 6f 20 |r are li|kely to |
|00000bf0| 62 65 20 77 72 6f 6e 67 | 2c 20 73 69 6e 63 65 20 |be wrong|, since |
|00000c00| 74 68 65 79 20 61 72 65 | 6e 27 74 0a 6d 75 63 68 |they are|n't.much|
|00000c10| 20 65 61 73 69 65 72 20 | 74 6f 20 77 72 69 74 65 | easier |to write|
|00000c20| 20 74 68 61 6e 20 74 68 | 65 20 63 6f 6d 70 69 6c | than th|e compil|
|00000c30| 65 72 20 69 74 73 65 6c | 66 2e 20 41 6c 74 65 72 |er itsel|f. Alter|
|00000c40| 6e 61 74 69 76 65 6c 79 | 2c 20 77 65 20 63 61 6e |natively|, we can|
|00000c50| 0a 73 75 62 73 74 69 74 | 75 74 65 20 61 6e 20 69 |.substit|ute an i|
|00000c60| 6e 66 6f 72 6d 61 6c 20 | 70 72 6f 6f 66 20 6f 66 |nformal |proof of|
|00000c70| 20 63 6f 72 72 65 63 74 | 6e 65 73 73 3a 20 54 68 | correct|ness: Th|
|00000c80| 65 20 70 72 6f 67 72 61 | 6d 6d 65 72 20 77 72 69 |e progra|mmer wri|
|00000c90| 74 65 73 20 68 69 73 20 | 6f 72 0a 68 65 72 20 63 |tes his |or.her c|
|00000ca0| 6f 64 65 20 69 6e 20 61 | 20 73 74 72 75 63 74 75 |ode in a| structu|
|00000cb0| 72 65 64 20 6d 61 6e 6e | 65 72 20 61 6e 64 20 63 |red mann|er and c|
|00000cc0| 68 65 63 6b 73 20 74 68 | 61 74 20 61 70 70 72 6f |hecks th|at appro|
|00000cd0| 70 72 69 61 74 65 20 72 | 65 6c 61 74 69 6f 6e 73 |priate r|elations|
|00000ce0| 0a 72 65 6d 61 69 6e 20 | 69 6e 76 61 72 69 61 6e |.remain |invarian|
|00000cf0| 74 2c 20 65 74 63 2e 20 | 54 68 69 73 20 68 65 6c |t, etc. |This hel|
|00000d00| 70 73 20 67 72 65 61 74 | 6c 79 20 74 6f 20 72 65 |ps great|ly to re|
|00000d10| 64 75 63 65 20 65 72 72 | 6f 72 73 2c 20 62 75 74 |duce err|ors, but|
|00000d20| 20 69 74 20 63 61 6e 6e | 6f 74 0a 62 65 20 65 78 | it cann|ot.be ex|
|00000d30| 70 65 63 74 65 64 20 74 | 6f 20 72 65 6d 6f 76 65 |pected t|o remove|
|00000d40| 20 74 68 65 6d 20 63 6f | 6d 70 6c 65 74 65 6c 79 | them co|mpletely|
|00000d50| 3b 20 74 68 65 20 74 61 | 73 6b 20 6f 66 20 63 68 |; the ta|sk of ch|
|00000d60| 65 63 6b 69 6e 67 20 61 | 20 6c 61 72 67 65 0a 73 |ecking a| large.s|
|00000d70| 79 73 74 65 6d 20 69 73 | 20 73 75 66 66 69 63 69 |ystem is| suffici|
|00000d80| 65 6e 74 6c 79 20 66 6f | 72 6d 69 64 61 62 6c 65 |ently fo|rmidable|
|00000d90| 20 74 68 61 74 20 68 75 | 6d 61 6e 20 62 65 69 6e | that hu|man bein|
|00000da0| 67 73 20 63 61 6e 6e 6f | 74 20 64 6f 20 69 74 20 |gs canno|t do it |
|00000db0| 77 69 74 68 6f 75 74 0a | 6d 61 6b 69 6e 67 20 61 |without.|making a|
|00000dc0| 74 20 6c 65 61 73 74 20 | 61 20 66 65 77 20 73 6c |t least |a few sl|
|00000dd0| 69 70 73 20 68 65 72 65 | 20 61 6e 64 20 74 68 65 |ips here| and the|
|00000de0| 72 65 2e 0a 0a 54 68 75 | 73 2c 20 77 65 20 68 61 |re...Thu|s, we ha|
|00000df0| 76 65 20 73 65 65 6e 20 | 74 68 61 74 20 74 65 73 |ve seen |that tes|
|00000e00| 74 20 70 72 6f 67 72 61 | 6d 73 20 61 72 65 20 75 |t progra|ms are u|
|00000e10| 6e 73 61 74 69 73 66 61 | 63 74 6f 72 79 20 69 66 |nsatisfa|ctory if|
|00000e20| 20 74 68 65 79 20 61 72 | 65 20 73 69 6d 70 6c 79 | they ar|e simply|
|00000e30| 0a 6c 61 72 67 65 20 75 | 73 65 72 20 61 70 70 6c |.large u|ser appl|
|00000e40| 69 63 61 74 69 6f 6e 73 | 3b 20 79 65 74 20 73 6f |ications|; yet so|
|00000e50| 6d 65 20 73 6f 72 74 20 | 6f 66 20 74 65 73 74 20 |me sort |of test |
|00000e60| 70 72 6f 67 72 61 6d 20 | 69 73 20 6e 65 65 64 65 |program |is neede|
|00000e70| 64 20 62 65 63 61 75 73 | 65 0a 70 72 6f 6f 66 73 |d becaus|e.proofs|
|00000e80| 20 6f 66 20 63 6f 72 72 | 65 63 74 6e 65 73 73 20 | of corr|ectness |
|00000e90| 61 72 65 6e 27 74 20 61 | 64 65 71 75 61 74 65 20 |aren't a|dequate |
|00000ea0| 65 69 74 68 65 72 2e 20 | 50 65 6f 70 6c 65 20 68 |either. |People h|
|00000eb0| 61 76 65 20 70 72 6f 70 | 6f 73 65 64 20 73 63 68 |ave prop|osed sch|
|00000ec0| 65 6d 65 73 0a 66 6f 72 | 20 63 6f 6e 73 74 72 75 |emes.for| constru|
|00000ed0| 63 74 69 6e 67 20 74 65 | 73 74 20 64 61 74 61 20 |cting te|st data |
|00000ee0| 61 75 74 6f 6d 61 74 69 | 63 61 6c 6c 79 20 66 72 |automati|cally fr|
|00000ef0| 6f 6d 20 61 20 70 72 6f | 67 72 61 6d 20 74 65 78 |om a pro|gram tex|
|00000f00| 74 2c 20 62 75 74 20 73 | 75 63 68 0a 61 70 70 72 |t, but s|uch.appr|
|00000f10| 6f 61 63 68 65 73 20 72 | 75 6e 20 74 68 65 20 72 |oaches r|un the r|
|00000f20| 69 73 6b 20 6f 66 20 63 | 69 72 63 75 6c 61 72 69 |isk of c|irculari|
|00000f30| 74 79 2c 20 73 69 6e 63 | 65 20 74 68 65 79 20 63 |ty, sinc|e they c|
|00000f40| 61 6e 6e 6f 74 20 61 73 | 73 75 6d 65 20 74 68 61 |annot as|sume tha|
|00000f50| 74 20 61 0a 67 69 76 65 | 6e 20 70 72 6f 67 72 61 |t a.give|n progra|
|00000f60| 6d 20 68 61 73 20 74 68 | 65 20 72 69 67 68 74 20 |m has th|e right |
|00000f70| 73 74 72 75 63 74 75 72 | 65 2e 0a 0a 49 20 68 61 |structur|e...I ha|
|00000f80| 76 65 20 62 65 65 6e 20 | 68 61 76 69 6e 67 20 67 |ve been |having g|
|00000f90| 6f 6f 64 20 6c 75 63 6b | 20 77 69 74 68 20 61 20 |ood luck| with a |
|00000fa0| 73 6f 6d 65 77 68 61 74 | 20 64 69 66 66 65 72 65 |somewhat| differe|
|00000fb0| 6e 74 20 61 70 70 72 6f | 61 63 68 2c 0a 66 69 72 |nt appro|ach,.fir|
|00000fc0| 73 74 20 75 73 65 64 20 | 69 6e 20 31 39 36 30 20 |st used |in 1960 |
|00000fd0| 74 6f 20 64 65 62 75 67 | 20 61 6e 20 7b 5c 6d 63 |to debug| an {\mc|
|00000fe0| 20 41 4c 47 4f 4c 7d 20 | 63 6f 6d 70 69 6c 65 72 | ALGOL} |compiler|
|00000ff0| 2e 20 54 68 65 20 69 64 | 65 61 20 69 73 20 74 6f |. The id|ea is to|
|00001000| 0a 63 6f 6e 73 74 72 75 | 63 74 20 61 20 74 65 73 |.constru|ct a tes|
|00001010| 74 20 66 69 6c 65 20 74 | 68 61 74 20 69 73 20 61 |t file t|hat is a|
|00001020| 62 6f 75 74 20 61 73 20 | 64 69 66 66 65 72 65 6e |bout as |differen|
|00001030| 74 20 66 72 6f 6d 20 61 | 20 74 79 70 69 63 61 6c |t from a| typical|
|00001040| 20 75 73 65 72 0a 61 70 | 70 6c 69 63 61 74 69 6f | user.ap|plicatio|
|00001050| 6e 20 61 73 20 63 6f 75 | 6c 64 20 62 65 20 69 6d |n as cou|ld be im|
|00001060| 61 67 69 6e 65 64 2e 20 | 49 6e 73 74 65 61 64 20 |agined. |Instead |
|00001070| 6f 66 20 74 65 73 74 69 | 6e 67 20 74 68 69 6e 67 |of testi|ng thing|
|00001080| 73 20 74 68 61 74 20 70 | 65 6f 70 6c 65 0a 6e 6f |s that p|eople.no|
|00001090| 72 6d 61 6c 6c 79 20 77 | 61 6e 74 20 74 6f 20 64 |rmally w|ant to d|
|000010a0| 6f 2c 20 74 68 65 20 66 | 69 6c 65 20 74 65 73 74 |o, the f|ile test|
|000010b0| 73 20 63 6f 6d 70 6c 69 | 63 61 74 65 64 20 74 68 |s compli|cated th|
|000010c0| 69 6e 67 73 20 74 68 61 | 74 20 70 65 6f 70 6c 65 |ings tha|t people|
|000010d0| 20 77 6f 75 6c 64 0a 6e | 65 76 65 72 20 64 61 72 | would.n|ever dar|
|000010e0| 65 20 74 6f 20 74 68 69 | 6e 6b 20 6f 66 2c 20 61 |e to thi|nk of, a|
|000010f0| 6e 64 20 69 74 20 65 6d | 62 65 64 73 20 74 68 65 |nd it em|beds the|
|00001100| 73 65 20 63 6f 6d 70 6c | 65 78 69 74 69 65 73 20 |se compl|exities |
|00001110| 69 6e 20 73 74 69 6c 6c | 0a 6d 6f 72 65 20 61 72 |in still|.more ar|
|00001120| 63 61 6e 65 20 63 6f 6e | 73 74 72 75 63 74 69 6f |cane con|structio|
|00001130| 6e 73 2e 20 49 6e 73 74 | 65 61 64 20 6f 66 20 74 |ns. Inst|ead of t|
|00001140| 72 79 69 6e 67 20 74 6f | 20 6d 61 6b 65 20 74 68 |rying to| make th|
|00001150| 65 20 63 6f 6d 70 69 6c | 65 72 20 64 6f 20 74 68 |e compil|er do th|
|00001160| 65 0a 72 69 67 68 74 20 | 74 68 69 6e 67 2c 20 74 |e.right |thing, t|
|00001170| 68 65 20 67 6f 61 6c 20 | 69 73 20 74 6f 20 6d 61 |he goal |is to ma|
|00001180| 6b 65 20 69 74 20 66 61 | 69 6c 20 28 75 6e 74 69 |ke it fa|il (unti|
|00001190| 6c 20 74 68 65 20 62 75 | 67 73 20 68 61 76 65 20 |l the bu|gs have |
|000011a0| 61 6c 6c 20 62 65 65 6e | 20 66 6f 75 6e 64 29 2e |all been| found).|
|000011b0| 0a 0a 54 6f 20 77 72 69 | 74 65 20 73 75 63 68 20 |..To wri|te such |
|000011c0| 61 20 66 69 65 6e 64 69 | 73 68 20 74 65 73 74 20 |a fiendi|sh test |
|000011d0| 72 6f 75 74 69 6e 65 2c | 20 6f 6e 65 20 73 69 6d |routine,| one sim|
|000011e0| 70 6c 79 20 67 65 74 73 | 20 69 6e 74 6f 20 61 20 |ply gets| into a |
|000011f0| 6e 61 73 74 79 20 66 72 | 61 6d 65 0a 6f 66 20 6d |nasty fr|ame.of m|
|00001200| 69 6e 64 20 61 6e 64 20 | 74 72 69 65 73 20 74 6f |ind and |tries to|
|00001210| 20 64 6f 20 65 76 65 72 | 79 74 68 69 6e 67 20 69 | do ever|ything i|
|00001220| 6e 20 74 68 65 20 75 6e | 65 78 70 65 63 74 65 64 |n the un|expected|
|00001230| 20 77 61 79 2e 20 50 61 | 72 61 6d 65 74 65 72 73 | way. Pa|rameters|
|00001240| 0a 74 68 61 74 20 61 72 | 65 20 6e 6f 72 6d 61 6c |.that ar|e normal|
|00001250| 6c 79 20 70 6f 73 69 74 | 69 76 65 20 61 72 65 20 |ly posit|ive are |
|00001260| 73 65 74 20 6e 65 67 61 | 74 69 76 65 20 6f 72 20 |set nega|tive or |
|00001270| 7a 65 72 6f 3b 20 62 6f | 72 64 65 72 6c 69 6e 65 |zero; bo|rderline|
|00001280| 20 63 61 73 65 73 0a 61 | 72 65 20 70 75 73 68 65 | cases.a|re pushe|
|00001290| 64 20 74 6f 20 74 68 65 | 20 6c 69 6d 69 74 3b 20 |d to the| limit; |
|000012a0| 64 65 6c 69 62 65 72 61 | 74 65 20 65 72 72 6f 72 |delibera|te error|
|000012b0| 73 20 61 72 65 20 6d 61 | 64 65 20 69 6e 20 68 6f |s are ma|de in ho|
|000012c0| 70 65 73 20 74 68 61 74 | 20 74 68 65 0a 63 6f 6d |pes that| the.com|
|000012d0| 70 69 6c 65 72 20 77 69 | 6c 6c 20 6e 6f 74 20 62 |piler wi|ll not b|
|000012e0| 65 20 61 62 6c 65 20 74 | 6f 20 72 65 63 6f 76 65 |e able t|o recove|
|000012f0| 72 20 70 72 6f 70 65 72 | 6c 79 20 66 72 6f 6d 20 |r proper|ly from |
|00001300| 74 68 65 6d 2e 0a 0a 41 | 20 75 73 65 72 27 73 20 |them...A| user's |
|00001310| 61 70 70 6c 69 63 61 74 | 69 6f 6e 20 74 65 6e 64 |applicat|ion tend|
|00001320| 73 20 74 6f 20 65 78 65 | 72 63 69 73 65 20 35 30 |s to exe|rcise 50|
|00001330| 5c 25 5c 20 6f 66 20 61 | 20 63 6f 6d 70 69 6c 65 |\%\ of a| compile|
|00001340| 72 27 73 20 6c 6f 67 69 | 63 2c 0a 62 75 74 20 6d |r's logi|c,.but m|
|00001350| 79 20 66 69 72 73 74 20 | 66 69 65 6e 64 69 73 68 |y first |fiendish|
|00001360| 20 74 65 73 74 73 20 74 | 65 6e 64 20 74 6f 20 69 | tests t|end to i|
|00001370| 6d 70 72 6f 76 65 20 74 | 68 69 73 20 74 6f 20 61 |mprove t|his to a|
|00001380| 62 6f 75 74 20 39 30 5c | 25 2e 20 41 73 20 74 68 |bout 90\|%. As th|
|00001390| 65 0a 6e 65 78 74 20 73 | 74 65 70 20 49 20 67 65 |e.next s|tep I ge|
|000013a0| 6e 65 72 61 6c 6c 79 20 | 6d 61 6b 65 20 75 73 65 |nerally |make use|
|000013b0| 20 6f 66 20 66 72 65 71 | 75 65 6e 63 79 2d 63 6f | of freq|uency-co|
|000013c0| 75 6e 74 69 6e 67 20 73 | 6f 66 74 77 61 72 65 20 |unting s|oftware |
|000013d0| 74 6f 20 69 64 65 6e 74 | 69 66 79 0a 74 68 65 20 |to ident|ify.the |
|000013e0| 69 6e 73 74 72 75 63 74 | 69 6f 6e 73 20 74 68 61 |instruct|ions tha|
|000013f0| 74 20 68 61 76 65 20 73 | 74 69 6c 6c 20 6e 6f 74 |t have s|till not|
|00001400| 20 62 65 65 6e 20 63 61 | 6c 6c 65 64 20 75 70 6f | been ca|lled upo|
|00001410| 6e 2e 20 54 68 65 6e 20 | 49 20 61 64 64 20 65 76 |n. Then |I add ev|
|00001420| 65 72 20 6d 6f 72 65 0a | 66 69 65 6e 64 69 73 68 |er more.|fiendish|
|00001430| 6e 65 73 73 20 74 6f 20 | 74 68 65 20 74 65 73 74 |ness to |the test|
|00001440| 20 72 6f 75 74 69 6e 65 | 2c 20 75 6e 74 69 6c 20 | routine|, until |
|00001450| 6d 6f 72 65 20 74 68 61 | 6e 20 39 39 5c 25 5c 20 |more tha|n 99\%\ |
|00001460| 6f 66 20 74 68 65 20 63 | 6f 64 65 0a 68 61 73 20 |of the c|ode.has |
|00001470| 62 65 65 6e 20 75 73 65 | 64 20 61 74 20 6c 65 61 |been use|d at lea|
|00001480| 73 74 20 6f 6e 63 65 2e | 20 28 54 68 65 20 72 65 |st once.| (The re|
|00001490| 6d 61 69 6e 69 6e 67 20 | 62 69 74 73 20 61 72 65 |maining |bits are|
|000014a0| 20 74 68 69 6e 67 73 20 | 74 68 61 74 0a 63 61 6e | things |that.can|
|000014b0| 20 6f 63 63 75 72 20 6f | 6e 6c 79 20 69 66 20 74 | occur o|nly if t|
|000014c0| 68 65 20 73 6f 75 72 63 | 65 20 70 72 6f 67 72 61 |he sourc|e progra|
|000014d0| 6d 20 69 73 20 72 65 61 | 6c 6c 79 20 68 75 67 65 |m is rea|lly huge|
|000014e0| 2c 20 6f 72 20 69 66 20 | 63 65 72 74 61 69 6e 0a |, or if |certain.|
|000014f0| 66 61 74 61 6c 20 65 72 | 72 6f 72 73 20 61 72 65 |fatal er|rors are|
|00001500| 20 64 65 74 65 63 74 65 | 64 3b 20 6f 72 20 74 68 | detecte|d; or th|
|00001510| 65 79 20 61 72 65 20 63 | 61 73 65 73 20 73 6f 20 |ey are c|ases so |
|00001520| 73 69 6d 69 6c 61 72 20 | 74 6f 20 6f 74 68 65 72 |similar |to other|
|00001530| 20 77 65 6c 6c 2d 74 65 | 73 74 65 64 0a 74 68 69 | well-te|sted.thi|
|00001540| 6e 67 73 20 74 68 61 74 | 20 74 68 65 72 65 20 63 |ngs that| there c|
|00001550| 61 6e 20 62 65 20 6c 69 | 74 74 6c 65 20 64 6f 75 |an be li|ttle dou|
|00001560| 62 74 20 6f 66 20 74 68 | 65 69 72 20 76 61 6c 69 |bt of th|eir vali|
|00001570| 64 69 74 79 2e 29 0a 0a | 4f 66 20 63 6f 75 72 73 |dity.)..|Of cours|
|00001580| 65 2c 20 74 68 69 73 20 | 69 73 20 6e 6f 74 20 67 |e, this |is not g|
|00001590| 75 61 72 61 6e 74 65 65 | 64 20 74 6f 20 77 6f 72 |uarantee|d to wor|
|000015a0| 6b 2e 20 42 75 74 20 6d | 79 20 65 78 70 65 72 69 |k. But m|y experi|
|000015b0| 65 6e 63 65 20 69 6e 20 | 31 39 36 30 20 77 61 73 |ence in |1960 was|
|000015c0| 0a 74 68 61 74 20 6f 6e | 6c 79 20 74 77 6f 20 62 |.that on|ly two b|
|000015d0| 75 67 73 20 77 65 72 65 | 20 65 76 65 72 20 66 6f |ugs were| ever fo|
|000015e0| 75 6e 64 20 69 6e 20 74 | 68 61 74 20 7b 5c 6d 63 |und in t|hat {\mc|
|000015f0| 20 41 4c 47 4f 4c 7d 20 | 63 6f 6d 70 69 6c 65 72 | ALGOL} |compiler|
|00001600| 20 61 66 74 65 72 20 69 | 74 0a 63 6f 72 72 65 63 | after i|t.correc|
|00001610| 74 6c 79 20 74 72 61 6e | 73 6c 61 74 65 64 20 74 |tly tran|slated t|
|00001620| 68 61 74 20 6f 72 69 67 | 69 6e 61 6c 20 66 69 65 |hat orig|inal fie|
|00001630| 6e 64 69 73 68 20 74 65 | 73 74 2e 20 41 6e 64 20 |ndish te|st. And |
|00001640| 6f 6e 65 20 6f 66 20 74 | 68 6f 73 65 20 62 75 67 |one of t|hose bug|
|00001650| 73 0a 77 61 73 20 61 63 | 74 75 61 6c 6c 79 20 70 |s.was ac|tually p|
|00001660| 72 65 73 65 6e 74 20 69 | 6e 20 74 68 65 20 72 65 |resent i|n the re|
|00001670| 73 75 6c 74 73 20 6f 66 | 20 74 68 65 20 74 65 73 |sults of| the tes|
|00001680| 74 3b 20 49 20 73 69 6d | 70 6c 79 20 68 61 64 20 |t; I sim|ply had |
|00001690| 66 61 69 6c 65 64 20 74 | 6f 0a 6e 6f 74 69 63 65 |failed t|o.notice|
|000016a0| 20 74 68 61 74 20 74 68 | 65 20 6f 75 74 70 75 74 | that th|e output|
|000016b0| 20 77 61 73 20 69 6e 63 | 6f 72 72 65 63 74 2e 20 | was inc|orrect. |
|000016c0| 53 69 6d 69 6c 61 72 20 | 65 78 70 65 72 69 65 6e |Similar |experien|
|000016d0| 63 65 73 20 6f 63 63 75 | 72 72 65 64 20 6c 61 74 |ces occu|rred lat|
|000016e0| 65 72 0a 64 75 72 69 6e | 67 20 74 68 65 20 36 30 |er.durin|g the 60|
|000016f0| 73 20 61 6e 64 20 37 30 | 73 2c 20 77 69 74 68 20 |s and 70|s, with |
|00001700| 72 65 73 70 65 63 74 20 | 74 6f 20 61 20 66 65 77 |respect |to a few|
|00001710| 20 61 73 73 65 6d 62 6c | 65 72 73 2c 20 63 6f 6d | assembl|ers, com|
|00001720| 70 69 6c 65 72 73 2c 0a | 61 6e 64 20 73 69 6d 75 |pilers,.|and simu|
|00001730| 6c 61 74 6f 72 73 20 74 | 68 61 74 20 49 20 77 72 |lators t|hat I wr|
|00001740| 6f 74 65 2e 0a 0a 54 68 | 69 73 20 6d 65 74 68 6f |ote...Th|is metho|
|00001750| 64 20 6f 66 20 64 65 62 | 75 67 67 69 6e 67 2c 20 |d of deb|ugging, |
|00001760| 63 6f 6d 62 69 6e 65 64 | 20 77 69 74 68 20 74 68 |combined| with th|
|00001770| 65 20 6d 65 74 68 6f 64 | 6f 6c 6f 67 79 20 6f 66 |e method|ology of|
|00001780| 20 73 74 72 75 63 74 75 | 72 65 64 0a 70 72 6f 67 | structu|red.prog|
|00001790| 72 61 6d 6d 69 6e 67 20 | 61 6e 64 20 69 6e 66 6f |ramming |and info|
|000017a0| 72 6d 61 6c 20 70 72 6f | 6f 66 73 20 28 6f 74 68 |rmal pro|ofs (oth|
|000017b0| 65 72 77 69 73 65 20 6b | 6e 6f 77 6e 20 61 73 20 |erwise k|nown as |
|000017c0| 63 61 72 65 66 75 6c 20 | 64 65 73 6b 20 63 68 65 |careful |desk che|
|000017d0| 63 6b 69 6e 67 29 2c 0a | 6c 65 61 64 73 20 74 6f |cking),.|leads to|
|000017e0| 20 67 72 65 61 74 65 72 | 20 72 65 6c 69 61 62 69 | greater| reliabi|
|000017f0| 6c 69 74 79 20 6f 66 20 | 70 72 6f 64 75 63 74 69 |lity of |producti|
|00001800| 6f 6e 20 73 6f 66 74 77 | 61 72 65 20 74 68 61 6e |on softw|are than|
|00001810| 20 61 6e 79 20 6f 74 68 | 65 72 0a 6d 65 74 68 6f | any oth|er.metho|
|00001820| 64 20 49 20 6b 6e 6f 77 | 2e 20 54 68 65 72 65 66 |d I know|. Theref|
|00001830| 6f 72 65 20 49 20 68 61 | 76 65 20 75 73 65 64 20 |ore I ha|ve used |
|00001840| 69 74 20 69 6e 20 64 65 | 76 65 6c 6f 70 69 6e 67 |it in de|veloping|
|00001850| 20 5c 54 65 58 38 32 2c | 20 61 6e 64 20 74 68 65 | \TeX82,| and the|
|00001860| 0a 6d 61 69 6e 20 62 75 | 6c 6b 20 6f 66 20 74 68 |.main bu|lk of th|
|00001870| 69 73 20 72 65 70 6f 72 | 74 20 69 73 20 73 69 6d |is repor|t is sim|
|00001880| 70 6c 79 20 61 20 70 72 | 65 73 65 6e 74 61 74 69 |ply a pr|esentati|
|00001890| 6f 6e 20 6f 66 20 74 68 | 65 20 74 65 73 74 20 70 |on of th|e test p|
|000018a0| 72 6f 67 72 61 6d 0a 74 | 68 61 74 20 77 61 73 20 |rogram.t|hat was |
|000018b0| 75 73 65 64 20 74 6f 20 | 67 65 74 20 74 68 65 20 |used to |get the |
|000018c0| 62 75 67 73 20 6f 75 74 | 20 6f 66 20 5c 54 65 58 |bugs out| of \TeX|
|000018d0| 2e 0a 0a 53 75 63 68 20 | 61 20 74 65 73 74 20 66 |...Such |a test f|
|000018e0| 69 6c 65 20 69 73 20 75 | 73 65 66 75 6c 20 61 6c |ile is u|seful al|
|000018f0| 73 6f 20 61 66 74 65 72 | 20 61 20 70 72 6f 67 72 |so after| a progr|
|00001900| 61 6d 20 68 61 73 20 62 | 65 65 6e 20 64 65 62 75 |am has b|een debu|
|00001910| 67 67 65 64 2c 20 73 69 | 6e 63 65 0a 69 74 20 63 |gged, si|nce.it c|
|00001920| 61 6e 20 62 65 20 75 73 | 65 64 20 74 6f 20 67 69 |an be us|ed to gi|
|00001930| 76 65 20 73 6f 6d 65 20 | 61 73 73 75 72 61 6e 63 |ve some |assuranc|
|00001940| 65 20 74 68 61 74 20 73 | 75 62 73 65 71 75 65 6e |e that s|ubsequen|
|00001950| 74 20 6d 6f 64 69 66 69 | 63 61 74 69 6f 6e 73 20 |t modifi|cations |
|00001960| 64 6f 6e 27 74 0a 6d 65 | 73 73 20 74 68 69 6e 67 |don't.me|ss thing|
|00001970| 73 20 75 70 2e 0a 0a 54 | 68 65 20 74 65 73 74 20 |s up...T|he test |
|00001980| 66 69 6c 65 20 69 73 20 | 63 61 6c 6c 65 64 20 5c |file is |called \|
|00001990| 2e 7b 54 52 49 50 2e 54 | 45 58 7d 2c 20 62 65 63 |.{TRIP.T|EX}, bec|
|000019a0| 61 75 73 65 20 6f 66 20 | 6d 79 20 77 61 72 70 65 |ause of |my warpe|
|000019b0| 64 20 73 65 6e 73 65 20 | 6f 66 20 68 75 6d 6f 72 |d sense |of humor|
|000019c0| 3a 0a 5c 54 65 58 5c 20 | 69 73 20 70 72 6f 6e 6f |:.\TeX\ |is prono|
|000019d0| 75 6e 63 65 64 20 60 60 | 74 65 63 68 68 68 27 27 |unced ``|techhh''|
|000019e0| 2c 20 73 6f 20 74 68 65 | 20 6e 61 6d 65 20 72 65 |, so the| name re|
|000019f0| 6d 69 6e 64 65 64 20 6d | 65 20 6f 66 20 61 0a 74 |minded m|e of a.t|
|00001a00| 72 69 70 74 79 63 68 20 | 28 61 6e 64 20 62 65 73 |riptych |(and bes|
|00001a10| 69 64 65 73 2c 20 49 20 | 77 61 6e 74 65 64 20 74 |ides, I |wanted t|
|00001a20| 6f 20 74 61 6b 65 20 61 | 20 74 72 69 70 20 74 68 |o take a| trip th|
|00001a30| 72 6f 75 67 68 20 74 68 | 65 20 70 72 6f 67 72 61 |rough th|e progra|
|00001a40| 6d 20 77 68 69 6c 65 0a | 74 72 69 70 70 69 6e 67 |m while.|tripping|
|00001a50| 20 69 74 20 75 70 2c 20 | 65 74 63 2e 29 2e 0a 0a | it up, |etc.)...|
|00001a60| 54 68 65 20 63 6f 6e 74 | 65 6e 74 73 20 6f 66 20 |The cont|ents of |
|00001a70| 74 68 69 73 20 74 65 73 | 74 20 66 69 6c 65 20 61 |this tes|t file a|
|00001a80| 72 65 20 73 6f 20 72 65 | 6d 6f 74 65 20 66 72 6f |re so re|mote fro|
|00001a90| 6d 20 77 68 61 74 20 70 | 65 6f 70 6c 65 20 61 63 |m what p|eople ac|
|00001aa0| 74 75 61 6c 6c 79 0a 64 | 6f 20 77 69 74 68 20 5c |tually.d|o with \|
|00001ab0| 54 65 58 2c 20 49 20 66 | 65 65 6c 20 61 70 6f 6c |TeX, I f|eel apol|
|00001ac0| 6f 67 65 74 69 63 20 69 | 66 20 49 20 68 61 76 65 |ogetic i|f I have|
|00001ad0| 20 74 6f 20 65 78 70 6c | 61 69 6e 20 74 68 65 20 | to expl|ain the |
|00001ae0| 63 6f 72 72 65 63 74 0a | 74 72 61 6e 73 6c 61 74 |correct.|translat|
|00001af0| 69 6f 6e 20 6f 66 20 5c | 2e 7b 54 52 49 50 2e 54 |ion of \|.{TRIP.T|
|00001b00| 45 58 7d 3b 20 6e 6f 62 | 6f 64 79 20 72 65 61 6c |EX}; nob|ody real|
|00001b10| 6c 79 20 63 61 72 65 73 | 20 61 62 6f 75 74 20 6d |ly cares| about m|
|00001b20| 6f 73 74 20 6f 66 20 74 | 68 65 0a 6e 69 74 74 79 |ost of t|he.nitty|
|00001b30| 2d 67 72 69 74 74 79 20 | 72 75 6c 65 73 20 74 68 |-gritty |rules th|
|00001b40| 61 74 20 61 72 65 20 69 | 6e 76 6f 6c 76 65 64 2e |at are i|nvolved.|
|00001b50| 20 59 65 74 20 49 20 62 | 65 6c 69 65 76 65 20 5c | Yet I b|elieve \|
|00001b60| 2e 7b 54 52 49 50 7d 20 | 65 78 65 6d 70 6c 69 66 |.{TRIP} |exemplif|
|00001b70| 69 65 73 0a 74 68 65 20 | 73 6f 72 74 20 6f 66 20 |ies.the |sort of |
|00001b80| 74 65 73 74 20 70 72 6f | 67 72 61 6d 20 74 68 61 |test pro|gram tha|
|00001b90| 74 20 68 61 73 20 6f 75 | 74 73 74 61 6e 64 69 6e |t has ou|tstandin|
|00001ba0| 67 20 64 69 61 67 6e 6f | 73 74 69 63 20 61 62 69 |g diagno|stic abi|
|00001bb0| 6c 69 74 79 2c 20 61 73 | 0a 65 78 70 6c 61 69 6e |lity, as|.explain|
|00001bc0| 65 64 20 61 62 6f 76 65 | 2e 0a 0a 49 66 20 73 6f |ed above|...If so|
|00001bd0| 6d 65 62 6f 64 79 20 63 | 6c 61 69 6d 73 20 74 6f |mebody c|laims to|
|00001be0| 20 68 61 76 65 20 61 20 | 63 6f 72 72 65 63 74 20 | have a |correct |
|00001bf0| 69 6d 70 6c 65 6d 65 6e | 74 61 74 69 6f 6e 20 6f |implemen|tation o|
|00001c00| 66 20 5c 54 65 58 2c 20 | 49 20 77 69 6c 6c 20 6e |f \TeX, |I will n|
|00001c10| 6f 74 0a 62 65 6c 69 65 | 76 65 20 69 74 20 75 6e |ot.belie|ve it un|
|00001c20| 74 69 6c 20 49 20 73 65 | 65 20 74 68 61 74 20 5c |til I se|e that \|
|00001c30| 2e 7b 54 52 49 50 2e 54 | 45 58 7d 20 69 73 20 74 |.{TRIP.T|EX} is t|
|00001c40| 72 61 6e 73 6c 61 74 65 | 64 20 70 72 6f 70 65 72 |ranslate|d proper|
|00001c50| 6c 79 2e 0a 49 20 70 72 | 6f 70 6f 73 65 2c 20 69 |ly..I pr|opose, i|
|00001c60| 6e 20 66 61 63 74 2c 20 | 74 68 61 74 20 61 20 70 |n fact, |that a p|
|00001c70| 72 6f 67 72 61 6d 20 6d | 75 73 74 20 6d 65 65 74 |rogram m|ust meet|
|00001c80| 20 74 77 6f 20 63 72 69 | 74 65 72 69 61 20 62 65 | two cri|teria be|
|00001c90| 66 6f 72 65 20 69 74 0a | 63 61 6e 20 6a 75 73 74 |fore it.|can just|
|00001ca0| 69 66 69 61 62 6c 79 20 | 62 65 20 63 61 6c 6c 65 |ifiably |be calle|
|00001cb0| 64 20 5c 54 65 58 3a 20 | 28 31 29 7e 54 68 65 20 |d \TeX: |(1)~The |
|00001cc0| 70 65 72 73 6f 6e 20 77 | 68 6f 20 77 72 6f 74 65 |person w|ho wrote|
|00001cd0| 20 69 74 20 6d 75 73 74 | 20 62 65 0a 68 61 70 70 | it must| be.happ|
|00001ce0| 79 20 77 69 74 68 20 74 | 68 65 20 77 61 79 20 69 |y with t|he way i|
|00001cf0| 74 20 77 6f 72 6b 73 20 | 61 74 20 68 69 73 20 6f |t works |at his o|
|00001d00| 72 20 68 65 72 20 69 6e | 73 74 61 6c 6c 61 74 69 |r her in|stallati|
|00001d10| 6f 6e 3b 20 61 6e 64 20 | 28 32 29 7e 74 68 65 0a |on; and |(2)~the.|
|00001d20| 70 72 6f 67 72 61 6d 20 | 6d 75 73 74 20 70 72 6f |program |must pro|
|00001d30| 64 75 63 65 20 74 68 65 | 20 63 6f 72 72 65 63 74 |duce the| correct|
|00001d40| 20 72 65 73 75 6c 74 73 | 20 66 72 6f 6d 20 5c 2e | results| from \.|
|00001d50| 7b 54 52 49 50 2e 54 45 | 58 7d 2e 0a 0a 5c 54 65 |{TRIP.TE|X}...\Te|
|00001d60| 58 5c 20 69 73 20 69 6e | 20 74 68 65 20 70 75 62 |X\ is in| the pub|
|00001d70| 6c 69 63 20 64 6f 6d 61 | 69 6e 2c 20 61 6e 64 20 |lic doma|in, and |
|00001d80| 69 74 73 20 61 6c 67 6f | 72 69 74 68 6d 73 20 61 |its algo|rithms a|
|00001d90| 72 65 20 70 75 62 6c 69 | 73 68 65 64 3b 0a 49 27 |re publi|shed;.I'|
|00001da0| 76 65 20 64 6f 6e 65 20 | 74 68 69 73 20 73 69 6e |ve done |this sin|
|00001db0| 63 65 20 49 20 64 6f 20 | 6e 6f 74 20 77 61 6e 74 |ce I do |not want|
|00001dc0| 20 74 6f 20 64 69 73 63 | 6f 75 72 61 67 65 20 69 | to disc|ourage i|
|00001dd0| 74 73 20 75 73 65 20 62 | 79 20 70 6c 61 63 69 6e |ts use b|y placin|
|00001de0| 67 0a 70 72 6f 70 72 69 | 65 74 61 72 79 20 72 65 |g.propri|etary re|
|00001df0| 73 74 72 69 63 74 69 6f | 6e 73 20 6f 6e 20 74 68 |strictio|ns on th|
|00001e00| 65 20 73 6f 66 74 77 61 | 72 65 2e 20 48 6f 77 65 |e softwa|re. Howe|
|00001e10| 76 65 72 2c 20 49 20 64 | 6f 6e 27 74 20 77 61 6e |ver, I d|on't wan|
|00001e20| 74 0a 66 61 75 6c 74 79 | 20 69 6d 69 74 61 74 69 |t.faulty| imitati|
|00001e30| 6f 6e 73 20 74 6f 20 6d | 61 73 71 75 65 72 61 64 |ons to m|asquerad|
|00001e40| 65 20 61 73 20 5c 54 65 | 58 5c 20 70 72 6f 63 65 |e as \Te|X\ proce|
|00001e50| 73 73 6f 72 73 2c 20 73 | 69 6e 63 65 20 75 73 65 |ssors, s|ince use|
|00001e60| 72 73 0a 77 61 6e 74 20 | 5c 54 65 58 5c 20 74 6f |rs.want |\TeX\ to|
|00001e70| 20 70 72 6f 64 75 63 65 | 20 69 64 65 6e 74 69 63 | produce| identic|
|00001e80| 61 6c 20 72 65 73 75 6c | 74 73 20 6f 6e 20 64 69 |al resul|ts on di|
|00001e90| 66 66 65 72 65 6e 74 20 | 6d 61 63 68 69 6e 65 73 |fferent |machines|
|00001ea0| 2e 0a 48 65 6e 63 65 20 | 49 20 61 6d 20 70 6c 61 |..Hence |I am pla|
|00001eb0| 6e 6e 69 6e 67 20 74 6f | 20 64 6f 20 77 68 61 74 |nning to| do what|
|00001ec0| 65 76 65 72 20 49 20 63 | 61 6e 20 74 6f 20 73 75 |ever I c|an to su|
|00001ed0| 70 70 72 65 73 73 20 61 | 6e 79 20 73 79 73 74 65 |ppress a|ny syste|
|00001ee0| 6d 73 20 74 68 61 74 0a | 63 61 6c 6c 20 74 68 65 |ms that.|call the|
|00001ef0| 6d 73 65 6c 76 65 73 20 | 5c 54 65 58 5c 20 77 69 |mselves |\TeX\ wi|
|00001f00| 74 68 6f 75 74 20 6d 65 | 65 74 69 6e 67 20 63 6f |thout me|eting co|
|00001f10| 6e 64 69 74 69 6f 6e 73 | 20 28 31 29 20 61 6e 64 |nditions| (1) and|
|00001f20| 7e 28 32 29 2e 0a 49 20 | 68 61 76 65 20 63 6f 70 |~(2)..I |have cop|
|00001f30| 79 72 69 67 68 74 65 64 | 20 74 68 65 20 70 72 6f |yrighted| the pro|
|00001f40| 67 72 61 6d 73 20 73 6f | 20 74 68 61 74 20 49 20 |grams so| that I |
|00001f50| 68 61 76 65 20 73 6f 6d | 65 20 63 68 61 6e 63 65 |have som|e chance|
|00001f60| 20 74 6f 20 66 6f 72 62 | 69 64 0a 75 6e 61 75 74 | to forb|id.unaut|
|00001f70| 68 6f 72 69 7a 65 64 20 | 63 6f 70 69 65 73 3b 20 |horized |copies; |
|00001f80| 49 20 65 78 70 6c 69 63 | 69 74 6c 79 20 61 75 74 |I explic|itly aut|
|00001f90| 68 6f 72 69 7a 65 20 63 | 6f 70 79 69 6e 67 20 6f |horize c|opying o|
|00001fa0| 66 20 63 6f 72 72 65 63 | 74 0a 5c 54 65 58 5c 20 |f correc|t.\TeX\ |
|00001fb0| 69 6d 70 6c 65 6d 65 6e | 74 61 74 69 6f 6e 73 2c |implemen|tations,|
|00001fc0| 20 61 6e 64 20 6e 6f 74 | 20 6f 66 20 69 6e 63 6f | and not| of inco|
|00001fd0| 72 72 65 63 74 20 6f 6e | 65 73 21 0a 0a 54 68 65 |rrect on|es!..The|
|00001fe0| 20 72 65 6d 61 69 6e 64 | 65 72 20 6f 66 20 74 68 | remaind|er of th|
|00001ff0| 69 73 20 72 65 70 6f 72 | 74 20 63 6f 6e 73 69 73 |is repor|t consis|
|00002000| 74 73 20 6f 66 20 61 70 | 70 65 6e 64 69 63 65 73 |ts of ap|pendices|
|00002010| 2c 20 77 68 6f 73 65 20 | 63 6f 6e 74 65 6e 74 73 |, whose |contents|
|00002020| 20 6f 75 67 68 74 0a 74 | 6f 20 62 65 20 64 65 73 | ought.t|o be des|
|00002030| 63 72 69 62 65 64 20 62 | 72 69 65 66 6c 79 20 68 |cribed b|riefly h|
|00002040| 65 72 65 3a 0a 0a 41 70 | 70 65 6e 64 69 78 20 41 |ere:..Ap|pendix A|
|00002050| 20 65 78 70 6c 61 69 6e | 73 20 69 6e 20 64 65 74 | explain|s in det|
|00002060| 61 69 6c 20 68 6f 77 20 | 74 6f 20 63 61 72 72 79 |ail how |to carry|
|00002070| 20 6f 75 74 20 61 20 74 | 65 73 74 20 6f 66 20 5c | out a t|est of \|
|00002080| 54 65 58 2c 20 67 69 76 | 65 6e 0a 61 20 74 61 70 |TeX, giv|en.a tap|
|00002090| 65 20 74 68 61 74 20 63 | 6f 6e 74 61 69 6e 73 20 |e that c|ontains |
|000020a0| 63 6f 70 69 65 73 20 6f | 66 20 74 68 65 20 6f 74 |copies o|f the ot|
|000020b0| 68 65 72 20 61 70 70 65 | 6e 64 69 63 65 73 2e 0a |her appe|ndices..|
|000020c0| 0a 41 70 70 65 6e 64 69 | 78 20 42 20 69 73 20 5c |.Appendi|x B is \|
|000020d0| 2e 7b 54 52 49 50 2e 54 | 45 58 7d 2c 20 74 68 65 |.{TRIP.T|EX}, the|
|000020e0| 20 66 69 65 6e 64 69 73 | 68 20 74 65 73 74 20 66 | fiendis|h test f|
|000020f0| 69 6c 65 20 74 68 61 74 | 20 68 61 73 20 61 6c 72 |ile that| has alr|
|00002100| 65 61 64 79 0a 62 65 65 | 6e 20 6d 65 6e 74 69 6f |eady.bee|n mentio|
|00002110| 6e 65 64 2e 20 50 65 6f | 70 6c 65 20 77 68 6f 20 |ned. Peo|ple who |
|00002120| 74 68 69 6e 6b 20 74 68 | 61 74 20 74 68 65 79 20 |think th|at they |
|00002130| 75 6e 64 65 72 73 74 61 | 6e 64 20 5c 54 65 58 5c |understa|nd \TeX\|
|00002140| 20 61 72 65 20 63 68 61 | 6c 6c 65 6e 67 65 64 0a | are cha|llenged.|
|00002150| 74 6f 20 73 65 65 20 69 | 66 20 74 68 65 79 20 6b |to see i|f they k|
|00002160| 6e 6f 77 20 77 68 61 74 | 20 5c 54 65 58 5c 20 69 |now what| \TeX\ i|
|00002170| 73 20 73 75 70 70 6f 73 | 65 64 20 74 6f 20 64 6f |s suppos|ed to do|
|00002180| 20 77 69 74 68 20 74 68 | 69 73 20 66 69 6c 65 2e | with th|is file.|
|00002190| 0a 50 65 6f 70 6c 65 20 | 77 68 6f 20 6b 6e 6f 77 |.People |who know|
|000021a0| 20 6f 6e 6c 79 20 61 20 | 6c 69 74 74 6c 65 20 61 | only a |little a|
|000021b0| 62 6f 75 74 20 5c 54 65 | 58 5c 20 6d 69 67 68 74 |bout \Te|X\ might|
|000021c0| 20 73 74 69 6c 6c 20 66 | 69 6e 64 20 69 74 0a 69 | still f|ind it.i|
|000021d0| 6e 74 65 72 65 73 74 69 | 6e 67 20 74 6f 20 73 74 |nteresti|ng to st|
|000021e0| 75 64 79 20 41 70 70 65 | 6e 64 69 78 7e 42 2c 20 |udy Appe|ndix~B, |
|000021f0| 6a 75 73 74 20 74 6f 20 | 67 65 74 20 73 6f 6d 65 |just to |get some|
|00002200| 20 69 6e 73 69 67 68 74 | 73 20 69 6e 74 6f 20 74 | insight|s into t|
|00002210| 68 65 0a 6d 65 74 68 6f | 64 6f 6c 6f 67 79 20 61 |he.metho|dology a|
|00002220| 64 76 6f 63 61 74 65 64 | 20 68 65 72 65 2e 0a 0a |dvocated| here...|
|00002230| 41 70 70 65 6e 64 69 78 | 20 43 20 69 73 20 5c 2e |Appendix| C is \.|
|00002240| 7b 54 52 49 50 2e 50 4c | 7d 2c 20 74 68 65 20 70 |{TRIP.PL|}, the p|
|00002250| 72 6f 70 65 72 74 79 2d | 6c 69 73 74 20 64 65 73 |roperty-|list des|
|00002260| 63 72 69 70 74 69 6f 6e | 20 6f 66 20 61 0a 73 70 |cription| of a.sp|
|00002270| 65 63 69 61 6c 20 66 6f | 6e 74 20 63 61 6c 6c 65 |ecial fo|nt calle|
|00002280| 64 20 5c 2e 7b 74 72 69 | 70 7d 2e 20 54 68 69 73 |d \.{tri|p}. This|
|00002290| 20 69 73 20 74 68 65 20 | 6f 6e 6c 79 20 66 6f 6e | is the |only fon|
|000022a0| 74 20 75 73 65 64 20 62 | 79 20 5c 2e 7b 54 52 49 |t used b|y \.{TRI|
|000022b0| 50 2e 54 45 58 7d 2e 0a | 54 68 65 72 65 20 61 72 |P.TEX}..|There ar|
|000022c0| 65 20 6e 6f 20 67 72 61 | 70 68 69 63 20 63 68 61 |e no gra|phic cha|
|000022d0| 72 61 63 74 65 72 73 20 | 61 73 73 6f 63 69 61 74 |racters |associat|
|000022e0| 65 64 20 77 69 74 68 20 | 5c 2e 7b 74 72 69 70 7d |ed with |\.{trip}|
|000022f0| 20 74 68 61 74 20 63 6f | 75 6c 64 0a 70 6f 73 73 | that co|uld.poss|
|00002300| 69 62 6c 79 20 62 65 20 | 70 72 69 6e 74 65 64 3b |ibly be |printed;|
|00002310| 20 69 6e 64 65 65 64 2c | 20 5c 2e 7b 54 52 49 50 | indeed,| \.{TRIP|
|00002320| 2e 50 4c 7d 20 64 65 73 | 63 72 69 62 65 73 20 74 |.PL} des|cribes t|
|00002330| 68 65 20 70 72 6f 70 65 | 72 74 69 65 73 20 6f 66 |he prope|rties of|
|00002340| 20 61 20 66 6f 6e 74 0a | 74 68 61 74 20 69 73 20 | a font.|that is |
|00002350| 61 73 20 77 65 69 72 64 | 20 61 73 20 74 68 65 20 |as weird| as the |
|00002360| 60 60 64 6f 63 75 6d 65 | 6e 74 27 27 20 64 65 73 |``docume|nt'' des|
|00002370| 63 72 69 62 65 64 20 62 | 79 20 5c 2e 7b 54 52 49 |cribed b|y \.{TRI|
|00002380| 50 2e 54 45 58 7d 2e 0a | 0a 41 70 70 65 6e 64 69 |P.TEX}..|.Appendi|
|00002390| 78 20 44 20 69 73 20 5c | 2e 7b 54 52 49 50 49 4e |x D is \|.{TRIPIN|
|000023a0| 2e 4c 4f 47 7d 2c 20 61 | 20 63 6f 72 72 65 63 74 |.LOG}, a| correct|
|000023b0| 20 74 72 61 6e 73 63 72 | 69 70 74 20 66 69 6c 65 | transcr|ipt file|
|000023c0| 20 5c 2e 7b 54 52 49 50 | 2e 4c 4f 47 7d 0a 74 68 | \.{TRIP|.LOG}.th|
|000023d0| 61 74 20 72 65 73 75 6c | 74 73 20 69 66 20 5c 2e |at resul|ts if \.|
|000023e0| 7b 49 4e 49 54 45 58 7d | 20 69 73 20 61 70 70 6c |{INITEX}| is appl|
|000023f0| 69 65 64 20 74 6f 20 5c | 2e 7b 54 52 49 50 2e 54 |ied to \|.{TRIP.T|
|00002400| 45 58 7d 2e 20 28 5c 2e | 7b 49 4e 49 54 45 58 7d |EX}. (\.|{INITEX}|
|00002410| 20 69 73 0a 74 68 65 20 | 6e 61 6d 65 20 6f 66 20 | is.the |name of |
|00002420| 61 20 76 65 72 73 69 6f | 6e 20 6f 66 20 5c 54 65 |a versio|n of \Te|
|00002430| 58 5c 20 74 68 61 74 20 | 64 6f 65 73 20 63 65 72 |X\ that |does cer|
|00002440| 74 61 69 6e 20 69 6e 69 | 74 69 61 6c 69 7a 61 74 |tain ini|tializat|
|00002450| 69 6f 6e 73 3b 0a 74 68 | 69 73 20 72 75 6e 20 6f |ions;.th|is run o|
|00002460| 66 20 5c 2e 7b 49 4e 49 | 54 45 58 7d 20 61 6c 73 |f \.{INI|TEX} als|
|00002470| 6f 20 63 72 65 61 74 65 | 73 20 61 20 62 69 6e 61 |o create|s a bina|
|00002480| 72 79 20 66 6f 72 6d 61 | 74 20 66 69 6c 65 20 63 |ry forma|t file c|
|00002490| 61 6c 6c 65 64 20 5c 2e | 7b 54 52 49 50 2e 46 4d |alled \.|{TRIP.FM|
|000024a0| 54 7d 2e 29 0a 0a 41 70 | 70 65 6e 64 69 78 20 45 |T}.)..Ap|pendix E|
|000024b0| 20 69 73 20 61 20 63 6f | 72 72 65 63 74 20 74 72 | is a co|rrect tr|
|000024c0| 61 6e 73 63 72 69 70 74 | 20 66 69 6c 65 20 5c 2e |anscript| file \.|
|000024d0| 7b 54 52 49 50 2e 4c 4f | 47 7d 20 74 68 61 74 20 |{TRIP.LO|G} that |
|000024e0| 72 65 73 75 6c 74 73 20 | 69 66 0a 5c 2e 7b 49 4e |results |if.\.{IN|
|000024f0| 49 54 45 58 7d 20 6f 72 | 20 61 6e 79 20 6f 74 68 |ITEX} or| any oth|
|00002500| 65 72 20 76 65 72 73 69 | 6f 6e 20 6f 66 20 5c 54 |er versi|on of \T|
|00002510| 65 58 5c 20 69 73 20 61 | 70 70 6c 69 65 64 20 74 |eX\ is a|pplied t|
|00002520| 6f 20 5c 2e 7b 54 52 49 | 50 2e 54 45 58 7d 0a 77 |o \.{TRI|P.TEX}.w|
|00002530| 69 74 68 20 66 6f 72 6d | 61 74 20 5c 2e 7b 54 52 |ith form|at \.{TR|
|00002540| 49 50 2e 46 4d 54 7d 2e | 0a 0a 41 70 70 65 6e 64 |IP.FMT}.|..Append|
|00002550| 69 78 20 46 20 69 73 20 | 5c 2e 7b 54 52 49 50 2e |ix F is |\.{TRIP.|
|00002560| 54 59 50 7d 2c 20 74 68 | 65 20 73 79 6d 62 6f 6c |TYP}, th|e symbol|
|00002570| 69 63 20 76 65 72 73 69 | 6f 6e 20 6f 66 20 61 20 |ic versi|on of a |
|00002580| 63 6f 72 72 65 63 74 20 | 6f 75 74 70 75 74 0a 66 |correct |output.f|
|00002590| 69 6c 65 20 5c 2e 7b 54 | 52 49 50 2e 44 56 49 7d |ile \.{T|RIP.DVI}|
|000025a0| 20 74 68 61 74 20 77 61 | 73 20 70 72 6f 64 75 63 | that wa|s produc|
|000025b0| 65 64 20 61 74 20 74 68 | 65 20 73 61 6d 65 20 74 |ed at th|e same t|
|000025c0| 69 6d 65 20 61 73 20 74 | 68 65 20 5c 2e 7b 54 52 |ime as t|he \.{TR|
|000025d0| 49 50 2e 4c 4f 47 7d 0a | 66 69 6c 65 20 6f 66 20 |IP.LOG}.|file of |
|000025e0| 41 70 70 65 6e 64 69 78 | 7e 45 2e 0a 0a 41 70 70 |Appendix|~E...App|
|000025f0| 65 6e 64 69 78 20 47 20 | 69 73 20 5c 2e 7b 54 52 |endix G |is \.{TR|
|00002600| 49 50 4f 53 2e 54 45 58 | 7d 2c 20 61 20 73 68 6f |IPOS.TEX|}, a sho|
|00002610| 72 74 20 66 69 6c 65 20 | 77 72 69 74 74 65 6e 20 |rt file |written |
|00002620| 6f 75 74 20 61 6e 64 20 | 72 65 61 64 20 69 6e 0a |out and |read in.|
|00002630| 62 79 20 5c 54 65 58 5c | 20 77 68 65 6e 20 69 74 |by \TeX\| when it|
|00002640| 20 70 72 6f 63 65 73 73 | 65 73 20 5c 2e 7b 54 52 | process|es \.{TR|
|00002650| 49 50 2e 54 45 58 7d 2e | 0a 0a 41 70 70 65 6e 64 |IP.TEX}.|..Append|
|00002660| 69 78 20 48 20 69 73 20 | 5c 2e 7b 54 52 49 50 2e |ix H is |\.{TRIP.|
|00002670| 46 4f 54 7d 2c 20 61 6e | 20 61 62 62 72 65 76 69 |FOT}, an| abbrevi|
|00002680| 61 74 65 64 20 76 65 72 | 73 69 6f 6e 20 6f 66 20 |ated ver|sion of |
|00002690| 41 70 70 65 6e 64 69 78 | 20 45 20 74 68 61 74 0a |Appendix| E that.|
|000026a0| 61 70 70 65 61 72 73 20 | 6f 6e 20 74 68 65 20 75 |appears |on the u|
|000026b0| 73 65 72 27 73 20 74 65 | 72 6d 69 6e 61 6c 20 64 |ser's te|rminal d|
|000026c0| 75 72 69 6e 67 20 74 68 | 65 20 72 75 6e 20 74 68 |uring th|e run th|
|000026d0| 61 74 20 70 72 6f 64 75 | 63 65 73 20 5c 2e 7b 54 |at produ|ces \.{T|
|000026e0| 52 49 50 2e 4c 4f 47 7d | 0a 61 6e 64 20 5c 2e 7b |RIP.LOG}|.and \.{|
|000026f0| 54 52 49 50 2e 44 56 49 | 7d 2e 0a 0a 54 68 65 20 |TRIP.DVI|}...The |
|00002700| 64 65 62 75 67 67 69 6e | 67 20 6f 66 20 5c 54 65 |debuggin|g of \Te|
|00002710| 58 5c 20 61 6e 64 20 74 | 68 65 20 74 65 73 74 69 |X\ and t|he testi|
|00002720| 6e 67 20 6f 66 20 74 68 | 65 20 61 64 65 71 75 61 |ng of th|e adequa|
|00002730| 63 79 20 6f 66 20 5c 2e | 7b 54 52 49 50 2e 54 45 |cy of \.|{TRIP.TE|
|00002740| 58 7d 0a 63 6f 75 6c 64 | 20 6e 6f 74 20 68 61 76 |X}.could| not hav|
|00002750| 65 20 62 65 65 6e 20 64 | 6f 6e 65 20 6e 65 61 72 |e been d|one near|
|00002760| 6c 79 20 61 73 20 77 65 | 6c 6c 20 61 73 20 72 65 |ly as we|ll as re|
|00002770| 70 6f 72 74 65 64 20 68 | 65 72 65 20 65 78 63 65 |ported h|ere exce|
|00002780| 70 74 20 66 6f 72 0a 74 | 68 65 20 6d 61 67 6e 69 |pt for.t|he magni|
|00002790| 66 69 63 65 6e 74 20 73 | 6f 66 74 77 61 72 65 20 |ficent s|oftware |
|000027a0| 73 75 70 70 6f 72 74 20 | 70 72 6f 76 69 64 65 64 |support |provided|
|000027b0| 20 62 79 20 6d 79 20 63 | 6f 6c 6c 65 61 67 75 65 | by my c|olleague|
|000027c0| 20 44 61 76 69 64 20 52 | 2e 20 46 75 63 68 73 2e | David R|. Fuchs.|
|000027d0| 0a 49 6e 20 70 61 72 74 | 69 63 75 6c 61 72 2c 20 |.In part|icular, |
|000027e0| 68 65 20 65 78 74 65 6e | 64 65 64 20 6f 75 72 20 |he exten|ded our |
|000027f0| 6c 6f 63 61 6c 20 50 61 | 73 63 61 6c 20 63 6f 6d |local Pa|scal com|
|00002800| 70 69 6c 65 72 20 73 6f | 20 74 68 61 74 0a 66 72 |piler so| that.fr|
|00002810| 65 71 75 65 6e 63 79 20 | 63 6f 75 6e 74 69 6e 67 |equency |counting|
|00002820| 20 61 6e 64 20 61 20 6e | 75 6d 62 65 72 20 6f 66 | and a n|umber of|
|00002830| 20 6f 74 68 65 72 20 69 | 6d 70 6f 72 74 61 6e 74 | other i|mportant|
|00002840| 20 66 65 61 74 75 72 65 | 73 20 77 65 72 65 20 61 | feature|s were a|
|00002850| 64 64 65 64 0a 74 6f 20 | 69 74 73 20 6f 6e 6c 69 |dded.to |its onli|
|00002860| 6e 65 20 64 65 62 75 67 | 67 69 6e 67 20 61 62 69 |ne debug|ging abi|
|00002870| 6c 69 74 69 65 73 2e 0a | 0a 54 68 65 20 6d 65 74 |lities..|.The met|
|00002880| 68 6f 64 20 6f 66 20 74 | 65 73 74 69 6e 67 20 61 |hod of t|esting a|
|00002890| 64 76 6f 63 61 74 65 64 | 20 68 65 72 65 20 68 61 |dvocated| here ha|
|000028a0| 73 20 6f 6e 65 20 63 68 | 69 65 66 20 64 69 66 66 |s one ch|ief diff|
|000028b0| 69 63 75 6c 74 79 20 74 | 68 61 74 20 64 65 73 65 |iculty t|hat dese|
|000028c0| 72 76 65 73 0a 63 6f 6d | 6d 65 6e 74 3a 20 49 20 |rves.com|ment: I |
|000028d0| 68 61 64 20 74 6f 20 76 | 65 72 69 66 79 20 62 79 |had to v|erify by|
|000028e0| 20 68 61 6e 64 20 74 68 | 61 74 20 5c 54 65 58 5c | hand th|at \TeX\|
|000028f0| 20 64 69 64 20 74 68 65 | 20 72 69 67 68 74 20 74 | did the| right t|
|00002900| 68 69 6e 67 73 0a 74 6f | 20 5c 2e 7b 54 52 49 50 |hings.to| \.{TRIP|
|00002910| 2e 54 45 58 7d 2e 20 54 | 68 69 73 20 74 6f 6f 6b |.TEX}. T|his took|
|00002920| 20 6d 61 6e 79 20 68 6f | 75 72 73 2c 20 61 6e 64 | many ho|urs, and|
|00002930| 20 70 65 72 68 61 70 73 | 20 49 20 68 61 76 65 20 | perhaps| I have |
|00002940| 6d 69 73 73 65 64 0a 73 | 6f 6d 65 74 68 69 6e 67 |missed.s|omething|
|00002950| 20 28 61 73 20 49 20 64 | 69 64 20 69 6e 20 31 39 | (as I d|id in 19|
|00002960| 36 30 29 3b 20 49 20 6d | 75 73 74 20 63 6f 6e 66 |60); I m|ust conf|
|00002970| 65 73 73 20 74 68 61 74 | 20 49 20 68 61 76 65 20 |ess that| I have |
|00002980| 6e 6f 74 20 63 68 65 63 | 6b 65 64 0a 65 76 65 72 |not chec|ked.ever|
|00002990| 79 20 73 69 6e 67 6c 65 | 20 6e 75 6d 62 65 72 20 |y single| number |
|000029a0| 69 6e 20 41 70 70 65 6e | 64 69 63 65 73 20 45 20 |in Appen|dices E |
|000029b0| 61 6e 64 7e 46 2e 20 48 | 6f 77 65 76 65 72 2c 20 |and~F. H|owever, |
|000029c0| 49 27 6d 20 77 69 6c 6c | 69 6e 67 20 74 6f 20 70 |I'm will|ing to p|
|000029d0| 61 79 0a 5c 24 33 32 37 | 2e 36 38 20 74 6f 20 74 |ay.\$327|.68 to t|
|000029e0| 68 65 20 66 69 72 73 74 | 20 66 69 6e 64 65 72 20 |he first| finder |
|000029f0| 6f 66 20 61 6e 79 20 72 | 65 6d 61 69 6e 69 6e 67 |of any r|emaining|
|00002a00| 20 62 75 67 20 69 6e 20 | 5c 54 65 58 2c 20 61 6e | bug in |\TeX, an|
|00002a10| 64 20 49 20 77 69 6c 6c | 0a 62 65 20 73 75 72 70 |d I will|.be surp|
|00002a20| 72 69 73 65 64 20 69 66 | 20 74 68 61 74 20 62 75 |rised if| that bu|
|00002a30| 67 20 64 6f 65 73 6e 27 | 74 20 73 68 6f 77 20 75 |g doesn'|t show u|
|00002a40| 70 20 61 6c 73 6f 20 69 | 6e 20 41 70 70 65 6e 64 |p also i|n Append|
|00002a50| 69 78 7e 45 2e 20 28 49 | 20 70 6c 61 6e 20 74 6f |ix~E. (I| plan to|
|00002a60| 0a 77 72 69 74 65 20 61 | 20 74 65 63 68 6e 69 63 |.write a| technic|
|00002a70| 61 6c 20 72 65 70 6f 72 | 74 20 61 62 6f 75 74 20 |al repor|t about |
|00002a80| 61 6c 6c 20 6f 66 20 74 | 68 65 20 65 72 72 6f 72 |all of t|he error|
|00002a90| 73 20 75 6c 74 69 6d 61 | 74 65 6c 79 20 66 6f 75 |s ultima|tely fou|
|00002aa0| 6e 64 20 69 6e 20 5c 54 | 65 58 3b 20 74 68 61 74 |nd in \T|eX; that|
|00002ab0| 0a 72 65 70 6f 72 74 20 | 77 69 6c 6c 20 74 65 6c |.report |will tel|
|00002ac0| 6c 20 77 68 65 74 68 65 | 72 20 61 6e 79 20 62 75 |l whethe|r any bu|
|00002ad0| 67 73 20 61 72 65 20 64 | 69 73 63 6f 76 65 72 65 |gs are d|iscovere|
|00002ae0| 64 20 62 65 74 77 65 65 | 6e 20 6e 6f 77 20 61 6e |d betwee|n now an|
|00002af0| 64 7e 74 68 65 6e 21 29 | 0a 0a 5c 76 66 69 6c 6c |d~then!)|..\vfill|
|00002b00| 5c 65 6a 65 63 74 0a 0a | 5c 73 65 63 74 69 6f 6e |\eject..|\section|
|00002b10| 20 41 70 70 65 6e 64 69 | 78 20 41 3a 20 48 6f 77 | Appendi|x A: How|
|00002b20| 20 74 6f 20 74 65 73 74 | 20 5c 54 65 58 2e 0a 0a | to test| \TeX...|
|00002b30| 5c 69 74 65 6d 7b 30 2e | 7d 20 4c 65 74 27 73 20 |\item{0.|} Let's |
|00002b40| 61 73 73 75 6d 65 20 74 | 68 61 74 20 79 6f 75 20 |assume t|hat you |
|00002b50| 68 61 76 65 20 61 20 74 | 61 70 65 20 63 6f 6e 74 |have a t|ape cont|
|00002b60| 61 69 6e 69 6e 67 20 5c | 2e 7b 54 52 49 50 2e 54 |aining \|.{TRIP.T|
|00002b70| 45 58 7d 2c 0a 5c 2e 7b | 54 52 49 50 2e 50 4c 7d |EX},.\.{|TRIP.PL}|
|00002b80| 2c 20 5c 2e 7b 54 52 49 | 50 49 4e 2e 4c 4f 47 7d |, \.{TRI|PIN.LOG}|
|00002b90| 2c 20 5c 2e 7b 54 52 49 | 50 2e 4c 4f 47 7d 2c 20 |, \.{TRI|P.LOG}, |
|00002ba0| 5c 2e 7b 54 52 49 50 2e | 54 59 50 7d 2c 20 61 6e |\.{TRIP.|TYP}, an|
|00002bb0| 64 20 5c 2e 7b 54 52 49 | 50 2e 46 4f 54 7d 2c 0a |d \.{TRI|P.FOT},.|
|00002bc0| 61 73 20 69 6e 20 41 70 | 70 65 6e 64 69 63 65 73 |as in Ap|pendices|
|00002bd0| 20 42 2c 20 43 2c 20 44 | 2c 20 45 2c 20 46 2c 20 | B, C, D|, E, F, |
|00002be0| 61 6e 64 7e 47 2e 20 46 | 75 72 74 68 65 72 6d 6f |and~G. F|urthermo|
|00002bf0| 72 65 2c 20 6c 65 74 27 | 73 20 73 75 70 70 6f 73 |re, let'|s suppos|
|00002c00| 65 20 74 68 61 74 20 79 | 6f 75 0a 68 61 76 65 20 |e that y|ou.have |
|00002c10| 61 20 77 6f 72 6b 69 6e | 67 20 5c 2e 7b 57 45 42 |a workin|g \.{WEB|
|00002c20| 7d 20 73 79 73 74 65 6d | 2c 20 61 6e 64 20 74 68 |} system|, and th|
|00002c30| 61 74 20 79 6f 75 20 68 | 61 76 65 20 77 6f 72 6b |at you h|ave work|
|00002c40| 69 6e 67 20 70 72 6f 67 | 72 61 6d 73 20 5c 2e 7b |ing prog|rams \.{|
|00002c50| 54 46 74 6f 50 4c 7d 2c | 0a 5c 2e 7b 50 4c 74 6f |TFtoPL},|.\.{PLto|
|00002c60| 54 46 7d 2c 20 5c 2e 7b | 44 56 49 74 79 70 65 7d |TF}, \.{|DVItype}|
|00002c70| 2c 20 61 73 20 64 65 73 | 63 72 69 62 65 64 20 69 |, as des|cribed i|
|00002c80| 6e 20 74 68 65 20 5c 54 | 65 58 20 77 61 72 65 20 |n the \T|eX ware |
|00002c90| 72 65 70 6f 72 74 2e 0a | 0a 5c 69 74 65 6d 7b 31 |report..|.\item{1|
|00002ca0| 2e 7d 20 55 73 65 20 5c | 2e 7b 50 4c 74 6f 54 46 |.} Use \|.{PLtoTF|
|00002cb0| 7d 20 74 6f 20 63 6f 6e | 76 65 72 74 20 5c 2e 7b |} to con|vert \.{|
|00002cc0| 54 52 49 50 2e 50 4c 7d | 20 69 6e 74 6f 20 5c 2e |TRIP.PL}| into \.|
|00002cd0| 7b 54 52 49 50 2e 54 46 | 4d 7d 2e 0a 54 68 65 6e |{TRIP.TF|M}..Then|
|00002ce0| 20 75 73 65 20 5c 2e 7b | 54 46 74 6f 50 4c 7d 20 | use \.{|TFtoPL} |
|00002cf0| 74 6f 20 63 6f 6e 76 65 | 72 74 20 5c 2e 7b 54 52 |to conve|rt \.{TR|
|00002d00| 49 50 2e 54 46 4d 7d 20 | 69 6e 74 6f 20 5c 2e 7b |IP.TFM} |into \.{|
|00002d10| 54 4d 50 2e 50 4c 7d 2e | 20 43 68 65 63 6b 20 74 |TMP.PL}.| Check t|
|00002d20| 68 61 74 0a 5c 2e 7b 54 | 4d 50 2e 50 4c 7d 20 69 |hat.\.{T|MP.PL} i|
|00002d30| 73 20 69 64 65 6e 74 69 | 63 61 6c 20 74 6f 20 5c |s identi|cal to \|
|00002d40| 2e 7b 54 52 49 50 2e 50 | 4c 7d 20 28 74 68 69 73 |.{TRIP.P|L} (this|
|00002d50| 20 69 73 20 61 20 70 61 | 72 74 69 61 6c 20 74 65 | is a pa|rtial te|
|00002d60| 73 74 20 6f 66 20 5c 2e | 7b 50 4c 74 6f 54 46 7d |st of \.|{PLtoTF}|
|00002d70| 0a 61 6e 64 20 5c 2e 7b | 54 46 74 6f 50 4c 7d 29 |.and \.{|TFtoPL})|
|00002d80| 2e 20 49 6e 73 74 61 6c | 6c 20 5c 2e 7b 54 52 49 |. Instal|l \.{TRI|
|00002d90| 50 2e 54 46 4d 7d 20 69 | 6e 20 74 68 65 20 73 74 |P.TFM} i|n the st|
|00002da0| 61 6e 64 61 72 64 20 66 | 69 6c 65 20 61 72 65 61 |andard f|ile area|
|00002db0| 20 66 6f 72 0a 5c 54 65 | 58 5c 20 66 6f 6e 74 20 | for.\Te|X\ font |
|00002dc0| 6d 65 74 72 69 63 20 66 | 69 6c 65 73 2e 0a 0a 5c |metric f|iles...\|
|00002dd0| 69 74 65 6d 7b 32 2e 7d | 20 50 72 65 70 61 72 65 |item{2.}| Prepare|
|00002de0| 20 61 20 73 70 65 63 69 | 61 6c 20 76 65 72 73 69 | a speci|al versi|
|00002df0| 6f 6e 20 6f 66 20 5c 2e | 7b 49 4e 49 54 45 58 7d |on of \.|{INITEX}|
|00002e00| 2e 20 28 54 68 69 73 20 | 6d 65 61 6e 73 20 74 68 |. (This |means th|
|00002e10| 61 74 20 79 6f 75 72 20 | 5c 2e 7b 57 45 42 7d 0a |at your |\.{WEB}.|
|00002e20| 63 68 61 6e 67 65 20 66 | 69 6c 65 20 73 68 6f 75 |change f|ile shou|
|00002e30| 6c 64 20 68 61 76 65 20 | 7b 5c 62 66 20 69 6e 69 |ld have |{\bf ini|
|00002e40| 74 7d 20 61 6e 64 20 7b | 5c 62 66 20 74 69 6e 69 |t} and {|\bf tini|
|00002e50| 7d 20 64 65 66 69 6e 65 | 64 20 74 6f 20 62 65 20 |} define|d to be |
|00002e60| 6e 75 6c 6c 2e 29 0a 54 | 68 65 20 7b 5c 62 66 20 |null.).T|he {\bf |
|00002e70| 73 74 61 74 7d 20 61 6e | 64 20 7b 5c 62 66 20 74 |stat} an|d {\bf t|
|00002e80| 61 74 73 7d 20 6d 61 63 | 72 6f 73 20 73 68 6f 75 |ats} mac|ros shou|
|00002e90| 6c 64 20 61 6c 73 6f 20 | 62 65 20 6e 75 6c 6c 2c |ld also |be null,|
|00002ea0| 20 73 6f 20 74 68 61 74 | 0a 73 74 61 74 69 73 74 | so that|.statist|
|00002eb0| 69 63 73 20 61 72 65 20 | 6b 65 70 74 20 61 6e 64 |ics are |kept and|
|00002ec0| 20 6f 74 68 65 72 20 73 | 70 65 63 69 61 6c 20 66 | other s|pecial f|
|00002ed0| 65 61 74 75 72 65 73 20 | 61 72 65 20 65 6e 61 62 |eatures |are enab|
|00002ee0| 6c 65 64 2e 20 20 53 65 | 74 0a 5c 5c 7b 6d 65 6d |led. Se|t.\\{mem|
|00002ef0| 5c 5f 6d 69 6e 7d 20 61 | 6e 64 20 5c 5c 7b 6d 65 |\_min} a|nd \\{me|
|00002f00| 6d 5c 5f 62 6f 74 7d 20 | 65 71 75 61 6c 20 74 6f |m\_bot} |equal to|
|00002f10| 7e 31 2c 20 61 6e 64 20 | 73 65 74 20 5c 5c 7b 6d |~1, and |set \\{m|
|00002f20| 65 6d 5c 5f 74 6f 70 7d | 20 61 6e 64 0a 5c 5c 7b |em\_top}| and.\\{|
|00002f30| 6d 65 6d 5c 5f 6d 61 78 | 7d 20 65 71 75 61 6c 20 |mem\_max|} equal |
|00002f40| 74 6f 7e 33 30 30 30 2c | 20 66 6f 72 20 70 75 72 |to~3000,| for pur|
|00002f50| 70 6f 73 65 73 20 6f 66 | 20 74 68 69 73 20 74 65 |poses of| this te|
|00002f60| 73 74 20 76 65 72 73 69 | 6f 6e 2e 20 20 41 6c 73 |st versi|on. Als|
|00002f70| 6f 20 73 65 74 0a 24 5c | 5c 7b 65 72 72 6f 72 5c |o set.$\|\{error\|
|00002f80| 5f 6c 69 6e 65 7d 3d 36 | 34 24 2c 20 24 5c 5c 7b |_line}=6|4$, $\\{|
|00002f90| 68 61 6c 66 5c 5f 65 72 | 72 6f 72 5c 5f 6c 69 6e |half\_er|ror\_lin|
|00002fa0| 65 7d 3d 33 32 24 2c 20 | 61 6e 64 0a 24 5c 5c 7b |e}=32$, |and.$\\{|
|00002fb0| 6d 61 78 5c 5f 70 72 69 | 6e 74 5c 5f 6c 69 6e 65 |max\_pri|nt\_line|
|00002fc0| 7d 3d 37 32 24 3b 20 74 | 68 65 73 65 20 70 61 72 |}=72$; t|hese par|
|00002fd0| 61 6d 65 74 65 72 73 20 | 61 66 66 65 63 74 20 6d |ameters |affect m|
|00002fe0| 61 6e 79 20 6f 66 20 74 | 68 65 20 6c 69 6e 65 73 |any of t|he lines|
|00002ff0| 20 6f 66 0a 74 68 65 20 | 74 65 73 74 20 6f 75 74 | of.the |test out|
|00003000| 70 75 74 2c 20 73 6f 20 | 79 6f 75 72 20 6a 6f 62 |put, so |your job|
|00003010| 20 77 69 6c 6c 20 62 65 | 20 6d 75 63 68 20 65 61 | will be| much ea|
|00003020| 73 69 65 72 20 69 66 20 | 79 6f 75 20 75 73 65 20 |sier if |you use |
|00003030| 74 68 65 20 73 61 6d 65 | 0a 73 65 74 74 69 6e 67 |the same|.setting|
|00003040| 73 20 74 68 61 74 20 77 | 65 72 65 20 75 73 65 64 |s that w|ere used|
|00003050| 20 74 6f 20 70 72 6f 64 | 75 63 65 20 41 70 70 65 | to prod|uce Appe|
|00003060| 6e 64 69 78 7e 45 2e 20 | 59 6f 75 20 70 72 6f 62 |ndix~E. |You prob|
|00003070| 61 62 6c 79 20 73 68 6f | 75 6c 64 20 61 6c 73 6f |ably sho|uld also|
|00003080| 0a 75 73 65 20 74 68 65 | 20 60 60 6e 6f 72 6d 61 |.use the| ``norma|
|00003090| 6c 27 27 20 73 65 74 74 | 69 6e 67 73 20 6f 66 20 |l'' sett|ings of |
|000030a0| 6f 74 68 65 72 20 70 61 | 72 61 6d 65 74 65 72 73 |other pa|rameters|
|000030b0| 20 66 6f 75 6e 64 20 69 | 6e 20 5c 2e 7b 54 45 58 | found i|n \.{TEX|
|000030c0| 2e 57 45 42 7d 0a 28 65 | 2e 67 2e 2c 20 24 5c 5c |.WEB}.(e|.g., $\\|
|000030d0| 7b 73 74 61 63 6b 5c 5f | 73 69 7a 65 7d 3d 32 30 |{stack\_|size}=20|
|000030e0| 30 24 2c 20 24 5c 5c 7b | 66 6f 6e 74 5c 5f 6d 61 |0$, $\\{|font\_ma|
|000030f0| 78 7d 3d 37 35 24 2c 20 | 65 74 63 2e 29 2c 20 73 |x}=75$, |etc.), s|
|00003100| 69 6e 63 65 20 74 68 65 | 73 65 20 73 68 6f 77 0a |ince the|se show.|
|00003110| 75 70 20 69 6e 20 61 20 | 66 65 77 20 6c 69 6e 65 |up in a |few line|
|00003120| 73 20 6f 66 20 74 68 65 | 20 74 65 73 74 20 6f 75 |s of the| test ou|
|00003130| 74 70 75 74 2e 20 59 6f | 75 72 20 74 65 73 74 20 |tput. Yo|ur test |
|00003140| 76 65 72 73 69 6f 6e 20 | 73 68 6f 75 6c 64 20 6e |version |should n|
|00003150| 6f 74 0a 63 68 61 6e 67 | 65 20 74 68 65 20 64 65 |ot.chang|e the de|
|00003160| 66 61 75 6c 74 20 64 65 | 66 69 6e 69 74 69 6f 6e |fault de|finition|
|00003170| 20 6f 66 20 75 6e 70 72 | 69 6e 74 61 62 6c 65 20 | of unpr|intable |
|00003180| 63 68 61 72 61 63 74 65 | 72 73 20 28 5c 53 34 39 |characte|rs (\S49|
|00003190| 20 6f 66 20 74 68 65 20 | 70 72 6f 67 72 61 6d 29 | of the |program)|
|000031a0| 2e 0a 0a 5c 69 74 65 6d | 7b 33 2e 7d 20 52 75 6e |...\item|{3.} Run|
|000031b0| 20 74 68 65 20 5c 2e 7b | 49 4e 49 54 45 58 7d 20 | the \.{|INITEX} |
|000031c0| 70 72 65 70 61 72 65 64 | 20 69 6e 20 73 74 65 70 |prepared| in step|
|000031d0| 20 32 2e 20 49 6e 20 72 | 65 73 70 6f 6e 73 65 20 | 2. In r|esponse |
|000031e0| 74 6f 20 74 68 65 20 66 | 69 72 73 74 0a 60 5c 2e |to the f|irst.`\.|
|000031f0| 7b 2a 2a 7d 27 20 70 72 | 6f 6d 70 74 2c 20 74 79 |{**}' pr|ompt, ty|
|00003200| 70 65 20 63 61 72 72 69 | 61 67 65 20 72 65 74 75 |pe carri|age retu|
|00003210| 72 6e 20 28 74 68 75 73 | 20 67 65 74 74 69 6e 67 |rn (thus| getting|
|00003220| 20 61 6e 6f 74 68 65 72 | 20 60 5c 2e 7b 2a 2a 7d | another| `\.{**}|
|00003230| 27 29 2e 0a 54 68 65 6e | 20 74 79 70 65 20 60 5c |')..Then| type `\|
|00003240| 2e 7b 5c 63 68 61 72 60 | 5c 5c 69 6e 70 75 74 20 |.{\char`|\\input |
|00003250| 74 72 69 70 7d 27 2e 20 | 59 6f 75 20 73 68 6f 75 |trip}'. |You shou|
|00003260| 6c 64 20 67 65 74 20 61 | 6e 20 6f 75 74 70 75 74 |ld get a|n output|
|00003270| 20 74 68 61 74 20 6d 61 | 74 63 68 65 73 0a 74 68 | that ma|tches.th|
|00003280| 65 20 66 69 6c 65 20 5c | 2e 7b 54 52 49 50 49 4e |e file \|.{TRIPIN|
|00003290| 2e 4c 4f 47 7d 20 28 41 | 70 70 65 6e 64 69 78 7e |.LOG} (A|ppendix~|
|000032a0| 44 29 2e 20 44 6f 6e 27 | 74 20 62 65 20 61 6c 61 |D). Don'|t be ala|
|000032b0| 72 6d 65 64 20 62 79 20 | 74 68 65 20 65 72 72 6f |rmed by |the erro|
|000032c0| 72 0a 6d 65 73 73 61 67 | 65 73 20 74 68 61 74 20 |r.messag|es that |
|000032d0| 79 6f 75 20 73 65 65 2c | 20 75 6e 6c 65 73 73 20 |you see,| unless |
|000032e0| 74 68 65 79 20 61 72 65 | 20 64 69 66 66 65 72 65 |they are| differe|
|000032f0| 6e 74 20 66 72 6f 6d 20 | 74 68 6f 73 65 20 69 6e |nt from |those in|
|00003300| 20 41 70 70 65 6e 64 69 | 78 7e 44 2e 0a 0a 5c 64 | Appendi|x~D...\d|
|00003310| 65 66 5c 73 70 7b 7b 5c | 63 68 61 72 27 34 30 7d |ef\sp{{\|char'40}|
|00003320| 7d 0a 5c 69 74 65 6d 7b | 34 2e 7d 20 52 75 6e 20 |}.\item{|4.} Run |
|00003330| 5c 2e 7b 49 4e 49 54 45 | 58 7d 20 61 67 61 69 6e |\.{INITE|X} again|
|00003340| 2e 20 54 68 69 73 20 74 | 69 6d 65 20 74 79 70 65 |. This t|ime type|
|00003350| 20 60 5c 2e 7b 5c 73 70 | 5c 26 74 72 69 70 5c 73 | `\.{\sp|\&trip\s|
|00003360| 70 5c 73 70 20 74 72 69 | 70 5c 73 70 7d 27 2e 0a |p\sp tri|p\sp}'..|
|00003370| 28 54 68 65 20 73 70 61 | 63 65 73 20 69 6e 20 74 |(The spa|ces in t|
|00003380| 68 69 73 20 69 6e 70 75 | 74 20 68 65 6c 70 20 74 |his inpu|t help t|
|00003390| 6f 20 63 68 65 63 6b 20 | 63 65 72 74 61 69 6e 20 |o check |certain |
|000033a0| 70 61 72 74 73 20 6f 66 | 20 5c 54 65 58 5c 20 74 |parts of| \TeX\ t|
|000033b0| 68 61 74 0a 61 72 65 6e | 27 74 20 6f 74 68 65 72 |hat.aren|'t other|
|000033c0| 77 69 73 65 20 75 73 65 | 64 2e 29 20 59 6f 75 20 |wise use|d.) You |
|000033d0| 73 68 6f 75 6c 64 20 67 | 65 74 20 6f 75 74 70 75 |should g|et outpu|
|000033e0| 74 73 20 5c 2e 7b 54 52 | 49 50 2e 4c 4f 47 7d 2c |ts \.{TR|IP.LOG},|
|000033f0| 20 5c 2e 7b 54 52 49 50 | 2e 44 56 49 7d 2c 0a 61 | \.{TRIP|.DVI},.a|
|00003400| 6e 64 20 5c 2e 7b 54 52 | 49 50 4f 53 2e 54 45 58 |nd \.{TR|IPOS.TEX|
|00003410| 7d 3b 20 74 68 65 72 65 | 20 77 69 6c 6c 20 61 6c |}; there| will al|
|00003420| 73 6f 20 62 65 20 61 6e | 20 65 6d 70 74 79 20 66 |so be an| empty f|
|00003430| 69 6c 65 20 5c 2e 7b 38 | 54 45 52 4d 49 4e 41 4c |ile \.{8|TERMINAL|
|00003440| 2e 54 45 58 7d 2e 0a 46 | 75 72 74 68 65 72 6d 6f |.TEX}..F|urthermo|
|00003450| 72 65 2c 20 79 6f 75 72 | 20 74 65 72 6d 69 6e 61 |re, your| termina|
|00003460| 6c 20 73 68 6f 75 6c 64 | 20 72 65 63 65 69 76 65 |l should| receive|
|00003470| 20 6f 75 74 70 75 74 20 | 74 68 61 74 20 6d 61 74 | output |that mat|
|00003480| 63 68 65 73 20 5c 2e 7b | 54 52 49 50 2e 46 4f 54 |ches \.{|TRIP.FOT|
|00003490| 7d 0a 28 41 70 70 65 6e | 64 69 78 7e 48 29 2e 20 |}.(Appen|dix~H). |
|000034a0| 44 75 72 69 6e 67 20 74 | 68 65 20 6d 69 64 64 6c |During t|he middl|
|000034b0| 65 20 70 61 72 74 20 6f | 66 20 74 68 69 73 20 74 |e part o|f this t|
|000034c0| 65 73 74 2c 20 68 6f 77 | 65 76 65 72 2c 20 74 68 |est, how|ever, th|
|000034d0| 65 20 74 65 72 6d 69 6e | 61 6c 0a 77 69 6c 6c 20 |e termin|al.will |
|000034e0| 6e 6f 74 20 62 65 20 67 | 65 74 74 69 6e 67 20 6f |not be g|etting o|
|000034f0| 75 74 70 75 74 2c 20 62 | 65 63 61 75 73 65 20 5c |utput, b|ecause \|
|00003500| 2e 7b 5c 63 68 61 72 27 | 31 33 34 62 61 74 63 68 |.{\char'|134batch|
|00003510| 6d 6f 64 65 7d 20 69 73 | 20 62 65 69 6e 67 0a 74 |mode} is| being.t|
|00003520| 65 73 74 65 64 3b 20 64 | 6f 6e 27 74 20 77 6f 72 |ested; d|on't wor|
|00003530| 72 79 20 69 66 20 6e 6f | 74 68 69 6e 67 20 73 65 |ry if no|thing se|
|00003540| 65 6d 73 20 74 6f 20 62 | 65 20 68 61 70 70 65 6e |ems to b|e happen|
|00003550| 69 6e 67 20 66 6f 72 20 | 61 20 77 68 69 6c 65 2d |ing for |a while-|
|00003560| 2d 2d 6e 6f 74 68 69 6e | 67 0a 69 73 20 73 75 70 |--nothin|g.is sup|
|00003570| 70 6f 73 65 64 20 74 6f | 2e 0a 0a 5c 69 74 65 6d |posed to|...\item|
|00003580| 7b 35 2e 7d 20 43 6f 6d | 70 61 72 65 20 74 68 65 |{5.} Com|pare the|
|00003590| 20 5c 2e 7b 54 52 49 50 | 2e 4c 4f 47 7d 20 66 69 | \.{TRIP|.LOG} fi|
|000035a0| 6c 65 20 66 72 6f 6d 20 | 73 74 65 70 20 34 20 77 |le from |step 4 w|
|000035b0| 69 74 68 20 74 68 65 20 | 60 60 6d 61 73 74 65 72 |ith the |``master|
|000035c0| 27 27 0a 5c 2e 7b 54 52 | 49 50 2e 4c 4f 47 7d 20 |''.\.{TR|IP.LOG} |
|000035d0| 66 69 6c 65 20 6f 66 20 | 73 74 65 70 7e 30 2e 20 |file of |step~0. |
|000035e0| 28 4c 65 74 27 73 20 68 | 6f 70 65 20 79 6f 75 20 |(Let's h|ope you |
|000035f0| 70 75 74 20 74 68 61 74 | 20 6d 61 73 74 65 72 20 |put that| master |
|00003600| 66 69 6c 65 20 69 6e 20 | 61 0a 73 61 66 65 20 70 |file in |a.safe p|
|00003610| 6c 61 63 65 20 73 6f 20 | 74 68 61 74 20 69 74 20 |lace so |that it |
|00003620| 77 6f 75 6c 64 6e 27 74 | 20 62 65 20 63 6c 6f 62 |wouldn't| be clob|
|00003630| 62 65 72 65 64 2e 29 20 | 54 68 65 72 65 20 73 68 |bered.) |There sh|
|00003640| 6f 75 6c 64 20 62 65 20 | 70 65 72 66 65 63 74 0a |ould be |perfect.|
|00003650| 61 67 72 65 65 6d 65 6e | 74 20 62 65 74 77 65 65 |agreemen|t betwee|
|00003660| 6e 20 74 68 65 73 65 20 | 66 69 6c 65 73 20 65 78 |n these |files ex|
|00003670| 63 65 70 74 20 69 6e 20 | 74 68 65 20 66 6f 6c 6c |cept in |the foll|
|00003680| 6f 77 69 6e 67 20 72 65 | 73 70 65 63 74 73 3a 0a |owing re|spects:.|
|00003690| 0a 5c 69 74 65 6d 69 74 | 65 6d 7b 61 29 7d 20 54 |.\itemit|em{a)} T|
|000036a0| 68 65 20 64 61 74 65 73 | 20 61 6e 64 20 70 6f 73 |he dates| and pos|
|000036b0| 73 69 62 6c 79 20 74 68 | 65 20 66 69 6c 65 20 6e |sibly th|e file n|
|000036c0| 61 6d 65 73 20 77 69 6c | 6c 0a 6e 61 74 75 72 61 |ames wil|l.natura|
|000036d0| 6c 6c 79 20 62 65 20 64 | 69 66 66 65 72 65 6e 74 |lly be d|ifferent|
|000036e0| 2e 0a 0a 5c 69 74 65 6d | 69 74 65 6d 7b 62 29 7d |...\item|item{b)}|
|000036f0| 20 47 6c 75 65 20 73 65 | 74 74 69 6e 67 73 20 69 | Glue se|ttings i|
|00003700| 6e 20 74 68 65 20 64 69 | 73 70 6c 61 79 73 20 6f |n the di|splays o|
|00003710| 66 20 5c 54 65 58 5c 20 | 62 6f 78 65 73 20 61 72 |f \TeX\ |boxes ar|
|00003720| 65 20 73 75 62 6a 65 63 | 74 0a 74 6f 20 73 79 73 |e subjec|t.to sys|
|00003730| 74 65 6d 2d 64 65 70 65 | 6e 64 65 6e 74 20 72 6f |tem-depe|ndent ro|
|00003740| 75 6e 64 69 6e 67 2c 20 | 73 6f 20 73 6c 69 67 68 |unding, |so sligh|
|00003750| 74 20 64 65 76 69 61 74 | 69 6f 6e 73 20 61 72 65 |t deviat|ions are|
|00003760| 20 70 65 72 6d 69 73 73 | 69 62 6c 65 2e 20 48 6f | permiss|ible. Ho|
|00003770| 77 65 76 65 72 2c 0a 73 | 75 63 68 20 64 65 76 69 |wever,.s|uch devi|
|00003780| 61 74 69 6f 6e 73 20 61 | 70 70 6c 79 20 6f 6e 6c |ations a|pply onl|
|00003790| 79 20 74 6f 20 74 68 65 | 20 60 5c 2e 7b 67 6c 75 |y to the| `\.{glu|
|000037a0| 65 20 73 65 74 7d 27 20 | 76 61 6c 75 65 73 20 74 |e set}' |values t|
|000037b0| 68 61 74 20 61 70 70 65 | 61 72 20 61 74 20 74 68 |hat appe|ar at th|
|000037c0| 65 0a 65 6e 64 20 6f 66 | 20 61 6e 20 5c 2e 7b 5c |e.end of| an \.{\|
|000037d0| 63 68 61 72 27 31 33 34 | 68 62 6f 78 7d 20 6f 72 |char'134|hbox} or|
|000037e0| 20 5c 2e 7b 5c 63 68 61 | 72 27 31 33 34 76 62 6f | \.{\cha|r'134vbo|
|000037f0| 78 7d 20 6c 69 6e 65 3b | 0a 61 6c 6c 20 6f 74 68 |x} line;|.all oth|
|00003800| 65 72 20 6e 75 6d 62 65 | 72 73 20 73 68 6f 75 6c |er numbe|rs shoul|
|00003810| 64 20 61 67 72 65 65 20 | 65 78 61 63 74 6c 79 2c |d agree |exactly,|
|00003820| 20 73 69 6e 63 65 20 74 | 68 65 79 20 61 72 65 20 | since t|hey are |
|00003830| 63 6f 6d 70 75 74 65 64 | 20 77 69 74 68 0a 69 6e |computed| with.in|
|00003840| 74 65 67 65 72 20 61 72 | 69 74 68 6d 65 74 69 63 |teger ar|ithmetic|
|00003850| 20 69 6e 20 61 20 70 72 | 65 73 63 72 69 62 65 64 | in a pr|escribed|
|00003860| 20 73 79 73 74 65 6d 2d | 69 6e 64 65 70 65 6e 64 | system-|independ|
|00003870| 65 6e 74 20 6d 61 6e 6e | 65 72 2e 0a 0a 5c 69 74 |ent mann|er...\it|
|00003880| 65 6d 69 74 65 6d 7b 63 | 29 7d 20 54 68 65 20 61 |emitem{c|)} The a|
|00003890| 6d 6f 75 6e 74 20 6f 66 | 20 73 70 61 63 65 20 69 |mount of| space i|
|000038a0| 6e 20 6b 65 72 6e 73 20 | 74 68 61 74 20 61 72 65 |n kerns |that are|
|000038b0| 20 6d 61 72 6b 65 64 20 | 60 60 66 6f 72 20 61 63 | marked |``for ac|
|000038c0| 63 65 6e 74 27 27 0a 61 | 72 65 2c 20 73 69 6d 69 |cent''.a|re, simi|
|000038d0| 6c 61 72 6c 79 2c 20 73 | 75 62 6a 65 63 74 20 74 |larly, s|ubject t|
|000038e0| 6f 20 73 79 73 74 65 6d | 2d 64 65 70 65 6e 64 65 |o system|-depende|
|000038f0| 6e 74 20 72 6f 75 6e 64 | 69 6e 67 2e 0a 0a 5c 69 |nt round|ing...\i|
|00003900| 74 65 6d 69 74 65 6d 7b | 64 29 7d 20 49 66 20 79 |temitem{|d)} If y|
|00003910| 6f 75 20 68 61 64 20 64 | 69 66 66 65 72 65 6e 74 |ou had d|ifferent|
|00003920| 20 76 61 6c 75 65 73 20 | 66 6f 72 20 5c 5c 7b 73 | values |for \\{s|
|00003930| 74 61 63 6b 5c 5f 73 69 | 7a 65 7d 2c 20 5c 5c 7b |tack\_si|ze}, \\{|
|00003940| 62 75 66 5c 5f 73 69 7a | 65 7d 2c 0a 65 74 63 2e |buf\_siz|e},.etc.|
|00003950| 2c 20 74 68 65 20 63 6f | 72 72 65 73 70 6f 6e 64 |, the co|rrespond|
|00003960| 69 6e 67 20 63 61 70 61 | 63 69 74 79 20 76 61 6c |ing capa|city val|
|00003970| 75 65 73 20 77 69 6c 6c | 20 62 65 20 64 69 66 66 |ues will| be diff|
|00003980| 65 72 65 6e 74 20 77 68 | 65 6e 20 74 68 65 79 0a |erent wh|en they.|
|00003990| 61 72 65 20 70 72 69 6e | 74 65 64 20 6f 75 74 20 |are prin|ted out |
|000039a0| 61 74 20 74 68 65 20 65 | 6e 64 2e 0a 0a 5c 69 74 |at the e|nd...\it|
|000039b0| 65 6d 69 74 65 6d 7b 65 | 29 7d 20 48 65 6c 70 20 |emitem{e|)} Help |
|000039c0| 6d 65 73 73 61 67 65 73 | 20 6d 61 79 20 62 65 20 |messages| may be |
|000039d0| 64 69 66 66 65 72 65 6e | 74 3b 20 69 6e 64 65 65 |differen|t; indee|
|000039e0| 64 2c 20 74 68 65 20 61 | 75 74 68 6f 72 20 65 6e |d, the a|uthor en|
|000039f0| 63 6f 75 72 61 67 65 73 | 0a 6e 6f 6e 2d 45 6e 67 |courages|.non-Eng|
|00003a00| 6c 69 73 68 20 68 65 6c | 70 20 6d 65 73 73 61 67 |lish hel|p messag|
|00003a10| 65 73 20 69 6e 20 76 65 | 72 73 69 6f 6e 73 20 6f |es in ve|rsions o|
|00003a20| 66 20 5c 54 65 58 5c 20 | 66 6f 72 20 70 65 6f 70 |f \TeX\ |for peop|
|00003a30| 6c 65 20 77 68 6f 20 64 | 6f 6e 27 74 0a 75 6e 64 |le who d|on't.und|
|00003a40| 65 72 73 74 61 6e 64 20 | 45 6e 67 6c 69 73 68 20 |erstand |English |
|00003a50| 61 73 20 77 65 6c 6c 20 | 61 73 20 73 6f 6d 65 20 |as well |as some |
|00003a60| 6f 74 68 65 72 20 6c 61 | 6e 67 75 61 67 65 2e 0a |other la|nguage..|
|00003a70| 0a 5c 69 74 65 6d 69 74 | 65 6d 7b 66 29 7d 20 54 |.\itemit|em{f)} T|
|00003a80| 68 65 20 74 6f 74 61 6c | 20 6e 75 6d 62 65 72 20 |he total| number |
|00003a90| 61 6e 64 20 6c 65 6e 67 | 74 68 20 6f 66 20 73 74 |and leng|th of st|
|00003aa0| 72 69 6e 67 73 20 61 74 | 20 74 68 65 20 65 6e 64 |rings at| the end|
|00003ab0| 20 6d 61 79 20 77 65 6c | 6c 0a 62 65 20 64 69 66 | may wel|l.be dif|
|00003ac0| 66 65 72 65 6e 74 2e 0a | 0a 5c 69 74 65 6d 69 74 |ferent..|.\itemit|
|00003ad0| 65 6d 7b 67 29 7d 20 49 | 66 20 79 6f 75 72 20 5c |em{g)} I|f your \|
|00003ae0| 54 65 58 5c 20 75 73 65 | 73 20 61 20 64 69 66 66 |TeX\ use|s a diff|
|00003af0| 65 72 65 6e 74 20 6d 65 | 6d 6f 72 79 20 61 6c 6c |erent me|mory all|
|00003b00| 6f 63 61 74 69 6f 6e 20 | 6f 72 0a 70 61 63 6b 69 |ocation |or.packi|
|00003b10| 6e 67 20 73 63 68 65 6d | 65 20 6f 72 20 5c 2e 7b |ng schem|e or \.{|
|00003b20| 44 56 49 7d 20 6f 75 74 | 70 75 74 20 6c 6f 67 69 |DVI} out|put logi|
|00003b30| 63 2c 20 74 68 65 20 6d | 65 6d 6f 72 79 20 75 73 |c, the m|emory us|
|00003b40| 61 67 65 20 73 74 61 74 | 69 73 74 69 63 73 20 6d |age stat|istics m|
|00003b50| 61 79 20 63 68 61 6e 67 | 65 2e 0a 0a 5c 69 74 65 |ay chang|e...\ite|
|00003b60| 6d 7b 36 2e 7d 20 55 73 | 65 20 5c 2e 7b 44 56 49 |m{6.} Us|e \.{DVI|
|00003b70| 74 79 70 65 7d 20 74 6f | 20 63 6f 6e 76 65 72 74 |type} to| convert|
|00003b80| 20 79 6f 75 72 20 66 69 | 6c 65 20 5c 2e 7b 54 52 | your fi|le \.{TR|
|00003b90| 49 50 2e 44 56 49 7d 20 | 74 6f 20 61 20 66 69 6c |IP.DVI} |to a fil|
|00003ba0| 65 0a 5c 2e 7b 54 52 49 | 50 2e 54 59 50 7d 2e 20 |e.\.{TRI|P.TYP}. |
|00003bb0| 54 68 65 20 66 6f 6c 6c | 6f 77 69 6e 67 20 6f 70 |The foll|owing op|
|00003bc0| 74 69 6f 6e 73 20 73 68 | 6f 75 6c 64 20 62 65 20 |tions sh|ould be |
|00003bd0| 73 65 74 20 77 68 65 6e | 20 75 73 69 6e 67 20 5c |set when| using \|
|00003be0| 2e 7b 44 56 49 74 79 70 | 65 7d 3a 0a 24 24 5c 76 |.{DVItyp|e}:.$$\v|
|00003bf0| 62 6f 78 7b 5c 68 61 6c | 69 67 6e 7b 23 5c 68 66 |box{\hal|ign{#\hf|
|00003c00| 69 6c 26 5c 68 66 69 6c | 23 5c 63 72 0a 4f 75 74 |il&\hfil|#\cr.Out|
|00003c10| 70 75 74 20 6c 65 76 65 | 6c 20 3d 20 32 5c 63 72 |put leve|l = 2\cr|
|00003c20| 0a 53 74 61 72 74 69 6e | 67 20 70 61 67 65 20 3d |.Startin|g page =|
|00003c30| 20 5c 2e 7b 2a 2e 2a 2e | 2a 2e 2a 2e 2a 2e 2a 2e | \.{*.*.|*.*.*.*.|
|00003c40| 2a 2e 2a 2e 2a 2e 2a 7d | 5c 68 73 6b 69 70 2d 32 |*.*.*.*}|\hskip-2|
|00003c50| 30 70 74 5c 63 72 0a 4e | 75 6d 62 65 72 20 6f 66 |0pt\cr.N|umber of|
|00003c60| 20 70 61 67 65 73 20 3d | 20 31 30 30 30 30 30 30 | pages =| 1000000|
|00003c70| 26 28 74 68 69 73 20 69 | 73 20 74 68 65 20 64 65 |&(this i|s the de|
|00003c80| 66 61 75 6c 74 29 5c 63 | 72 0a 52 65 73 6f 6c 75 |fault)\c|r.Resolu|
|00003c90| 74 69 6f 6e 20 3d 20 37 | 32 32 37 2f 31 30 30 26 |tion = 7|227/100&|
|00003ca0| 28 74 68 69 73 20 69 73 | 20 6f 6e 65 20 70 6f 69 |(this is| one poi|
|00003cb0| 6e 74 20 70 65 72 20 70 | 69 78 65 6c 29 5c 63 72 |nt per p|ixel)\cr|
|00003cc0| 0a 4e 65 77 20 6d 61 67 | 6e 69 66 69 63 61 74 69 |.New mag|nificati|
|00003cd0| 6f 6e 20 3d 20 30 26 28 | 74 68 69 73 20 69 73 20 |on = 0&(|this is |
|00003ce0| 74 68 65 20 64 65 66 61 | 75 6c 74 29 5c 63 72 7d |the defa|ult)\cr}|
|00003cf0| 7d 24 24 0a 54 68 65 20 | 72 65 73 75 6c 74 69 6e |}$$.The |resultin|
|00003d00| 67 20 66 69 6c 65 20 73 | 68 6f 75 6c 64 20 61 67 |g file s|hould ag|
|00003d10| 72 65 65 20 77 69 74 68 | 20 74 68 65 20 6d 61 73 |ree with| the mas|
|00003d20| 74 65 72 20 5c 2e 7b 54 | 52 49 50 2e 54 59 50 7d |ter \.{T|RIP.TYP}|
|00003d30| 20 66 69 6c 65 20 6f 66 | 20 73 74 65 70 7e 30 2c | file of| step~0,|
|00003d40| 0a 65 78 63 65 70 74 20 | 74 68 61 74 20 73 6f 6d |.except |that som|
|00003d50| 65 20 6f 66 20 74 68 65 | 20 76 61 6c 75 65 73 20 |e of the| values |
|00003d60| 6d 69 67 68 74 20 62 65 | 20 61 20 6c 69 74 74 6c |might be| a littl|
|00003d70| 65 20 6f 66 66 20 64 75 | 65 20 74 6f 20 66 6c 6f |e off du|e to flo|
|00003d80| 61 74 69 6e 67 2d 70 6f | 69 6e 74 0a 72 6f 75 6e |ating-po|int.roun|
|00003d90| 64 69 6e 67 20 64 69 73 | 63 72 65 70 61 6e 63 69 |ding dis|crepanci|
|00003da0| 65 73 2e 20 46 75 72 74 | 68 65 72 6d 6f 72 65 20 |es. Furt|hermore |
|00003db0| 74 68 65 72 65 20 6d 61 | 79 20 62 65 20 64 69 66 |there ma|y be dif|
|00003dc0| 66 65 72 65 6e 63 65 73 | 20 62 65 74 77 65 65 6e |ferences| between|
|00003dd0| 0a 60 5c 5c 7b 72 69 67 | 68 74 7d 27 20 61 6e 64 |.`\\{rig|ht}' and|
|00003de0| 20 60 5c 5c 77 27 20 61 | 6e 64 20 60 5c 5c 78 27 | `\\w' a|nd `\\x'|
|00003df0| 20 63 6f 6d 6d 61 6e 64 | 73 2c 20 61 6e 64 20 62 | command|s, and b|
|00003e00| 65 74 77 65 65 6e 20 60 | 5c 5c 7b 64 6f 77 6e 7d |etween `|\\{down}|
|00003e10| 27 20 61 6e 64 20 60 5c | 5c 79 27 0a 61 6e 64 20 |' and `\|\y'.and |
|00003e20| 60 5c 5c 7a 27 3b 20 74 | 68 65 20 6b 65 79 20 74 |`\\z'; t|he key t|
|00003e30| 68 69 6e 67 20 69 73 20 | 74 68 61 74 20 61 6c 6c |hing is |that all|
|00003e40| 20 63 68 61 72 61 63 74 | 65 72 73 20 61 6e 64 20 | charact|ers and |
|00003e50| 72 75 6c 65 73 20 61 6e | 64 20 5c 5c 7b 78 78 78 |rules an|d \\{xxx|
|00003e60| 7d 27 73 20 73 68 6f 75 | 6c 64 0a 62 65 20 69 6e |}'s shou|ld.be in|
|00003e70| 20 61 6c 6d 6f 73 74 20 | 74 68 65 20 73 61 6d 65 | almost |the same|
|00003e80| 20 70 6f 73 69 74 69 6f | 6e 73 20 61 73 20 73 70 | positio|ns as sp|
|00003e90| 65 63 69 66 69 65 64 20 | 69 6e 20 41 70 70 65 6e |ecified |in Appen|
|00003ea0| 64 69 78 7e 46 2e 0a 28 | 49 66 20 79 6f 75 72 20 |dix~F..(|If your |
|00003eb0| 5c 2e 7b 44 56 49 7d 2d | 77 72 69 74 69 6e 67 20 |\.{DVI}-|writing |
|00003ec0| 72 6f 75 74 69 6e 65 73 | 20 64 69 66 66 65 72 20 |routines| differ |
|00003ed0| 73 75 62 73 74 61 6e 74 | 69 61 6c 6c 79 20 66 72 |substant|ially fr|
|00003ee0| 6f 6d 20 74 68 6f 73 65 | 20 69 6e 0a 5c 2e 7b 54 |om those| in.\.{T|
|00003ef0| 45 58 2e 57 45 42 7d 2c | 20 79 6f 75 20 6d 61 79 |EX.WEB},| you may|
|00003f00| 20 77 61 6e 74 20 74 6f | 20 77 72 69 74 65 20 61 | want to| write a|
|00003f10| 20 5c 2e 7b 44 56 49 63 | 6f 6d 70 61 72 65 7d 20 | \.{DVIc|ompare} |
|00003f20| 70 72 6f 67 72 61 6d 20 | 74 68 61 74 0a 64 65 74 |program |that.det|
|00003f30| 65 63 74 73 20 61 6e 79 | 20 73 75 62 73 74 61 6e |ects any| substan|
|00003f40| 74 69 76 65 20 64 69 66 | 66 65 72 65 6e 63 65 73 |tive dif|ferences|
|00003f50| 20 62 65 74 77 65 65 6e | 20 74 77 6f 20 67 69 76 | between| two giv|
|00003f60| 65 6e 20 5c 2e 7b 44 56 | 49 7d 20 66 69 6c 65 73 |en \.{DV|I} files|
|00003f70| 2e 20 53 75 63 68 0a 61 | 20 72 6f 75 74 69 6e 65 |. Such.a| routine|
|00003f80| 20 77 6f 75 6c 64 20 62 | 65 20 6f 66 20 67 65 6e | would b|e of gen|
|00003f90| 65 72 61 6c 20 75 73 65 | 20 62 65 73 69 64 65 73 |eral use| besides|
|00003fa0| 2e 0a 4f 6e 20 74 68 65 | 20 6f 74 68 65 72 20 68 |..On the| other h|
|00003fb0| 61 6e 64 2c 20 69 66 20 | 79 6f 75 20 68 61 76 65 |and, if |you have|
|00003fc0| 20 73 65 74 20 5c 5c 7b | 64 76 69 5c 5f 62 75 66 | set \\{|dvi\_buf|
|00003fd0| 5c 5f 73 69 7a 65 7d 20 | 74 6f 20 38 30 30 2c 20 |\_size} |to 800, |
|00003fe0| 74 68 65 6e 20 79 6f 75 | 72 0a 5c 2e 7b 44 56 49 |then you|r.\.{DVI|
|00003ff0| 7d 20 66 69 6c 65 20 73 | 68 6f 75 6c 64 20 62 65 |} file s|hould be|
|00004000| 20 76 69 72 74 75 61 6c | 6c 79 20 69 64 65 6e 74 | virtual|ly ident|
|00004010| 69 63 61 6c 20 74 6f 20 | 74 68 65 20 6f 6e 65 20 |ical to |the one |
|00004020| 73 75 70 70 6c 69 65 64 | 2e 29 0a 0a 5c 69 74 65 |supplied|.)..\ite|
|00004030| 6d 7b 37 2e 7d 20 59 6f | 75 20 6d 69 67 68 74 20 |m{7.} Yo|u might |
|00004040| 61 6c 73 6f 20 77 69 73 | 68 20 74 6f 20 74 65 73 |also wis|h to tes|
|00004050| 74 20 5c 2e 7b 54 52 49 | 50 7d 20 77 69 74 68 20 |t \.{TRI|P} with |
|00004060| 6f 74 68 65 72 20 76 65 | 72 73 69 6f 6e 73 20 6f |other ve|rsions o|
|00004070| 66 0a 5c 54 65 58 5c 20 | 28 69 2e 65 2e 2c 20 5c |f.\TeX\ |(i.e., \|
|00004080| 2e 7b 56 49 52 54 45 58 | 7d 20 6f 72 20 61 20 70 |.{VIRTEX|} or a p|
|00004090| 72 6f 64 75 63 74 69 6f | 6e 20 76 65 72 73 69 6f |roductio|n versio|
|000040a0| 6e 20 77 69 74 68 20 6f | 74 68 65 72 20 66 6f 6e |n with o|ther fon|
|000040b0| 74 73 20 61 6e 64 0a 6d | 61 63 72 6f 73 20 70 72 |ts and.m|acros pr|
|000040c0| 65 6c 6f 61 64 65 64 29 | 2e 20 49 74 20 73 68 6f |eloaded)|. It sho|
|000040d0| 75 6c 64 20 77 6f 72 6b | 20 75 6e 6c 65 73 73 20 |uld work| unless |
|000040e0| 5c 54 65 58 27 73 20 70 | 72 69 6d 69 74 69 76 65 |\TeX's p|rimitive|
|000040f0| 73 20 68 61 76 65 20 62 | 65 65 6e 0a 72 65 64 65 |s have b|een.rede|
|00004100| 66 69 6e 65 64 2e 20 48 | 6f 77 65 76 65 72 2c 20 |fined. H|owever, |
|00004110| 74 68 69 73 20 73 74 65 | 70 20 69 73 6e 27 74 20 |this ste|p isn't |
|00004120| 65 73 73 65 6e 74 69 61 | 6c 2c 20 73 69 6e 63 65 |essentia|l, since|
|00004130| 20 61 6c 6c 20 74 68 65 | 20 63 6f 64 65 20 6f 66 | all the| code of|
|00004140| 0a 5c 2e 7b 56 49 52 54 | 45 58 7d 20 61 70 70 65 |.\.{VIRT|EX} appe|
|00004150| 61 72 73 20 69 6e 20 5c | 2e 7b 49 4e 49 54 45 58 |ars in \|.{INITEX|
|00004160| 7d 3b 20 79 6f 75 20 70 | 72 6f 62 61 62 6c 79 20 |}; you p|robably |
|00004170| 77 6f 6e 27 74 20 63 61 | 74 63 68 20 61 6e 79 20 |won't ca|tch any |
|00004180| 6d 6f 72 65 20 65 72 72 | 6f 72 73 0a 74 68 69 73 |more err|ors.this|
|00004190| 20 77 61 79 2c 20 75 6e | 6c 65 73 73 20 74 68 65 | way, un|less the|
|000041a0| 79 20 77 6f 75 6c 64 20 | 61 6c 72 65 61 64 79 20 |y would |already |
|000041b0| 62 65 63 6f 6d 65 20 6f | 62 76 69 6f 75 73 20 66 |become o|bvious f|
|000041c0| 72 6f 6d 20 6e 6f 72 6d | 61 6c 20 75 73 65 20 6f |rom norm|al use o|
|000041d0| 66 0a 74 68 65 7e 73 79 | 73 74 65 6d 2e 0a 0a 5c |f.the~sy|stem...\|
|000041e0| 76 66 69 6c 6c 5c 65 6a | 65 63 74 0a 0a 5c 73 65 |vfill\ej|ect..\se|
|000041f0| 63 74 69 6f 6e 20 41 70 | 70 65 6e 64 69 78 20 42 |ction Ap|pendix B|
|00004200| 3a 20 54 68 65 20 5c 2e | 7b 54 52 49 50 2e 54 45 |: The \.|{TRIP.TE|
|00004210| 58 7d 20 66 69 6c 65 2e | 0a 54 68 65 20 63 6f 6e |X} file.|.The con|
|00004220| 74 65 6e 74 73 20 6f 66 | 20 74 68 65 20 74 65 73 |tents of| the tes|
|00004230| 74 20 72 6f 75 74 69 6e | 65 20 61 72 65 20 70 72 |t routin|e are pr|
|00004240| 65 66 69 78 65 64 20 68 | 65 72 65 20 77 69 74 68 |efixed h|ere with|
|00004250| 20 6c 69 6e 65 20 6e 75 | 6d 62 65 72 73 2c 20 66 | line nu|mbers, f|
|00004260| 6f 72 0a 65 61 73 65 20 | 69 6e 20 63 6f 6d 70 61 |or.ease |in compa|
|00004270| 72 69 6e 67 20 74 68 69 | 73 20 66 69 6c 65 20 77 |ring thi|s file w|
|00004280| 69 74 68 20 74 68 65 20 | 65 72 72 6f 72 20 6d 65 |ith the |error me|
|00004290| 73 73 61 67 65 73 20 70 | 72 69 6e 74 65 64 20 6c |ssages p|rinted l|
|000042a0| 61 74 65 72 3b 20 74 68 | 65 0a 6c 69 6e 65 20 6e |ater; th|e.line n|
|000042b0| 75 6d 62 65 72 73 20 61 | 72 65 6e 27 74 20 61 63 |umbers a|ren't ac|
|000042c0| 74 75 61 6c 6c 79 20 70 | 72 65 73 65 6e 74 2e 0a |tually p|resent..|
|000042d0| 5c 72 75 6e 6e 69 6e 67 | 68 65 61 64 7b 41 50 50 |\running|head{APP|
|000042e0| 45 4e 44 49 58 20 42 3a | 20 5c 2e 7b 54 52 49 50 |ENDIX B:| \.{TRIP|
|000042f0| 2e 54 45 58 7d 20 28 43 | 4f 4e 54 49 4e 55 45 44 |.TEX} (C|ONTINUED|
|00004300| 29 7d 0a 0a 5c 76 73 6b | 69 70 20 38 70 74 0a 5c |)}..\vsk|ip 8pt.\|
|00004310| 62 65 67 69 6e 67 72 6f | 75 70 5c 63 6f 75 6e 74 |begingro|up\count|
|00004320| 32 35 35 3d 30 0a 5c 65 | 76 65 72 79 70 61 72 7b |255=0.\e|verypar{|
|00004330| 5c 67 6c 6f 62 61 6c 5c | 61 64 76 61 6e 63 65 5c |\global\|advance\|
|00004340| 63 6f 75 6e 74 32 35 35 | 20 62 79 20 31 0a 20 20 |count255| by 1. |
|00004350| 5c 68 62 6f 78 20 74 6f | 20 32 30 70 74 7b 5c 73 |\hbox to| 20pt{\s|
|00004360| 65 76 65 6e 72 6d 5c 68 | 66 69 6c 5c 74 68 65 5c |evenrm\h|fil\the\|
|00004370| 63 6f 75 6e 74 32 35 35 | 5c 20 5c 20 7d 7d 0a 5c |count255|\ \ }}.\|
|00004380| 76 65 72 62 61 74 69 6d | 7b 74 72 69 70 2e 74 65 |verbatim|{trip.te|
|00004390| 78 7d 0a 5c 65 6e 64 67 | 72 6f 75 70 0a 5c 76 66 |x}.\endg|roup.\vf|
|000043a0| 69 6c 6c 5c 65 6a 65 63 | 74 0a 0a 5c 73 65 63 74 |ill\ejec|t..\sect|
|000043b0| 69 6f 6e 20 41 70 70 65 | 6e 64 69 78 20 43 3a 20 |ion Appe|ndix C: |
|000043c0| 54 68 65 20 5c 2e 7b 54 | 52 49 50 2e 50 4c 7d 20 |The \.{T|RIP.PL} |
|000043d0| 66 69 6c 65 2e 0a 54 68 | 65 20 60 60 66 6f 6e 74 |file..Th|e ``font|
|000043e0| 27 27 20 64 65 66 69 6e | 65 64 20 68 65 72 65 20 |'' defin|ed here |
|000043f0| 68 61 73 20 6f 6e 6c 79 | 20 61 20 66 65 77 20 63 |has only| a few c|
|00004400| 68 61 72 61 63 74 65 72 | 73 2c 20 62 75 74 20 74 |haracter|s, but t|
|00004410| 68 65 79 20 69 6e 63 6c | 75 64 65 20 61 6c 6c 0a |hey incl|ude all.|
|00004420| 74 68 65 20 63 6f 6d 70 | 6c 65 78 69 74 69 65 73 |the comp|lexities|
|00004430| 20 74 68 61 74 20 5c 54 | 65 58 5c 20 6d 75 73 74 | that \T|eX\ must|
|00004440| 20 64 65 61 6c 20 77 69 | 74 68 3a 20 6c 69 67 61 | deal wi|th: liga|
|00004450| 74 75 72 65 73 2c 20 6b | 65 72 6e 73 2c 0a 6c 69 |tures, k|erns,.li|
|00004460| 73 74 73 20 6f 66 20 63 | 68 61 72 61 63 74 65 72 |sts of c|haracter|
|00004470| 73 2c 20 61 6e 64 20 65 | 78 74 65 6e 73 69 62 6c |s, and e|xtensibl|
|00004480| 65 20 63 68 61 72 61 63 | 74 65 72 73 2e 20 53 6f |e charac|ters. So|
|00004490| 6d 65 20 6f 66 20 74 68 | 65 20 64 69 6d 65 6e 73 |me of th|e dimens|
|000044a0| 69 6f 6e 73 0a 61 72 65 | 20 6e 65 67 61 74 69 76 |ions.are| negativ|
|000044b0| 65 2c 20 6a 75 73 74 20 | 74 6f 20 6d 61 6b 65 20 |e, just |to make |
|000044c0| 74 68 69 6e 67 73 20 77 | 6f 72 73 65 20 79 65 74 |things w|orse yet|
|000044d0| 2e 20 28 54 68 65 20 66 | 6f 72 6d 61 74 20 6f 66 |. (The f|ormat of|
|000044e0| 20 70 72 6f 70 65 72 74 | 79 2d 6c 69 73 74 0a 66 | propert|y-list.f|
|000044f0| 69 6c 65 73 20 6c 69 6b | 65 20 74 68 69 73 20 69 |iles lik|e this i|
|00004500| 73 20 65 78 70 6c 61 69 | 6e 65 64 20 69 6e 20 74 |s explai|ned in t|
|00004510| 68 65 20 64 6f 63 75 6d | 65 6e 74 61 74 69 6f 6e |he docum|entation|
|00004520| 20 74 6f 20 5c 2e 7b 50 | 4c 74 6f 54 46 7d 2c 20 | to \.{P|LtoTF}, |
|00004530| 69 6e 0a 74 68 65 20 5c | 54 65 58 20 77 61 72 65 |in.the \|TeX ware|
|00004540| 20 72 65 70 6f 72 74 2e | 29 0a 5c 72 75 6e 6e 69 | report.|).\runni|
|00004550| 6e 67 68 65 61 64 7b 41 | 50 50 45 4e 44 49 58 20 |nghead{A|PPENDIX |
|00004560| 43 3a 20 5c 2e 7b 54 52 | 49 50 2e 50 4c 7d 20 28 |C: \.{TR|IP.PL} (|
|00004570| 43 4f 4e 54 49 4e 55 45 | 44 29 7d 0a 0a 5c 76 73 |CONTINUE|D)}..\vs|
|00004580| 6b 69 70 38 70 74 0a 5c | 76 65 72 62 61 74 69 6d |kip8pt.\|verbatim|
|00004590| 7b 74 72 69 70 2e 70 6c | 7d 0a 5c 76 66 69 6c 6c |{trip.pl|}.\vfill|
|000045a0| 5c 65 6a 65 63 74 0a 0a | 5c 73 65 63 74 69 6f 6e |\eject..|\section|
|000045b0| 20 41 70 70 65 6e 64 69 | 78 20 44 3a 20 54 68 65 | Appendi|x D: The|
|000045c0| 20 5c 2e 7b 54 52 49 50 | 49 4e 2e 4c 4f 47 7d 20 | \.{TRIP|IN.LOG} |
|000045d0| 66 69 6c 65 2e 0a 57 68 | 65 6e 20 5c 2e 7b 49 4e |file..Wh|en \.{IN|
|000045e0| 49 54 45 58 7d 20 6d 61 | 6b 65 73 20 74 68 65 20 |ITEX} ma|kes the |
|000045f0| 5c 2e 7b 54 52 49 50 2e | 46 4d 54 7d 20 66 69 6c |\.{TRIP.|FMT} fil|
|00004600| 65 2c 20 69 74 20 61 6c | 73 6f 20 63 72 65 61 74 |e, it al|so creat|
|00004610| 65 73 20 61 20 66 69 6c | 65 20 63 61 6c 6c 65 64 |es a fil|e called|
|00004620| 0a 5c 2e 7b 54 52 49 50 | 2e 4c 4f 47 7d 20 74 68 |.\.{TRIP|.LOG} th|
|00004630| 61 74 20 6c 6f 6f 6b 73 | 20 6c 69 6b 65 20 74 68 |at looks| like th|
|00004640| 69 73 2e 0a 5c 72 75 6e | 6e 69 6e 67 68 65 61 64 |is..\run|ninghead|
|00004650| 7b 41 50 50 45 4e 44 49 | 58 20 44 3a 20 5c 2e 7b |{APPENDI|X D: \.{|
|00004660| 54 52 49 50 49 4e 2e 4c | 4f 47 7d 20 28 43 4f 4e |TRIPIN.L|OG} (CON|
|00004670| 54 49 4e 55 45 44 29 7d | 0a 0a 5c 76 73 6b 69 70 |TINUED)}|..\vskip|
|00004680| 38 70 74 0a 5c 76 65 72 | 62 61 74 69 6d 7b 74 72 |8pt.\ver|batim{tr|
|00004690| 69 70 69 6e 2e 6c 6f 67 | 7d 0a 5c 76 66 69 6c 6c |ipin.log|}.\vfill|
|000046a0| 5c 65 6a 65 63 74 0a 0a | 5c 73 65 63 74 69 6f 6e |\eject..|\section|
|000046b0| 20 41 70 70 65 6e 64 69 | 78 20 45 3a 20 54 68 65 | Appendi|x E: The|
|000046c0| 20 5c 2e 7b 54 52 49 50 | 2e 4c 4f 47 7d 20 66 69 | \.{TRIP|.LOG} fi|
|000046d0| 6c 65 2e 0a 48 65 72 65 | 20 69 73 20 74 68 65 20 |le..Here| is the |
|000046e0| 6d 61 6a 6f 72 20 6f 75 | 74 70 75 74 20 6f 66 20 |major ou|tput of |
|000046f0| 74 68 65 20 5c 2e 7b 54 | 52 49 50 7d 20 74 65 73 |the \.{T|RIP} tes|
|00004700| 74 3b 20 69 74 20 69 73 | 20 67 65 6e 65 72 61 74 |t; it is| generat|
|00004710| 65 64 20 62 79 20 72 75 | 6e 6e 69 6e 67 0a 5c 2e |ed by ru|nning.\.|
|00004720| 7b 49 4e 49 54 45 58 7d | 20 61 6e 64 20 6c 6f 61 |{INITEX}| and loa|
|00004730| 64 69 6e 67 20 5c 2e 7b | 54 52 49 50 2e 46 4d 54 |ding \.{|TRIP.FMT|
|00004740| 7d 2c 20 74 68 65 6e 20 | 72 65 61 64 69 6e 67 20 |}, then |reading |
|00004750| 5c 2e 7b 54 52 49 50 2e | 54 45 58 7d 2e 0a 5c 72 |\.{TRIP.|TEX}..\r|
|00004760| 75 6e 6e 69 6e 67 68 65 | 61 64 7b 41 50 50 45 4e |unninghe|ad{APPEN|
|00004770| 44 49 58 20 45 3a 20 5c | 2e 7b 54 52 49 50 2e 4c |DIX E: \|.{TRIP.L|
|00004780| 4f 47 7d 20 28 43 4f 4e | 54 49 4e 55 45 44 29 7d |OG} (CON|TINUED)}|
|00004790| 0a 0a 7b 5c 6c 65 74 5c | 74 74 3d 5c 65 69 67 68 |..{\let\|tt=\eigh|
|000047a0| 74 74 74 5c 6c 65 66 74 | 73 6b 69 70 20 31 69 6e |ttt\left|skip 1in|
|000047b0| 5c 62 61 73 65 6c 69 6e | 65 73 6b 69 70 20 39 70 |\baselin|eskip 9p|
|000047c0| 74 20 70 6c 75 73 20 2e | 31 70 74 20 6d 69 6e 75 |t plus .|1pt minu|
|000047d0| 73 20 2e 31 70 74 0a 5c | 76 73 6b 69 70 38 70 74 |s .1pt.\|vskip8pt|
|000047e0| 0a 5c 76 65 72 62 61 74 | 69 6d 7b 74 72 69 70 2e |.\verbat|im{trip.|
|000047f0| 6c 6f 67 7d 0a 7d 0a 5c | 76 66 69 6c 6c 5c 65 6a |log}.}.\|vfill\ej|
|00004800| 65 63 74 0a 0a 5c 73 65 | 63 74 69 6f 6e 20 41 70 |ect..\se|ction Ap|
|00004810| 70 65 6e 64 69 78 20 46 | 3a 20 54 68 65 20 5c 2e |pendix F|: The \.|
|00004820| 7b 54 52 49 50 2e 54 59 | 50 7d 20 66 69 6c 65 2e |{TRIP.TY|P} file.|
|00004830| 0a 48 65 72 65 20 69 73 | 20 61 6e 6f 74 68 65 72 |.Here is| another|
|00004840| 20 6d 61 6a 6f 72 20 63 | 6f 6d 70 6f 6e 65 6e 74 | major c|omponent|
|00004850| 20 6f 66 20 74 68 65 20 | 74 65 73 74 2e 20 49 74 | of the |test. It|
|00004860| 20 73 68 6f 77 73 20 74 | 68 65 20 6f 75 74 70 75 | shows t|he outpu|
|00004870| 74 20 6f 66 20 5c 2e 7b | 44 56 49 74 79 70 65 7d |t of \.{|DVItype}|
|00004880| 0a 61 70 70 6c 69 65 64 | 20 74 6f 20 74 68 65 20 |.applied| to the |
|00004890| 66 69 6c 65 20 5c 2e 7b | 54 52 49 50 2e 44 56 49 |file \.{|TRIP.DVI|
|000048a0| 7d 20 74 68 61 74 20 77 | 61 73 20 63 72 65 61 74 |} that w|as creat|
|000048b0| 65 64 20 61 74 20 74 68 | 65 20 73 61 6d 65 20 74 |ed at th|e same t|
|000048c0| 69 6d 65 0a 41 70 70 65 | 6e 64 69 78 20 45 20 77 |ime.Appe|ndix E w|
|000048d0| 61 73 20 70 72 6f 64 75 | 63 65 64 2e 0a 5c 72 75 |as produ|ced..\ru|
|000048e0| 6e 6e 69 6e 67 68 65 61 | 64 7b 41 50 50 45 4e 44 |nninghea|d{APPEND|
|000048f0| 49 58 20 46 3a 20 5c 2e | 7b 54 52 49 50 2e 54 59 |IX F: \.|{TRIP.TY|
|00004900| 50 7d 20 28 43 4f 4e 54 | 49 4e 55 45 44 29 7d 0a |P} (CONT|INUED)}.|
|00004910| 0a 7b 5c 6c 65 74 5c 74 | 74 3d 5c 65 69 67 68 74 |.{\let\t|t=\eight|
|00004920| 74 74 5c 6c 65 66 74 73 | 6b 69 70 20 31 69 6e 5c |tt\lefts|kip 1in\|
|00004930| 62 61 73 65 6c 69 6e 65 | 73 6b 69 70 20 39 70 74 |baseline|skip 9pt|
|00004940| 20 70 6c 75 73 20 2e 31 | 70 74 20 6d 69 6e 75 73 | plus .1|pt minus|
|00004950| 20 2e 31 70 74 0a 5c 76 | 73 6b 69 70 38 70 74 0a | .1pt.\v|skip8pt.|
|00004960| 5c 76 65 72 62 61 74 69 | 6d 7b 74 72 69 70 2e 74 |\verbati|m{trip.t|
|00004970| 79 70 7d 0a 7d 0a 5c 76 | 66 69 6c 6c 5c 65 6a 65 |yp}.}.\v|fill\eje|
|00004980| 63 74 0a 0a 5c 73 65 63 | 74 69 6f 6e 20 41 70 70 |ct..\sec|tion App|
|00004990| 65 6e 64 69 78 20 47 3a | 20 54 68 65 20 5c 2e 7b |endix G:| The \.{|
|000049a0| 54 52 49 50 4f 53 2e 54 | 45 58 7d 20 66 69 6c 65 |TRIPOS.T|EX} file|
|000049b0| 2e 0a 54 68 69 73 20 73 | 68 6f 72 74 20 66 69 6c |..This s|hort fil|
|000049c0| 65 20 77 61 73 20 77 72 | 69 74 74 65 6e 20 6f 75 |e was wr|itten ou|
|000049d0| 74 20 6f 6e 63 65 20 61 | 6e 64 20 72 65 61 64 20 |t once a|nd read |
|000049e0| 69 6e 20 74 77 69 63 65 | 2c 20 64 75 72 69 6e 67 |in twice|, during|
|000049f0| 20 74 68 65 20 74 69 6d | 65 0a 41 70 70 65 6e 64 | the tim|e.Append|
|00004a00| 69 78 20 45 20 77 61 73 | 20 62 65 69 6e 67 20 70 |ix E was| being p|
|00004a10| 72 6f 64 75 63 65 64 2e | 20 54 68 65 72 65 20 61 |roduced.| There a|
|00004a20| 72 65 20 6f 6e 6c 79 20 | 74 68 72 65 65 20 6c 69 |re only |three li|
|00004a30| 6e 65 73 2c 20 74 68 65 | 20 66 69 72 73 74 20 6f |nes, the| first o|
|00004a40| 66 0a 77 68 69 63 68 20 | 69 73 20 62 6c 61 6e 6b |f.which |is blank|
|00004a50| 2e 0a 5c 72 75 6e 6e 69 | 6e 67 68 65 61 64 7b 41 |..\runni|nghead{A|
|00004a60| 50 50 45 4e 44 49 58 20 | 47 3a 20 5c 2e 7b 54 52 |PPENDIX |G: \.{TR|
|00004a70| 49 50 4f 53 2e 54 45 58 | 7d 20 28 43 4f 4e 54 49 |IPOS.TEX|} (CONTI|
|00004a80| 4e 55 45 44 29 7d 0a 0a | 5c 76 73 6b 69 70 38 70 |NUED)}..|\vskip8p|
|00004a90| 74 0a 5c 76 65 72 62 61 | 74 69 6d 7b 74 72 69 70 |t.\verba|tim{trip|
|00004aa0| 6f 73 2e 74 65 78 7d 0a | 5c 76 66 69 6c 6c 5c 65 |os.tex}.|\vfill\e|
|00004ab0| 6a 65 63 74 0a 0a 5c 73 | 65 63 74 69 6f 6e 20 41 |ject..\s|ection A|
|00004ac0| 70 70 65 6e 64 69 78 20 | 48 3a 20 54 68 65 20 5c |ppendix |H: The \|
|00004ad0| 2e 7b 54 52 49 50 2e 46 | 4f 54 7d 20 66 69 6c 65 |.{TRIP.F|OT} file|
|00004ae0| 2e 0a 54 68 69 73 20 73 | 68 6f 77 73 20 77 68 61 |..This s|hows wha|
|00004af0| 74 20 61 70 70 65 61 72 | 65 64 20 6f 6e 20 74 68 |t appear|ed on th|
|00004b00| 65 20 74 65 72 6d 69 6e | 61 6c 20 77 68 69 6c 65 |e termin|al while|
|00004b10| 20 41 70 70 65 6e 64 69 | 78 20 45 20 77 61 73 20 | Appendi|x E was |
|00004b20| 62 65 69 6e 67 20 70 72 | 6f 64 75 63 65 64 2e 0a |being pr|oduced..|
|00004b30| 5c 72 75 6e 6e 69 6e 67 | 68 65 61 64 7b 41 50 50 |\running|head{APP|
|00004b40| 45 4e 44 49 58 20 48 3a | 20 5c 2e 7b 54 52 49 50 |ENDIX H:| \.{TRIP|
|00004b50| 2e 46 4f 54 7d 20 28 43 | 4f 4e 54 49 4e 55 45 44 |.FOT} (C|ONTINUED|
|00004b60| 29 7d 0a 0a 5c 76 73 6b | 69 70 38 70 74 0a 5c 76 |)}..\vsk|ip8pt.\v|
|00004b70| 65 72 62 61 74 69 6d 7b | 74 72 69 70 2e 66 6f 74 |erbatim{|trip.fot|
|00004b80| 7d 0a 0a 5c 76 66 69 6c | 6c 5c 65 6e 64 0a |}..\vfil|l\end. |
+--------+-------------------------+-------------------------+--------+--------+
