/ InfoMagic Source Code 1993 July / THE_SOURCE_CODE_CD_ROM.iso / languages / elisp / packages / format.shar

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 46 72 6f 6d 20 61 72 6b | 31 21 75 61 6b 61 72 69 |From ark|1!uakari|
|00000010| 2e 70 72 69 6d 61 74 65 | 2e 77 69 73 63 2e 65 64 |.primate|.wisc.ed|
|00000020| 75 21 67 65 6d 2e 6d 70 | 73 2e 6f 68 69 6f 2d 73 |u!gem.mp|s.ohio-s|
|00000030| 74 61 74 65 2e 65 64 75 | 21 77 75 61 72 63 68 69 |tate.edu|!wuarchi|
|00000040| 76 65 21 77 75 67 61 74 | 65 21 75 75 6e 65 74 21 |ve!wugat|e!uunet!|
|00000050| 68 73 69 21 6d 6c 66 61 | 72 6d 21 72 6f 6e 20 57 |hsi!mlfa|rm!ron W|
|00000060| 65 64 20 4f 63 74 20 32 | 35 20 31 34 3a 30 37 3a |ed Oct 2|5 14:07:|
|00000070| 33 32 20 31 39 38 39 0a | 41 72 74 69 63 6c 65 20 |32 1989.|Article |
|00000080| 36 32 32 20 6f 66 20 63 | 6f 6d 70 2e 65 6d 61 63 |622 of c|omp.emac|
|00000090| 73 0a 50 61 74 68 3a 20 | 61 72 6b 31 21 75 61 6b |s.Path: |ark1!uak|
|000000a0| 61 72 69 2e 70 72 69 6d | 61 74 65 2e 77 69 73 63 |ari.prim|ate.wisc|
|000000b0| 2e 65 64 75 21 67 65 6d | 2e 6d 70 73 2e 6f 68 69 |.edu!gem|.mps.ohi|
|000000c0| 6f 2d 73 74 61 74 65 2e | 65 64 75 21 77 75 61 72 |o-state.|edu!wuar|
|000000d0| 63 68 69 76 65 21 77 75 | 67 61 74 65 21 75 75 6e |chive!wu|gate!uun|
|000000e0| 65 74 21 68 73 69 21 6d | 6c 66 61 72 6d 21 72 6f |et!hsi!m|lfarm!ro|
|000000f0| 6e 0a 3e 46 72 6f 6d 20 | 72 6f 6e 40 6d 6c 66 61 |n.>From |ron@mlfa|
|00000100| 72 6d 2e 55 55 43 50 20 | 28 52 6f 6e 61 6c 64 20 |rm.UUCP |(Ronald |
|00000110| 46 6c 6f 72 65 6e 63 65 | 29 0a 4e 65 77 73 67 72 |Florence|).Newsgr|
|00000120| 6f 75 70 73 3a 20 63 6f | 6d 70 2e 65 6d 61 63 73 |oups: co|mp.emacs|
|00000130| 0a 53 75 62 6a 65 63 74 | 3a 20 62 61 63 6b 67 72 |.Subject|: backgr|
|00000140| 6f 75 6e 64 20 66 6f 72 | 6d 61 74 74 69 6e 67 20 |ound for|matting |
|00000150| 26 20 70 72 69 6e 74 69 | 6e 67 0a 4d 65 73 73 61 |& printi|ng.Messa|
|00000160| 67 65 2d 49 44 3a 20 3c | 33 35 34 40 6d 6c 66 61 |ge-ID: <|354@mlfa|
|00000170| 72 6d 2e 55 55 43 50 3e | 0a 44 61 74 65 3a 20 32 |rm.UUCP>|.Date: 2|
|00000180| 34 20 4f 63 74 20 38 39 | 20 31 35 3a 30 39 3a 31 |4 Oct 89| 15:09:1|
|00000190| 35 20 47 4d 54 0a 4f 72 | 67 61 6e 69 7a 61 74 69 |5 GMT.Or|ganizati|
|000001a0| 6f 6e 3a 20 4d 61 70 6c | 65 20 4c 61 77 6e 20 46 |on: Mapl|e Lawn F|
|000001b0| 61 72 6d 2c 20 53 74 6f | 6e 69 6e 67 74 6f 6e 2c |arm, Sto|nington,|
|000001c0| 20 43 54 0a 4c 69 6e 65 | 73 3a 20 32 37 33 0a 0a | CT.Line|s: 273..|
|000001d0| 53 6f 6d 65 20 74 69 6d | 65 20 61 67 6f 20 49 20 |Some tim|e ago I |
|000001e0| 70 6f 73 74 65 64 20 61 | 20 71 75 65 72 79 20 61 |posted a| query a|
|000001f0| 62 6f 75 74 20 68 6f 77 | 20 74 6f 20 64 6f 20 74 |bout how| to do t|
|00000200| 72 6f 66 66 20 66 6f 72 | 6d 61 74 74 69 6e 67 20 |roff for|matting |
|00000210| 61 6e 64 0a 70 72 69 6e | 74 69 6e 67 20 61 73 20 |and.prin|ting as |
|00000220| 61 20 62 61 63 6b 67 72 | 6f 75 6e 64 20 28 61 73 |a backgr|ound (as|
|00000230| 79 6e 63 68 72 6f 6e 6f | 75 73 29 20 70 72 6f 63 |ynchrono|us) proc|
|00000240| 65 73 73 20 75 6e 64 65 | 72 20 47 4e 55 20 45 6d |ess unde|r GNU Em|
|00000250| 61 63 73 2e 20 20 49 0a | 72 65 63 65 69 76 65 64 |acs.  I.|received|
|00000260| 20 73 6f 6d 65 20 75 73 | 65 66 75 6c 20 73 75 67 | some us|eful sug|
|00000270| 67 65 73 74 69 6f 6e 73 | 20 62 79 20 65 6d 61 69 |gestions| by emai|
|00000280| 6c 2c 20 74 68 65 6e 20 | 70 75 74 20 74 6f 67 65 |l, then |put toge|
|00000290| 74 68 65 72 20 74 68 65 | 0a 61 74 74 61 63 68 65 |ther the|.attache|
|000002a0| 64 20 63 6f 64 65 20 28 | 66 6f 72 6d 61 74 2e 65 |d code (|format.e|
|000002b0| 6c 29 20 77 68 69 63 68 | 20 70 72 6f 76 69 64 65 |l) which| provide|
|000002c0| 73 3a 0a 0a 09 74 72 6f | 66 66 2d 62 75 66 66 65 |s:...tro|ff-buffe|
|000002d0| 72 09 28 74 72 6f 66 66 | 20 74 6f 20 61 20 70 72 |r.(troff| to a pr|
|000002e0| 69 6e 74 65 72 29 0a 09 | 74 72 6f 66 66 2d 72 65 |inter)..|troff-re|
|000002f0| 67 69 6f 6e 0a 09 6e 72 | 6f 66 66 2d 62 75 66 66 |gion..nr|off-buff|
|00000300| 65 72 09 28 6e 72 6f 66 | 66 20 74 6f 20 61 20 70 |er.(nrof|f to a p|
|00000310| 72 69 6e 74 65 72 29 0a | 09 6e 72 6f 66 66 2d 72 |rinter).|.nroff-r|
|00000320| 65 67 69 6f 6e 0a 09 70 | 72 6f 6f 66 2d 62 75 66 |egion..p|roof-buf|
|00000330| 66 65 72 09 28 6e 72 6f | 66 66 20 70 72 6f 6f 66 |fer.(nro|ff proof|
|00000340| 20 74 6f 20 61 6e 20 45 | 6d 61 63 73 20 77 69 6e | to an E|macs win|
|00000350| 64 6f 77 29 0a 09 74 70 | 72 6f 6f 66 2d 62 75 66 |dow)..tp|roof-buf|
|00000360| 66 65 72 09 28 74 72 6f | 66 66 20 61 73 63 69 69 |fer.(tro|ff ascii|
|00000370| 20 70 72 6f 6f 66 20 74 | 6f 20 61 6e 20 45 6d 61 | proof t|o an Ema|
|00000380| 63 73 20 77 69 6e 64 6f | 77 29 0a 09 70 72 2d 62 |cs windo|w)..pr-b|
|00000390| 75 66 66 65 72 09 28 70 | 72 20 74 6f 20 61 20 70 |uffer.(p|r to a p|
|000003a0| 72 69 6e 74 65 72 29 0a | 09 70 72 2d 72 65 67 69 |rinter).|.pr-regi|
|000003b0| 6f 6e 0a 0a 54 68 65 20 | 70 72 69 6e 74 65 72 20 |on..The |printer |
|000003c0| 61 6e 64 20 70 72 6f 6f | 66 20 70 72 6f 63 65 73 |and proo|f proces|
|000003d0| 73 65 73 20 61 6c 6c 20 | 72 75 6e 20 69 6e 20 74 |ses all |run in t|
|000003e0| 68 65 20 62 61 63 6b 67 | 72 6f 75 6e 64 2c 20 61 |he backg|round, a|
|000003f0| 6e 64 20 63 61 6e 20 62 | 65 0a 69 6e 74 65 72 72 |nd can b|e.interr|
|00000400| 75 70 74 65 64 20 77 69 | 74 68 20 6b 69 6c 6c 2d |upted wi|th kill-|
|00000410| 70 72 69 6e 74 20 6f 72 | 20 6b 69 6c 6c 2d 70 72 |print or| kill-pr|
|00000420| 6f 6f 66 2e 20 20 54 6f | 20 75 73 65 20 74 68 65 |oof.  To| use the|
|00000430| 20 70 61 63 6b 61 67 65 | 2c 0a 63 75 73 74 6f 6d | package|,.custom|
|00000440| 69 7a 65 20 72 6f 66 66 | 2d 6d 61 63 72 6f 2c 20 |ize roff|-macro, |
|00000450| 74 72 6f 66 66 2d 6f 70 | 74 69 6f 6e 73 2c 20 6e |troff-op|tions, n|
|00000460| 72 6f 66 66 2d 6f 70 74 | 69 6f 6e 73 2c 20 61 6e |roff-opt|ions, an|
|00000470| 64 20 74 68 65 20 66 6f | 72 6d 61 74 0a 73 74 72 |d the fo|rmat.str|
|00000480| 69 6e 67 73 20 74 6f 20 | 66 69 74 20 79 6f 75 72 |ings to |fit your|
|00000490| 20 6c 6f 63 61 6c 20 72 | 65 71 75 69 72 65 6d 65 | local r|equireme|
|000004a0| 6e 74 73 2e 20 20 49 66 | 20 79 6f 75 20 64 6f 20 |nts.  If| you do |
|000004b0| 6d 75 63 68 20 77 6f 72 | 6b 20 77 69 74 68 20 74 |much wor|k with t|
|000004c0| 72 6f 66 66 0a 6f 72 20 | 6e 72 6f 66 66 2c 20 79 |roff.or |nroff, y|
|000004d0| 6f 75 20 6d 61 79 20 77 | 61 6e 74 20 74 6f 20 6c |ou may w|ant to l|
|000004e0| 6f 61 64 20 66 6f 72 6d | 61 74 2e 65 6c 20 69 6e |oad form|at.el in|
|000004f0| 20 61 20 6e 65 77 20 76 | 65 72 73 69 6f 6e 20 6f | a new v|ersion o|
|00000500| 66 20 45 6d 61 63 73 2e | 0a 5a 61 70 2d 6e 72 6f |f Emacs.|.Zap-nro|
|00000510| 66 66 2d 63 72 61 70 20 | 75 73 65 73 20 61 20 6c |ff-crap |uses a l|
|00000520| 6f 63 61 6c 20 6b 6c 75 | 67 65 20 74 6f 20 69 6e |ocal klu|ge to in|
|00000530| 76 6f 6b 65 20 65 78 70 | 61 6e 64 65 64 20 70 72 |voke exp|anded pr|
|00000540| 69 6e 74 20 66 6f 72 20 | 6c 69 6e 65 73 0a 62 65 |int for |lines.be|
|00000550| 67 69 6e 6e 69 6e 67 20 | 77 69 74 68 20 5e 47 2e |ginning |with ^G.|
|00000560| 0a 0a 49 20 77 65 6c 63 | 6f 6d 65 20 73 75 67 67 |..I welc|ome sugg|
|00000570| 65 73 74 69 6f 6e 73 20 | 66 6f 72 20 63 68 61 6e |estions |for chan|
|00000580| 67 65 73 20 6f 72 20 69 | 6d 70 72 6f 76 65 6d 65 |ges or i|mproveme|
|00000590| 6e 74 73 2e 0a 0a 5f 5f | 5f 5f 5f 5f 5f 5f 5f 5f |nts...__|________|
|000005a0| 5f 5f 5f 5f 5f 5f 5f 5f | 5f 5f 5f 5f 5f 5f 5f 5f |________|________|
|000005b0| 5f 5f 5f 5f 5f 5f 5f 0a | 23 21 20 2f 62 69 6e 2f |_______.|#! /bin/|
|000005c0| 73 68 0a 23 20 54 68 69 | 73 20 69 73 20 61 20 73 |sh.# Thi|s is a s|
|000005d0| 68 65 6c 6c 20 61 72 63 | 68 69 76 65 2c 20 6d 65 |hell arc|hive, me|
|000005e0| 61 6e 69 6e 67 3a 0a 23 | 20 31 2e 20 52 65 6d 6f |aning:.#| 1. Remo|
|000005f0| 76 65 20 65 76 65 72 79 | 74 68 69 6e 67 20 61 62 |ve every|thing ab|
|00000600| 6f 76 65 20 74 68 65 20 | 23 21 20 2f 62 69 6e 2f |ove the |#! /bin/|
|00000610| 73 68 20 6c 69 6e 65 2e | 0a 23 20 32 2e 20 53 61 |sh line.|.# 2. Sa|
|00000620| 76 65 20 74 68 65 20 72 | 65 73 75 6c 74 69 6e 67 |ve the r|esulting|
|00000630| 20 74 65 78 74 20 69 6e | 20 61 20 66 69 6c 65 2e | text in| a file.|
|00000640| 0a 23 20 33 2e 20 45 78 | 65 63 75 74 65 20 74 68 |.# 3. Ex|ecute th|
|00000650| 65 20 66 69 6c 65 20 77 | 69 74 68 20 2f 62 69 6e |e file w|ith /bin|
|00000660| 2f 73 68 20 28 6e 6f 74 | 20 63 73 68 29 20 74 6f |/sh (not| csh) to|
|00000670| 20 63 72 65 61 74 65 3a | 0a 23 09 66 6f 72 6d 61 | create:|.#.forma|
|00000680| 74 2e 65 6c 0a 23 20 54 | 68 69 73 20 61 72 63 68 |t.el.# T|his arch|
|00000690| 69 76 65 20 63 72 65 61 | 74 65 64 3a 20 54 75 65 |ive crea|ted: Tue|
|000006a0| 20 4f 63 74 20 32 34 20 | 31 30 3a 34 31 3a 33 38 | Oct 24 |10:41:38|
|000006b0| 20 31 39 38 39 0a 23 20 | 42 79 3a 09 52 6f 6e 61 | 1989.# |By:.Rona|
|000006c0| 6c 64 20 46 6c 6f 72 65 | 6e 63 65 20 28 4d 61 70 |ld Flore|nce (Map|
|000006d0| 6c 65 20 4c 61 77 6e 20 | 46 61 72 6d 2c 20 53 74 |le Lawn |Farm, St|
|000006e0| 6f 6e 69 6e 67 74 6f 6e | 2c 20 43 54 29 0a 65 78 |onington|, CT).ex|
|000006f0| 70 6f 72 74 20 50 41 54 | 48 3b 20 50 41 54 48 3d |port PAT|H; PATH=|
|00000700| 2f 62 69 6e 3a 2f 75 73 | 72 2f 62 69 6e 3a 24 50 |/bin:/us|r/bin:$P|
|00000710| 41 54 48 0a 65 63 68 6f | 20 73 68 61 72 3a 20 22 |ATH.echo| shar: "|
|00000720| 65 78 74 72 61 63 74 69 | 6e 67 20 27 66 6f 72 6d |extracti|ng 'form|
|00000730| 61 74 2e 65 6c 27 22 20 | 27 28 37 31 38 31 20 63 |at.el'" |'(7181 c|
|00000740| 68 61 72 61 63 74 65 72 | 73 29 27 0a 69 66 20 74 |haracter|s)'.if t|
|00000750| 65 73 74 20 2d 66 20 27 | 66 6f 72 6d 61 74 2e 65 |est -f '|format.e|
|00000760| 6c 27 0a 74 68 65 6e 0a | 09 65 63 68 6f 20 73 68 |l'.then.|.echo sh|
|00000770| 61 72 3a 20 22 77 69 6c | 6c 20 6e 6f 74 20 6f 76 |ar: "wil|l not ov|
|00000780| 65 72 2d 77 72 69 74 65 | 20 65 78 69 73 74 69 6e |er-write| existin|
|00000790| 67 20 66 69 6c 65 20 27 | 66 6f 72 6d 61 74 2e 65 |g file '|format.e|
|000007a0| 6c 27 22 0a 65 6c 73 65 | 0a 73 65 64 20 27 73 2f |l'".else|.sed 's/|
|000007b0| 5e 58 2f 2f 27 20 3c 3c | 20 5c 53 48 41 52 5f 45 |^X//' <<| \SHAR_E|
|000007c0| 4f 46 20 3e 20 27 66 6f | 72 6d 61 74 2e 65 6c 27 |OF > 'fo|rmat.el'|
|000007d0| 0a 58 3b 3b 20 66 6f 72 | 6d 61 74 2e 65 6c 0a 58 |.X;; for|mat.el.X|
|000007e0| 3b 3b 20 43 6f 70 79 72 | 69 67 68 74 20 31 39 38 |;; Copyr|ight 198|
|000007f0| 39 20 52 6f 6e 61 6c 64 | 20 46 6c 6f 72 65 6e 63 |9 Ronald| Florenc|
|00000800| 65 20 28 72 6f 6e 40 6d | 6c 66 61 72 6d 29 0a 58 |e (ron@m|lfarm).X|
|00000810| 0a 58 28 64 65 66 76 61 | 72 20 72 6f 66 66 2d 6d |.X(defva|r roff-m|
|00000820| 61 63 72 6f 20 22 2d 6d | 6d 22 0a 58 22 2a 44 65 |acro "-m|m".X"*De|
|00000830| 66 61 75 6c 74 20 6d 61 | 63 72 6f 20 70 61 63 6b |fault ma|cro pack|
|00000840| 61 67 65 20 74 6f 20 75 | 73 65 20 77 69 74 68 20 |age to u|se with |
|00000850| 74 72 6f 66 66 20 61 6e | 64 20 6e 72 6f 66 66 2e |troff an|d nroff.|
|00000860| 22 29 0a 58 0a 58 28 64 | 65 66 76 61 72 20 74 72 |").X.X(d|efvar tr|
|00000870| 6f 66 66 2d 6f 70 74 69 | 6f 6e 73 20 22 2d 72 4e |off-opti|ons "-rN|
|00000880| 32 22 0a 58 22 2a 44 65 | 66 61 75 6c 74 20 6f 70 |2".X"*De|fault op|
|00000890| 74 69 6f 6e 73 20 74 6f | 20 75 73 65 20 77 69 74 |tions to| use wit|
|000008a0| 68 20 74 72 6f 66 66 2e | 22 29 0a 58 0a 58 28 64 |h troff.|").X.X(d|
|000008b0| 65 66 76 61 72 20 6e 72 | 6f 66 66 2d 6f 70 74 69 |efvar nr|off-opti|
|000008c0| 6f 6e 73 20 22 2d 72 4e | 32 20 2d 72 4f 39 22 0a |ons "-rN|2 -rO9".|
|000008d0| 58 22 2a 44 65 66 61 75 | 6c 74 20 6f 70 74 69 6f |X"*Defau|lt optio|
|000008e0| 6e 73 20 74 6f 20 75 73 | 65 20 77 69 74 68 20 6e |ns to us|e with n|
|000008f0| 72 6f 66 66 2e 22 29 0a | 58 0a 58 28 73 65 74 71 |roff.").|X.X(setq|
|00000900| 20 74 72 6f 66 66 2d 66 | 6f 72 6d 61 74 2d 73 74 | troff-f|ormat-st|
|00000910| 72 69 6e 67 20 22 5c 28 | 74 72 6f 66 66 20 2d 74 |ring "\(|troff -t|
|00000920| 20 25 73 20 25 73 20 25 | 73 20 32 3e 26 31 20 5c | %s %s %|s 2>&1 \|
|00000930| 29 20 7c 20 6c 70 20 2d | 6f 74 20 2d 6e 25 64 22 |) | lp -|ot -n%d"|
|00000940| 29 0a 58 28 73 65 74 71 | 20 6e 72 6f 66 66 2d 66 |).X(setq| nroff-f|
|00000950| 6f 72 6d 61 74 2d 73 74 | 72 69 6e 67 20 22 6e 72 |ormat-st|ring "nr|
|00000960| 6f 66 66 20 2d 54 68 70 | 20 25 73 20 25 73 20 25 |off -Thp| %s %s %|
|00000970| 73 20 7c 20 6c 70 20 2d | 6e 25 64 22 29 0a 58 28 |s | lp -|n%d").X(|
|00000980| 73 65 74 71 20 70 72 2d | 66 6f 72 6d 61 74 2d 73 |setq pr-|format-s|
|00000990| 74 72 69 6e 67 20 22 70 | 72 20 2d 68 20 25 73 20 |tring "p|r -h %s |
|000009a0| 25 73 20 7c 20 6c 70 20 | 2d 6e 25 64 22 29 0a 58 |%s | lp |-n%d").X|
|000009b0| 0a 58 28 69 66 20 28 6e | 6f 74 20 6e 72 6f 66 66 |.X(if (n|ot nroff|
|000009c0| 2d 6d 6f 64 65 2d 6d 61 | 70 29 0a 58 20 20 20 20 |-mode-ma|p).X    |
|000009d0| 28 65 72 72 6f 72 20 22 | 4e 72 6f 66 66 2d 6d 6f |(error "|Nroff-mo|
|000009e0| 64 65 20 69 73 20 6e 6f | 74 20 6c 6f 61 64 65 64 |de is no|t loaded|
|000009f0| 2e 22 29 0a 58 20 20 28 | 70 72 6f 67 6e 0a 58 20 |.").X  (|progn.X |
|00000a00| 20 20 20 28 64 65 66 69 | 6e 65 2d 6b 65 79 20 6e |   (defi|ne-key n|
|00000a10| 72 6f 66 66 2d 6d 6f 64 | 65 2d 6d 61 70 20 22 5c |roff-mod|e-map "\|
|00000a20| 43 2d 63 5c 43 2d 6e 22 | 20 27 70 72 6f 6f 66 2d |C-c\C-n"| 'proof-|
|00000a30| 62 75 66 66 65 72 29 0a | 58 20 20 20 20 28 64 65 |buffer).|X    (de|
|00000a40| 66 69 6e 65 2d 6b 65 79 | 20 6e 72 6f 66 66 2d 6d |fine-key| nroff-m|
|00000a50| 6f 64 65 2d 6d 61 70 20 | 22 5c 43 2d 63 5c 43 2d |ode-map |"\C-c\C-|
|00000a60| 74 22 20 27 74 70 72 6f | 6f 66 2d 62 75 66 66 65 |t" 'tpro|of-buffe|
|00000a70| 72 29 0a 58 20 20 20 20 | 28 64 65 66 69 6e 65 2d |r).X    |(define-|
|00000a80| 6b 65 79 20 6e 72 6f 66 | 66 2d 6d 6f 64 65 2d 6d |key nrof|f-mode-m|
|00000a90| 61 70 20 22 5c 43 2d 63 | 5c 43 2d 6b 22 20 27 6b |ap "\C-c|\C-k" 'k|
|00000aa0| 69 6c 6c 2d 70 72 6f 6f | 66 29 0a 58 20 20 20 20 |ill-proo|f).X    |
|00000ab0| 28 64 65 66 69 6e 65 2d | 6b 65 79 20 6e 72 6f 66 |(define-|key nrof|
|00000ac0| 66 2d 6d 6f 64 65 2d 6d | 61 70 20 22 5c 43 2d 63 |f-mode-m|ap "\C-c|
|00000ad0| 5c 43 2d 69 22 20 27 6b | 69 6c 6c 2d 70 72 69 6e |\C-i" 'k|ill-prin|
|00000ae0| 74 29 29 29 0a 58 0a 58 | 28 73 65 74 71 20 70 72 |t))).X.X|(setq pr|
|00000af0| 6f 6f 66 2d 74 6d 70 2d | 66 69 6c 65 20 6e 69 6c |oof-tmp-|file nil|
|00000b00| 20 0a 58 20 20 20 20 20 | 20 70 72 69 6e 74 2d 74 | .X     | print-t|
|00000b10| 6d 70 2d 66 69 6c 65 20 | 6e 69 6c 0a 58 20 20 20 |mp-file |nil.X   |
|00000b20| 20 20 20 70 72 6f 6f 66 | 2d 70 72 6f 63 65 73 73 |   proof|-process|
|00000b30| 20 6e 69 6c 20 0a 58 20 | 20 20 20 20 20 70 72 69 | nil .X |     pri|
|00000b40| 6e 74 2d 70 72 6f 63 65 | 73 73 20 6e 69 6c 0a 58 |nt-proce|ss nil.X|
|00000b50| 20 20 20 20 20 20 70 72 | 6f 6f 66 2d 66 69 6c 65 |      pr|oof-file|
|00000b60| 20 6e 69 6c 29 0a 58 0a | 58 28 64 65 66 75 6e 20 | nil).X.|X(defun |
|00000b70| 6e 72 6f 66 66 2d 62 75 | 66 66 65 72 20 28 26 6f |nroff-bu|ffer (&o|
|00000b80| 70 74 69 6f 6e 61 6c 20 | 63 6f 70 69 65 73 29 0a |ptional |copies).|
|00000b90| 58 20 20 22 50 72 69 6e | 74 20 62 75 66 66 65 72 |X  "Prin|t buffer|
|00000ba0| 20 63 6f 6e 74 65 6e 74 | 73 20 61 66 74 65 72 20 | content|s after |
|00000bb0| 66 6f 72 6d 61 74 74 69 | 6e 67 20 77 69 74 68 20 |formatti|ng with |
|00000bc0| 6e 72 6f 66 66 2e 0a 58 | 4f 70 74 69 6f 6e 61 6c |nroff..X|Optional|
|00000bd0| 20 70 72 65 66 69 78 20 | 61 72 67 75 6d 65 6e 74 | prefix |argument|
|00000be0| 20 73 70 65 63 69 66 69 | 65 73 20 6e 75 6d 62 65 | specifi|es numbe|
|00000bf0| 72 20 6f 66 20 63 6f 70 | 69 65 73 2e 22 0a 58 20 |r of cop|ies.".X |
|00000c00| 20 28 69 6e 74 65 72 61 | 63 74 69 76 65 20 22 70 | (intera|ctive "p|
|00000c10| 22 29 0a 58 20 20 28 66 | 6f 72 6d 61 74 2d 74 6f |").X  (f|ormat-to|
|00000c20| 2d 70 72 69 6e 74 65 72 | 2d 72 65 67 69 6f 6e 20 |-printer|-region |
|00000c30| 28 70 6f 69 6e 74 2d 6d | 69 6e 29 20 28 70 6f 69 |(point-m|in) (poi|
|00000c40| 6e 74 2d 6d 61 78 29 20 | 22 6e 72 6f 66 66 22 20 |nt-max) |"nroff" |
|00000c50| 63 6f 70 69 65 73 29 29 | 0a 58 0a 58 28 64 65 66 |copies))|.X.X(def|
|00000c60| 75 6e 20 6e 72 6f 66 66 | 2d 72 65 67 69 6f 6e 20 |un nroff|-region |
|00000c70| 28 73 74 61 72 74 20 65 | 6e 64 20 26 6f 70 74 69 |(start e|nd &opti|
|00000c80| 6f 6e 61 6c 20 63 6f 70 | 69 65 73 29 0a 58 20 20 |onal cop|ies).X  |
|00000c90| 22 50 72 69 6e 74 20 72 | 65 67 69 6f 6e 20 63 6f |"Print r|egion co|
|00000ca0| 6e 74 65 6e 74 73 20 61 | 66 74 65 72 20 66 6f 72 |ntents a|fter for|
|00000cb0| 6d 61 74 74 69 6e 67 20 | 77 69 74 68 20 6e 72 6f |matting |with nro|
|00000cc0| 66 66 2e 0a 58 4f 70 74 | 69 6f 6e 61 6c 20 70 72 |ff..XOpt|ional pr|
|00000cd0| 65 66 69 78 20 61 72 67 | 75 6d 65 6e 74 20 73 70 |efix arg|ument sp|
|00000ce0| 65 63 69 66 69 65 73 20 | 6e 75 6d 62 65 72 20 6f |ecifies |number o|
|00000cf0| 66 20 63 6f 70 69 65 73 | 2e 22 0a 58 20 20 28 69 |f copies|.".X  (i|
|00000d00| 6e 74 65 72 61 63 74 69 | 76 65 20 22 72 5c 6e 70 |nteracti|ve "r\np|
|00000d10| 22 29 0a 58 20 20 28 66 | 6f 72 6d 61 74 2d 74 6f |").X  (f|ormat-to|
|00000d20| 2d 70 72 69 6e 74 65 72 | 2d 72 65 67 69 6f 6e 20 |-printer|-region |
|00000d30| 73 74 61 72 74 20 65 6e | 64 20 22 6e 72 6f 66 66 |start en|d "nroff|
|00000d40| 22 20 63 6f 70 69 65 73 | 29 29 0a 58 0a 58 28 64 |" copies|)).X.X(d|
|00000d50| 65 66 75 6e 20 74 72 6f | 66 66 2d 62 75 66 66 65 |efun tro|ff-buffe|
|00000d60| 72 20 28 26 6f 70 74 69 | 6f 6e 61 6c 20 63 6f 70 |r (&opti|onal cop|
|00000d70| 69 65 73 29 0a 58 20 20 | 22 54 79 70 65 73 65 74 |ies).X  |"Typeset|
|00000d80| 20 62 75 66 66 65 72 20 | 61 66 74 65 72 20 66 6f | buffer |after fo|
|00000d90| 72 6d 61 74 74 69 6e 67 | 20 77 69 74 68 20 74 72 |rmatting| with tr|
|00000da0| 6f 66 66 2e 0a 58 4f 70 | 74 69 6f 6e 61 6c 20 70 |off..XOp|tional p|
|00000db0| 72 65 66 69 78 20 61 72 | 67 75 6d 65 6e 74 20 73 |refix ar|gument s|
|00000dc0| 70 65 63 69 66 69 65 73 | 20 6e 75 6d 62 65 72 20 |pecifies| number |
|00000dd0| 6f 66 20 63 6f 70 69 65 | 73 2e 22 0a 58 20 20 28 |of copie|s.".X  (|
|00000de0| 69 6e 74 65 72 61 63 74 | 69 76 65 20 22 70 22 29 |interact|ive "p")|
|00000df0| 0a 58 20 20 28 66 6f 72 | 6d 61 74 2d 74 6f 2d 70 |.X  (for|mat-to-p|
|00000e00| 72 69 6e 74 65 72 2d 72 | 65 67 69 6f 6e 20 28 70 |rinter-r|egion (p|
|00000e10| 6f 69 6e 74 2d 6d 69 6e | 29 20 28 70 6f 69 6e 74 |oint-min|) (point|
|00000e20| 2d 6d 61 78 29 20 22 74 | 72 6f 66 66 22 20 63 6f |-max) "t|roff" co|
|00000e30| 70 69 65 73 29 29 0a 58 | 0a 58 28 64 65 66 75 6e |pies)).X|.X(defun|
|00000e40| 20 74 72 6f 66 66 2d 72 | 65 67 69 6f 6e 20 28 73 | troff-r|egion (s|
|00000e50| 74 61 72 74 20 65 6e 64 | 20 26 6f 70 74 69 6f 6e |tart end| &option|
|00000e60| 61 6c 20 63 6f 70 69 65 | 73 29 0a 58 20 20 22 54 |al copie|s).X  "T|
|00000e70| 79 70 65 73 65 74 20 72 | 65 67 69 6f 6e 20 63 6f |ypeset r|egion co|
|00000e80| 6e 74 65 6e 74 73 20 61 | 66 74 65 72 20 66 6f 72 |ntents a|fter for|
|00000e90| 6d 61 74 74 69 6e 67 20 | 77 69 74 68 20 74 72 6f |matting |with tro|
|00000ea0| 66 66 2e 0a 58 4f 70 74 | 69 6f 6e 61 6c 20 70 72 |ff..XOpt|ional pr|
|00000eb0| 65 66 69 78 20 61 72 67 | 75 6d 65 6e 74 20 73 70 |efix arg|ument sp|
|00000ec0| 65 63 69 66 69 65 73 20 | 6e 75 6d 62 65 72 20 6f |ecifies |number o|
|00000ed0| 66 20 63 6f 70 69 65 73 | 2e 22 0a 58 20 20 28 69 |f copies|.".X  (i|
|00000ee0| 6e 74 65 72 61 63 74 69 | 76 65 20 22 72 5c 6e 70 |nteracti|ve "r\np|
|00000ef0| 22 29 0a 58 20 20 28 66 | 6f 72 6d 61 74 2d 74 6f |").X  (f|ormat-to|
|00000f00| 2d 70 72 69 6e 74 65 72 | 2d 72 65 67 69 6f 6e 20 |-printer|-region |
|00000f10| 73 74 61 72 74 20 65 6e | 64 20 22 74 72 6f 66 66 |start en|d "troff|
|00000f20| 22 20 63 6f 70 69 65 73 | 29 29 0a 58 0a 58 28 64 |" copies|)).X.X(d|
|00000f30| 65 66 75 6e 20 70 72 2d | 62 75 66 66 65 72 20 28 |efun pr-|buffer (|
|00000f40| 26 6f 70 74 69 6f 6e 61 | 6c 20 63 6f 70 69 65 73 |&optiona|l copies|
|00000f50| 29 0a 58 20 20 22 50 72 | 69 6e 74 20 62 75 66 66 |).X  "Pr|int buff|
|00000f60| 65 72 20 63 6f 6e 74 65 | 6e 74 73 20 61 66 74 65 |er conte|nts afte|
|00000f70| 72 20 66 6f 72 6d 61 74 | 74 69 6e 67 20 77 69 74 |r format|ting wit|
|00000f80| 68 20 70 72 2e 0a 58 4f | 70 74 69 6f 6e 61 6c 20 |h pr..XO|ptional |
|00000f90| 70 72 65 66 69 78 20 61 | 72 67 75 6d 65 6e 74 20 |prefix a|rgument |
|00000fa0| 73 70 65 63 69 66 69 65 | 73 20 6e 75 6d 62 65 72 |specifie|s number|
|00000fb0| 20 6f 66 20 63 6f 70 69 | 65 73 2e 22 0a 58 20 20 | of copi|es.".X  |
|00000fc0| 28 69 6e 74 65 72 61 63 | 74 69 76 65 20 22 70 22 |(interac|tive "p"|
|00000fd0| 29 0a 58 20 20 28 66 6f | 72 6d 61 74 2d 74 6f 2d |).X  (fo|rmat-to-|
|00000fe0| 70 72 69 6e 74 65 72 2d | 72 65 67 69 6f 6e 20 28 |printer-|region (|
|00000ff0| 70 6f 69 6e 74 2d 6d 69 | 6e 29 20 28 70 6f 69 6e |point-mi|n) (poin|
|00001000| 74 2d 6d 61 78 29 20 22 | 70 72 22 20 63 6f 70 69 |t-max) "|pr" copi|
|00001010| 65 73 29 29 0a 58 0a 58 | 28 64 65 66 75 6e 20 70 |es)).X.X|(defun p|
|00001020| 72 2d 72 65 67 69 6f 6e | 20 28 73 74 61 72 74 20 |r-region| (start |
|00001030| 65 6e 64 20 26 6f 70 74 | 69 6f 6e 61 6c 20 63 6f |end &opt|ional co|
|00001040| 70 69 65 73 29 0a 58 20 | 20 22 50 72 69 6e 74 20 |pies).X | "Print |
|00001050| 72 65 67 69 6f 6e 20 63 | 6f 6e 74 65 6e 74 73 20 |region c|ontents |
|00001060| 61 66 74 65 72 20 66 6f | 72 6d 61 74 74 69 6e 67 |after fo|rmatting|
|00001070| 20 77 69 74 68 20 70 72 | 2e 0a 58 4f 70 74 69 6f | with pr|..XOptio|
|00001080| 6e 61 6c 20 70 72 65 66 | 69 78 20 61 72 67 75 6d |nal pref|ix argum|
|00001090| 65 6e 74 20 73 70 65 63 | 69 66 69 65 73 20 6e 75 |ent spec|ifies nu|
|000010a0| 6d 62 65 72 20 6f 66 20 | 63 6f 70 69 65 73 2e 22 |mber of |copies."|
|000010b0| 0a 58 20 20 28 69 6e 74 | 65 72 61 63 74 69 76 65 |.X  (int|eractive|
|000010c0| 20 22 72 5c 6e 70 22 29 | 0a 58 20 20 28 66 6f 72 | "r\np")|.X  (for|
|000010d0| 6d 61 74 2d 74 6f 2d 70 | 72 69 6e 74 65 72 2d 72 |mat-to-p|rinter-r|
|000010e0| 65 67 69 6f 6e 20 73 74 | 61 72 74 20 65 6e 64 20 |egion st|art end |
|000010f0| 22 70 72 22 20 63 6f 70 | 69 65 73 29 29 0a 58 0a |"pr" cop|ies)).X.|
|00001100| 58 28 64 65 66 75 6e 20 | 70 72 6f 6f 66 2d 72 65 |X(defun |proof-re|
|00001110| 67 69 6f 6e 20 28 73 74 | 61 72 74 20 65 6e 64 29 |gion (st|art end)|
|00001120| 0a 58 20 20 22 50 72 6f | 6f 66 20 72 65 67 69 6f |.X  "Pro|of regio|
|00001130| 6e 20 75 73 69 6e 67 20 | 6e 72 6f 66 66 2e 22 0a |n using |nroff.".|
|00001140| 58 20 20 28 69 6e 74 65 | 72 61 63 74 69 76 65 20 |X  (inte|ractive |
|00001150| 22 72 22 29 0a 58 20 20 | 28 70 72 6f 6f 66 2d 72 |"r").X  |(proof-r|
|00001160| 65 67 69 6f 6e 2d 74 6f | 2d 62 75 66 66 65 72 20 |egion-to|-buffer |
|00001170| 73 74 61 72 74 20 65 6e | 64 20 22 6e 72 6f 66 66 |start en|d "nroff|
|00001180| 22 29 29 0a 58 0a 58 28 | 64 65 66 75 6e 20 70 72 |")).X.X(|defun pr|
|00001190| 6f 6f 66 2d 62 75 66 66 | 65 72 20 28 29 0a 58 20 |oof-buff|er ().X |
|000011a0| 20 22 50 72 6f 6f 66 20 | 62 75 66 66 65 72 20 75 | "Proof |buffer u|
|000011b0| 73 69 6e 67 20 6e 72 6f | 66 66 2e 22 0a 58 20 20 |sing nro|ff.".X  |
|000011c0| 28 69 6e 74 65 72 61 63 | 74 69 76 65 29 0a 58 20 |(interac|tive).X |
|000011d0| 20 28 70 72 6f 6f 66 2d | 72 65 67 69 6f 6e 2d 74 | (proof-|region-t|
|000011e0| 6f 2d 62 75 66 66 65 72 | 20 28 70 6f 69 6e 74 2d |o-buffer| (point-|
|000011f0| 6d 69 6e 29 20 28 70 6f | 69 6e 74 2d 6d 61 78 29 |min) (po|int-max)|
|00001200| 20 22 6e 72 6f 66 66 22 | 29 29 0a 58 0a 58 28 64 | "nroff"|)).X.X(d|
|00001210| 65 66 75 6e 20 74 70 72 | 6f 6f 66 2d 72 65 67 69 |efun tpr|oof-regi|
|00001220| 6f 6e 20 28 73 74 61 72 | 74 20 65 6e 64 29 0a 58 |on (star|t end).X|
|00001230| 20 20 22 52 6f 75 67 68 | 20 70 72 6f 6f 66 20 72 |  "Rough| proof r|
|00001240| 65 67 69 6f 6e 20 75 73 | 69 6e 67 20 74 72 6f 66 |egion us|ing trof|
|00001250| 66 2e 22 0a 58 20 20 28 | 69 6e 74 65 72 61 63 74 |f.".X  (|interact|
|00001260| 69 76 65 20 22 72 22 29 | 0a 58 20 20 28 70 72 6f |ive "r")|.X  (pro|
|00001270| 6f 66 2d 72 65 67 69 6f | 6e 2d 74 6f 2d 62 75 66 |of-regio|n-to-buf|
|00001280| 66 65 72 20 73 74 61 72 | 74 20 65 6e 64 20 22 74 |fer star|t end "t|
|00001290| 72 6f 66 66 22 29 29 0a | 58 0a 58 28 64 65 66 75 |roff")).|X.X(defu|
|000012a0| 6e 20 74 70 72 6f 6f 66 | 2d 62 75 66 66 65 72 20 |n tproof|-buffer |
|000012b0| 28 29 0a 58 20 20 22 52 | 6f 75 67 68 20 70 72 6f |().X  "R|ough pro|
|000012c0| 6f 66 20 62 75 66 66 65 | 72 20 75 73 69 6e 67 20 |of buffe|r using |
|000012d0| 74 72 6f 66 66 2e 22 0a | 58 20 20 28 69 6e 74 65 |troff.".|X  (inte|
|000012e0| 72 61 63 74 69 76 65 29 | 0a 58 20 20 28 70 72 6f |ractive)|.X  (pro|
|000012f0| 6f 66 2d 72 65 67 69 6f | 6e 2d 74 6f 2d 62 75 66 |of-regio|n-to-buf|
|00001300| 66 65 72 20 28 70 6f 69 | 6e 74 2d 6d 69 6e 29 20 |fer (poi|nt-min) |
|00001310| 28 70 6f 69 6e 74 2d 6d | 61 78 29 20 22 74 72 6f |(point-m|ax) "tro|
|00001320| 66 66 22 29 29 0a 58 0a | 58 28 64 65 66 75 6e 20 |ff")).X.|X(defun |
|00001330| 6b 69 6c 6c 2d 70 72 69 | 6e 74 20 28 29 0a 58 20 |kill-pri|nt ().X |
|00001340| 20 22 4b 69 6c 6c 20 66 | 6f 72 6d 61 74 2d 74 6f | "Kill f|ormat-to|
|00001350| 2d 70 72 69 6e 74 65 72 | 20 70 72 6f 63 65 73 73 |-printer| process|
|00001360| 2e 22 0a 58 20 20 28 69 | 6e 74 65 72 61 63 74 69 |.".X  (i|nteracti|
|00001370| 76 65 29 0a 58 20 20 28 | 69 66 20 70 72 69 6e 74 |ve).X  (|if print|
|00001380| 2d 70 72 6f 63 65 73 73 | 0a 58 20 20 20 20 20 20 |-process|.X      |
|00001390| 28 69 6e 74 65 72 72 75 | 70 74 2d 70 72 6f 63 65 |(interru|pt-proce|
|000013a0| 73 73 20 70 72 69 6e 74 | 2d 70 72 6f 63 65 73 73 |ss print|-process|
|000013b0| 29 29 29 0a 58 0a 58 28 | 64 65 66 75 6e 20 6b 69 |))).X.X(|defun ki|
|000013c0| 6c 6c 2d 70 72 6f 6f 66 | 20 28 29 0a 58 20 20 22 |ll-proof| ().X  "|
|000013d0| 4b 69 6c 6c 20 70 72 6f | 6f 66 20 70 72 6f 63 65 |Kill pro|of proce|
|000013e0| 73 73 2e 22 0a 58 20 20 | 28 69 6e 74 65 72 61 63 |ss.".X  |(interac|
|000013f0| 74 69 76 65 29 0a 58 20 | 20 28 69 66 20 70 72 6f |tive).X | (if pro|
|00001400| 6f 66 2d 70 72 6f 63 65 | 73 73 0a 58 20 20 20 20 |of-proce|ss.X    |
|00001410| 20 20 28 69 6e 74 65 72 | 72 75 70 74 2d 70 72 6f |  (inter|rupt-pro|
|00001420| 63 65 73 73 20 70 72 6f | 6f 66 2d 70 72 6f 63 65 |cess pro|of-proce|
|00001430| 73 73 29 29 29 0a 58 0a | 58 28 64 65 66 75 6e 20 |ss))).X.|X(defun |
|00001440| 66 6f 72 6d 61 74 2d 74 | 6f 2d 70 72 69 6e 74 65 |format-t|o-printe|
|00001450| 72 2d 72 65 67 69 6f 6e | 20 28 73 74 61 72 74 20 |r-region| (start |
|00001460| 65 6e 64 20 66 6f 72 6d | 61 74 74 65 72 20 26 6f |end form|atter &o|
|00001470| 70 74 69 6f 6e 61 6c 20 | 63 6f 70 69 65 73 29 0a |ptional |copies).|
|00001480| 58 20 20 28 69 66 20 70 | 72 69 6e 74 2d 70 72 6f |X  (if p|rint-pro|
|00001490| 63 65 73 73 0a 58 20 20 | 20 20 20 20 28 69 66 20 |cess.X  |    (if |
|000014a0| 28 6f 72 20 0a 58 09 20 | 20 20 28 6e 6f 74 20 28 |(or .X. |  (not (|
|000014b0| 65 71 20 28 70 72 6f 63 | 65 73 73 2d 73 74 61 74 |eq (proc|ess-stat|
|000014c0| 75 73 20 70 72 69 6e 74 | 2d 70 72 6f 63 65 73 73 |us print|-process|
|000014d0| 29 20 27 72 75 6e 29 29 | 0a 58 09 20 20 20 28 79 |) 'run))|.X.   (y|
|000014e0| 65 73 2d 6f 72 2d 6e 6f | 2d 70 20 22 41 20 66 6f |es-or-no|-p "A fo|
|000014f0| 72 6d 61 74 2d 74 6f 2d | 70 72 69 6e 74 65 72 20 |rmat-to-|printer |
|00001500| 70 72 6f 63 65 73 73 20 | 69 73 20 72 75 6e 6e 69 |process |is runni|
|00001510| 6e 67 3b 20 6b 69 6c 6c | 20 69 74 3f 20 22 29 29 |ng; kill| it? "))|
|00001520| 0a 58 09 20 20 28 63 6f | 6e 64 69 74 69 6f 6e 2d |.X.  (co|ndition-|
|00001530| 63 61 73 65 20 28 29 0a | 58 09 20 20 20 20 20 20 |case ().|X.      |
|00001540| 28 6c 65 74 20 28 28 70 | 72 69 6e 74 2d 70 72 6f |(let ((p|rint-pro|
|00001550| 63 20 70 72 69 6e 74 2d | 70 72 6f 63 65 73 73 29 |c print-|process)|
|00001560| 29 0a 58 09 09 28 69 6e | 74 65 72 72 75 70 74 2d |).X..(in|terrupt-|
|00001570| 70 72 6f 63 65 73 73 20 | 70 72 69 6e 74 2d 70 72 |process |print-pr|
|00001580| 6f 63 29 0a 58 09 09 28 | 73 69 74 2d 66 6f 72 20 |oc).X..(|sit-for |
|00001590| 31 29 0a 58 09 09 28 64 | 65 6c 65 74 65 2d 70 72 |1).X..(d|elete-pr|
|000015a0| 6f 63 65 73 73 20 70 72 | 69 6e 74 2d 70 72 6f 63 |ocess pr|int-proc|
|000015b0| 29 29 0a 58 09 20 20 20 | 20 28 65 72 72 6f 72 20 |)).X.   | (error |
|000015c0| 6e 69 6c 29 29 0a 58 09 | 28 65 72 72 6f 72 20 22 |nil)).X.|(error "|
|000015d0| 4f 6e 65 20 66 6f 72 6d | 61 74 2d 74 6f 2d 70 72 |One form|at-to-pr|
|000015e0| 69 6e 74 65 72 20 70 72 | 6f 63 65 73 73 20 61 74 |inter pr|ocess at|
|000015f0| 20 61 20 74 69 6d 65 2e | 22 29 29 29 0a 58 20 20 | a time.|"))).X  |
|00001600| 28 73 61 76 65 2d 65 78 | 63 75 72 73 69 6f 6e 0a |(save-ex|cursion.|
|00001610| 58 20 20 20 20 28 73 65 | 74 71 20 70 72 69 6e 74 |X    (se|tq print|
|00001620| 65 72 2d 6f 75 74 70 75 | 74 2d 62 75 66 66 65 72 |er-outpu|t-buffer|
|00001630| 20 22 20 2a 70 72 69 6e | 74 65 72 20 6f 75 74 70 | " *prin|ter outp|
|00001640| 75 74 2a 22 29 0a 58 20 | 20 20 20 28 67 65 74 2d |ut*").X |   (get-|
|00001650| 62 75 66 66 65 72 2d 63 | 72 65 61 74 65 20 70 72 |buffer-c|reate pr|
|00001660| 69 6e 74 65 72 2d 6f 75 | 74 70 75 74 2d 62 75 66 |inter-ou|tput-buf|
|00001670| 66 65 72 29 0a 58 20 20 | 20 20 28 73 65 74 2d 62 |fer).X  |  (set-b|
|00001680| 75 66 66 65 72 20 70 72 | 69 6e 74 65 72 2d 6f 75 |uffer pr|inter-ou|
|00001690| 74 70 75 74 2d 62 75 66 | 66 65 72 29 0a 58 20 20 |tput-buf|fer).X  |
|000016a0| 20 20 28 65 72 61 73 65 | 2d 62 75 66 66 65 72 29 |  (erase|-buffer)|
|000016b0| 29 0a 58 20 20 28 69 66 | 20 28 6e 75 6c 6c 20 63 |).X  (if| (null c|
|000016c0| 6f 70 69 65 73 29 20 28 | 73 65 74 71 20 63 6f 70 |opies) (|setq cop|
|000016d0| 69 65 73 20 31 29 29 0a | 58 20 20 28 73 65 74 71 |ies 1)).|X  (setq|
|000016e0| 20 70 72 69 6e 74 2d 74 | 6d 70 2d 66 69 6c 65 20 | print-t|mp-file |
|000016f0| 28 63 6f 6e 63 61 74 20 | 22 2f 74 6d 70 2f 22 20 |(concat |"/tmp/" |
|00001700| 28 6d 61 6b 65 2d 74 65 | 6d 70 2d 6e 61 6d 65 20 |(make-te|mp-name |
|00001710| 22 23 70 72 23 22 29 29 | 29 0a 58 20 20 28 77 72 |"#pr#"))|).X  (wr|
|00001720| 69 74 65 2d 72 65 67 69 | 6f 6e 20 73 74 61 72 74 |ite-regi|on start|
|00001730| 20 65 6e 64 20 70 72 69 | 6e 74 2d 74 6d 70 2d 66 | end pri|nt-tmp-f|
|00001740| 69 6c 65 20 6e 69 6c 20 | 27 6e 6f 6d 73 67 29 0a |ile nil |'nomsg).|
|00001750| 58 20 20 28 73 65 74 71 | 20 70 72 69 6e 74 2d 63 |X  (setq| print-c|
|00001760| 6f 6d 6d 61 6e 64 20 0a | 58 09 28 63 6f 6e 64 20 |ommand .|X.(cond |
|00001770| 28 28 73 74 72 69 6e 67 | 3d 20 66 6f 72 6d 61 74 |((string|= format|
|00001780| 74 65 72 20 22 74 72 6f | 66 66 22 29 0a 58 09 20 |ter "tro|ff").X. |
|00001790| 20 20 20 20 20 20 28 66 | 6f 72 6d 61 74 20 74 72 |      (f|ormat tr|
|000017a0| 6f 66 66 2d 66 6f 72 6d | 61 74 2d 73 74 72 69 6e |off-form|at-strin|
|000017b0| 67 0a 58 09 09 20 20 20 | 20 20 20 20 74 72 6f 66 |g.X..   |    trof|
|000017c0| 66 2d 6f 70 74 69 6f 6e | 73 20 72 6f 66 66 2d 6d |f-option|s roff-m|
|000017d0| 61 63 72 6f 0a 58 09 09 | 20 20 20 20 20 20 20 70 |acro.X..|       p|
|000017e0| 72 69 6e 74 2d 74 6d 70 | 2d 66 69 6c 65 20 63 6f |rint-tmp|-file co|
|000017f0| 70 69 65 73 29 29 0a 58 | 09 20 20 20 20 20 20 28 |pies)).X|.      (|
|00001800| 28 73 74 72 69 6e 67 3d | 20 66 6f 72 6d 61 74 74 |(string=| formatt|
|00001810| 65 72 20 22 6e 72 6f 66 | 66 22 29 20 0a 58 09 20 |er "nrof|f") .X. |
|00001820| 20 20 20 20 20 20 28 66 | 6f 72 6d 61 74 20 6e 72 |      (f|ormat nr|
|00001830| 6f 66 66 2d 66 6f 72 6d | 61 74 2d 73 74 72 69 6e |off-form|at-strin|
|00001840| 67 0a 58 09 09 20 20 20 | 20 20 20 20 6e 72 6f 66 |g.X..   |    nrof|
|00001850| 66 2d 6f 70 74 69 6f 6e | 73 20 72 6f 66 66 2d 6d |f-option|s roff-m|
|00001860| 61 63 72 6f 0a 58 09 09 | 20 20 20 20 20 20 20 70 |acro.X..|       p|
|00001870| 72 69 6e 74 2d 74 6d 70 | 2d 66 69 6c 65 20 63 6f |rint-tmp|-file co|
|00001880| 70 69 65 73 29 29 0a 58 | 09 20 20 20 20 20 20 28 |pies)).X|.      (|
|00001890| 28 73 74 72 69 6e 67 3d | 20 66 6f 72 6d 61 74 74 |(string=| formatt|
|000018a0| 65 72 20 22 70 72 22 29 | 0a 58 09 20 20 20 20 20 |er "pr")|.X.     |
|000018b0| 20 20 28 66 6f 72 6d 61 | 74 20 70 72 2d 66 6f 72 |  (forma|t pr-for|
|000018c0| 6d 61 74 2d 73 74 72 69 | 6e 67 0a 58 09 09 20 20 |mat-stri|ng.X..  |
|000018d0| 20 20 20 20 20 28 62 75 | 66 66 65 72 2d 6e 61 6d |     (bu|ffer-nam|
|000018e0| 65 29 20 70 72 69 6e 74 | 2d 74 6d 70 2d 66 69 6c |e) print|-tmp-fil|
|000018f0| 65 20 63 6f 70 69 65 73 | 29 29 29 29 0a 58 20 20 |e copies|)))).X  |
|00001900| 28 73 65 74 71 20 70 72 | 69 6e 74 2d 70 72 6f 63 |(setq pr|int-proc|
|00001910| 65 73 73 0a 58 09 28 73 | 74 61 72 74 2d 70 72 6f |ess.X.(s|tart-pro|
|00001920| 63 65 73 73 20 66 6f 72 | 6d 61 74 74 65 72 20 70 |cess for|matter p|
|00001930| 72 69 6e 74 65 72 2d 6f | 75 74 70 75 74 2d 62 75 |rinter-o|utput-bu|
|00001940| 66 66 65 72 20 22 73 68 | 22 20 22 2d 63 22 0a 58 |ffer "sh|" "-c".X|
|00001950| 09 09 20 20 20 20 20 20 | 20 70 72 69 6e 74 2d 63 |..      | print-c|
|00001960| 6f 6d 6d 61 6e 64 29 29 | 0a 58 20 20 28 73 65 74 |ommand))|.X  (set|
|00001970| 2d 70 72 6f 63 65 73 73 | 2d 73 65 6e 74 69 6e 65 |-process|-sentine|
|00001980| 6c 20 70 72 69 6e 74 2d | 70 72 6f 63 65 73 73 20 |l print-|process |
|00001990| 27 70 72 69 6e 74 2d 73 | 65 6e 74 69 6e 65 6c 29 |'print-s|entinel)|
|000019a0| 29 0a 58 0a 58 28 64 65 | 66 75 6e 20 70 72 69 6e |).X.X(de|fun prin|
|000019b0| 74 2d 73 65 6e 74 69 6e | 65 6c 20 28 70 72 6f 63 |t-sentin|el (proc|
|000019c0| 65 73 73 20 6d 73 67 29 | 0a 58 20 20 28 64 65 6c |ess msg)|.X  (del|
|000019d0| 65 74 65 2d 66 69 6c 65 | 20 70 72 69 6e 74 2d 74 |ete-file| print-t|
|000019e0| 6d 70 2d 66 69 6c 65 29 | 0a 58 20 20 28 73 61 76 |mp-file)|.X  (sav|
|000019f0| 65 2d 65 78 63 75 72 73 | 69 6f 6e 0a 58 20 20 20 |e-excurs|ion.X   |
|00001a00| 20 28 73 65 74 2d 62 75 | 66 66 65 72 20 28 70 72 | (set-bu|ffer (pr|
|00001a10| 6f 63 65 73 73 2d 62 75 | 66 66 65 72 20 70 72 6f |ocess-bu|ffer pro|
|00001a20| 63 65 73 73 29 29 0a 58 | 20 20 20 20 28 69 66 20 |cess)).X|    (if |
|00001a30| 28 3e 20 28 62 75 66 66 | 65 72 2d 73 69 7a 65 29 |(> (buff|er-size)|
|00001a40| 20 30 29 0a 58 09 28 70 | 72 6f 67 6e 0a 58 09 20 | 0).X.(p|rogn.X. |
|00001a50| 20 28 67 6f 74 6f 2d 63 | 68 61 72 20 28 70 6f 69 | (goto-c|har (poi|
|00001a60| 6e 74 2d 6d 69 6e 29 29 | 0a 58 09 20 20 28 65 6e |nt-min))|.X.  (en|
|00001a70| 64 2d 6f 66 2d 6c 69 6e | 65 29 0a 58 09 20 20 28 |d-of-lin|e).X.  (|
|00001a80| 6d 65 73 73 61 67 65 20 | 22 25 73 3a 20 25 73 22 |message |"%s: %s"|
|00001a90| 20 28 70 72 6f 63 65 73 | 73 2d 6e 61 6d 65 20 70 | (proces|s-name p|
|00001aa0| 72 6f 63 65 73 73 29 20 | 0a 58 09 09 20 20 20 28 |rocess) |.X..   (|
|00001ab0| 62 75 66 66 65 72 2d 73 | 75 62 73 74 72 69 6e 67 |buffer-s|ubstring|
|00001ac0| 20 31 20 28 70 6f 69 6e | 74 29 29 29 29 0a 58 20 | 1 (poin|t)))).X |
|00001ad0| 20 20 20 20 20 28 6d 65 | 73 73 61 67 65 20 22 25 |     (me|ssage "%|
|00001ae0| 73 3a 20 6b 69 6c 6c 65 | 64 22 20 28 70 72 6f 63 |s: kille|d" (proc|
|00001af0| 65 73 73 2d 6e 61 6d 65 | 20 70 72 6f 63 65 73 73 |ess-name| process|
|00001b00| 29 29 29 29 0a 58 20 20 | 28 73 65 74 71 20 70 72 |)))).X  |(setq pr|
|00001b10| 69 6e 74 2d 70 72 6f 63 | 65 73 73 20 6e 69 6c 29 |int-proc|ess nil)|
|00001b20| 0a 58 20 20 28 6b 69 6c | 6c 2d 62 75 66 66 65 72 |.X  (kil|l-buffer|
|00001b30| 20 28 70 72 6f 63 65 73 | 73 2d 62 75 66 66 65 72 | (proces|s-buffer|
|00001b40| 20 70 72 6f 63 65 73 73 | 29 29 29 0a 58 0a 58 28 | process|))).X.X(|
|00001b50| 64 65 66 75 6e 20 70 72 | 6f 6f 66 2d 72 65 67 69 |defun pr|oof-regi|
|00001b60| 6f 6e 2d 74 6f 2d 62 75 | 66 66 65 72 20 28 73 74 |on-to-bu|ffer (st|
|00001b70| 61 72 74 20 65 6e 64 20 | 66 6f 72 6d 61 74 74 65 |art end |formatte|
|00001b80| 72 29 0a 58 20 20 28 69 | 66 20 70 72 6f 6f 66 2d |r).X  (i|f proof-|
|00001b90| 70 72 6f 63 65 73 73 0a | 58 20 20 20 20 20 20 28 |process.|X      (|
|00001ba0| 69 66 20 28 6f 72 20 28 | 6e 6f 74 20 28 65 71 20 |if (or (|not (eq |
|00001bb0| 28 70 72 6f 63 65 73 73 | 2d 73 74 61 74 75 73 20 |(process|-status |
|00001bc0| 70 72 6f 6f 66 2d 70 72 | 6f 63 65 73 73 29 20 27 |proof-pr|ocess) '|
|00001bd0| 72 75 6e 29 29 0a 58 09 | 20 20 20 20 20 20 28 79 |run)).X.|      (y|
|00001be0| 65 73 2d 6f 72 2d 6e 6f | 2d 70 20 22 41 20 70 72 |es-or-no|-p "A pr|
|00001bf0| 6f 6f 66 20 70 72 6f 63 | 65 73 73 20 69 73 20 72 |oof proc|ess is r|
|00001c00| 75 6e 6e 69 6e 67 3b 20 | 6b 69 6c 6c 20 69 74 3f |unning; |kill it?|
|00001c10| 20 22 29 29 0a 58 09 20 | 20 28 63 6f 6e 64 69 74 | ")).X. | (condit|
|00001c20| 69 6f 6e 2d 63 61 73 65 | 20 28 29 0a 58 09 20 20 |ion-case| ().X.  |
|00001c30| 20 20 20 20 28 6c 65 74 | 20 28 28 70 72 6f 6f 66 |    (let| ((proof|
|00001c40| 2d 70 72 6f 63 20 70 72 | 6f 6f 66 2d 70 72 6f 63 |-proc pr|oof-proc|
|00001c50| 65 73 73 29 29 0a 58 09 | 09 28 69 6e 74 65 72 72 |ess)).X.|.(interr|
|00001c60| 75 70 74 2d 70 72 6f 63 | 65 73 73 20 70 72 6f 6f |upt-proc|ess proo|
|00001c70| 66 2d 70 72 6f 63 29 0a | 58 09 09 28 73 69 74 2d |f-proc).|X..(sit-|
|00001c80| 66 6f 72 20 31 29 0a 58 | 09 09 28 64 65 6c 65 74 |for 1).X|..(delet|
|00001c90| 65 2d 70 72 6f 63 65 73 | 73 20 70 72 6f 6f 66 2d |e-proces|s proof-|
|00001ca0| 70 72 6f 63 29 29 0a 58 | 09 20 20 20 20 28 65 72 |proc)).X|.    (er|
|00001cb0| 72 6f 72 20 6e 69 6c 29 | 29 0a 58 09 28 65 72 72 |ror nil)|).X.(err|
|00001cc0| 6f 72 20 22 4f 6e 65 20 | 70 72 6f 6f 66 20 70 72 |or "One |proof pr|
|00001cd0| 6f 63 65 73 73 20 61 74 | 20 61 20 74 69 6d 65 2e |ocess at| a time.|
|00001ce0| 22 29 29 29 0a 58 20 20 | 28 73 65 74 71 20 70 72 |"))).X  |(setq pr|
|00001cf0| 6f 6f 66 2d 74 6d 70 2d | 66 69 6c 65 20 28 63 6f |oof-tmp-|file (co|
|00001d00| 6e 63 61 74 20 22 2f 74 | 6d 70 2f 22 20 28 6d 61 |ncat "/t|mp/" (ma|
|00001d10| 6b 65 2d 74 65 6d 70 2d | 6e 61 6d 65 20 22 23 70 |ke-temp-|name "#p|
|00001d20| 23 22 29 29 29 0a 58 20 | 20 28 73 61 76 65 2d 65 |#"))).X | (save-e|
|00001d30| 78 63 75 72 73 69 6f 6e | 0a 58 20 20 20 20 28 73 |xcursion|.X    (s|
|00001d40| 65 74 71 20 70 72 6f 6f | 66 2d 66 69 6c 65 20 28 |etq proo|f-file (|
|00001d50| 62 75 66 66 65 72 2d 6e | 61 6d 65 29 29 0a 58 20 |buffer-n|ame)).X |
|00001d60| 20 20 20 28 73 65 74 71 | 20 70 72 6f 6f 66 2d 62 |   (setq| proof-b|
|00001d70| 75 66 66 65 72 20 22 2a | 70 72 6f 6f 66 2a 22 29 |uffer "*|proof*")|
|00001d80| 0a 58 20 20 20 20 28 67 | 65 74 2d 62 75 66 66 65 |.X    (g|et-buffe|
|00001d90| 72 2d 63 72 65 61 74 65 | 20 70 72 6f 6f 66 2d 62 |r-create| proof-b|
|00001da0| 75 66 66 65 72 29 0a 58 | 20 20 20 20 28 73 65 74 |uffer).X|    (set|
|00001db0| 2d 62 75 66 66 65 72 20 | 70 72 6f 6f 66 2d 62 75 |-buffer |proof-bu|
|00001dc0| 66 66 65 72 29 0a 58 20 | 20 20 20 28 65 72 61 73 |ffer).X |   (eras|
|00001dd0| 65 2d 62 75 66 66 65 72 | 29 29 0a 58 20 20 28 77 |e-buffer|)).X  (w|
|00001de0| 72 69 74 65 2d 72 65 67 | 69 6f 6e 20 73 74 61 72 |rite-reg|ion star|
|00001df0| 74 20 65 6e 64 20 70 72 | 6f 6f 66 2d 74 6d 70 2d |t end pr|oof-tmp-|
|00001e00| 66 69 6c 65 20 6e 69 6c | 20 27 6e 6f 6d 73 67 29 |file nil| 'nomsg)|
|00001e10| 0a 58 20 20 28 73 65 74 | 71 20 70 72 6f 6f 66 2d |.X  (set|q proof-|
|00001e20| 63 6f 6d 6d 61 6e 64 20 | 0a 58 09 28 69 66 20 28 |command |.X.(if (|
|00001e30| 73 74 72 69 6e 67 3d 20 | 66 6f 72 6d 61 74 74 65 |string= |formatte|
|00001e40| 72 20 22 74 72 6f 66 66 | 22 29 20 0a 58 09 20 20 |r "troff|") .X.  |
|00001e50| 20 20 28 66 6f 72 6d 61 | 74 20 22 74 72 6f 66 66 |  (forma|t "troff|
|00001e60| 20 2d 61 20 25 73 20 25 | 73 20 25 73 22 20 74 72 | -a %s %|s %s" tr|
|00001e70| 6f 66 66 2d 6f 70 74 69 | 6f 6e 73 0a 58 09 09 20 |off-opti|ons.X.. |
|00001e80| 20 20 20 72 6f 66 66 2d | 6d 61 63 72 6f 20 70 72 |   roff-|macro pr|
|00001e90| 6f 6f 66 2d 74 6d 70 2d | 66 69 6c 65 29 0a 58 09 |oof-tmp-|file).X.|
|00001ea0| 20 20 28 66 6f 72 6d 61 | 74 20 22 6e 72 6f 66 66 |  (forma|t "nroff|
|00001eb0| 20 25 73 20 25 73 20 25 | 73 22 20 6e 72 6f 66 66 | %s %s %|s" nroff|
|00001ec0| 2d 6f 70 74 69 6f 6e 73 | 20 72 6f 66 66 2d 6d 61 |-options| roff-ma|
|00001ed0| 63 72 6f 20 70 72 6f 6f | 66 2d 74 6d 70 2d 66 69 |cro proo|f-tmp-fi|
|00001ee0| 6c 65 29 29 29 0a 58 20 | 28 73 65 74 71 20 70 72 |le))).X |(setq pr|
|00001ef0| 6f 6f 66 2d 70 72 6f 63 | 65 73 73 0a 58 20 20 20 |oof-proc|ess.X   |
|00001f00| 20 20 20 20 28 73 74 61 | 72 74 2d 70 72 6f 63 65 |    (sta|rt-proce|
|00001f10| 73 73 20 66 6f 72 6d 61 | 74 74 65 72 20 70 72 6f |ss forma|tter pro|
|00001f20| 6f 66 2d 62 75 66 66 65 | 72 20 22 73 68 22 20 22 |of-buffe|r "sh" "|
|00001f30| 2d 63 22 20 70 72 6f 6f | 66 2d 63 6f 6d 6d 61 6e |-c" proo|f-comman|
|00001f40| 64 29 29 0a 58 20 28 73 | 65 74 2d 70 72 6f 63 65 |d)).X (s|et-proce|
|00001f50| 73 73 2d 73 65 6e 74 69 | 6e 65 6c 20 70 72 6f 6f |ss-senti|nel proo|
|00001f60| 66 2d 70 72 6f 63 65 73 | 73 20 27 70 72 6f 6f 66 |f-proces|s 'proof|
|00001f70| 2d 73 65 6e 74 69 6e 65 | 6c 29 29 0a 58 0a 58 28 |-sentine|l)).X.X(|
|00001f80| 64 65 66 75 6e 20 70 72 | 6f 6f 66 2d 73 65 6e 74 |defun pr|oof-sent|
|00001f90| 69 6e 65 6c 20 28 70 72 | 6f 63 65 73 73 20 6d 73 |inel (pr|ocess ms|
|00001fa0| 67 29 0a 58 20 20 28 64 | 65 6c 65 74 65 2d 66 69 |g).X  (d|elete-fi|
|00001fb0| 6c 65 20 70 72 6f 6f 66 | 2d 74 6d 70 2d 66 69 6c |le proof|-tmp-fil|
|00001fc0| 65 29 0a 58 20 20 28 69 | 66 20 28 73 74 72 69 6e |e).X  (i|f (strin|
|00001fd0| 67 2d 6d 61 74 63 68 20 | 22 5e 65 78 69 74 65 64 |g-match |"^exited|
|00001fe0| 22 20 6d 73 67 29 0a 58 | 20 20 20 20 20 20 28 6d |" msg).X|      (m|
|00001ff0| 65 73 73 61 67 65 20 22 | 25 73 3a 20 6b 69 6c 6c |essage "|%s: kill|
|00002000| 65 64 22 20 28 70 72 6f | 63 65 73 73 2d 6e 61 6d |ed" (pro|cess-nam|
|00002010| 65 20 70 72 6f 63 65 73 | 73 29 29 0a 58 20 20 20 |e proces|s)).X   |
|00002020| 20 28 70 72 6f 67 6e 0a | 58 20 20 20 20 20 20 28 | (progn.|X      (|
|00002030| 73 65 74 2d 62 75 66 66 | 65 72 20 28 70 72 6f 63 |set-buff|er (proc|
|00002040| 65 73 73 2d 62 75 66 66 | 65 72 20 70 72 6f 63 65 |ess-buff|er proce|
|00002050| 73 73 29 29 0a 58 20 20 | 20 20 20 20 28 74 65 78 |ss)).X  |    (tex|
|00002060| 74 2d 6d 6f 64 65 29 0a | 58 20 20 20 20 20 20 28 |t-mode).|X      (|
|00002070| 73 65 74 71 20 6d 6f 64 | 65 2d 6e 61 6d 65 20 28 |setq mod|e-name (|
|00002080| 66 6f 72 6d 61 74 20 22 | 25 73 3a 25 73 22 0a 58 |format "|%s:%s".X|
|00002090| 09 09 09 20 20 20 20 20 | 20 28 70 72 6f 63 65 73 |...     | (proces|
|000020a0| 73 2d 6e 61 6d 65 20 70 | 72 6f 6f 66 2d 70 72 6f |s-name p|roof-pro|
|000020b0| 63 65 73 73 29 20 70 72 | 6f 6f 66 2d 66 69 6c 65 |cess) pr|oof-file|
|000020c0| 29 29 0a 58 20 20 20 20 | 20 20 28 69 66 20 28 73 |)).X    |  (if (s|
|000020d0| 74 72 69 6e 67 3d 20 28 | 70 72 6f 63 65 73 73 2d |tring= (|process-|
|000020e0| 6e 61 6d 65 20 70 72 6f | 63 65 73 73 29 20 22 6e |name pro|cess) "n|
|000020f0| 72 6f 66 66 22 29 0a 58 | 09 20 20 28 7a 61 70 2d |roff").X|.  (zap-|
|00002100| 6e 72 6f 66 66 2d 63 72 | 61 70 29 29 0a 58 20 20 |nroff-cr|ap)).X  |
|00002110| 20 20 20 20 28 67 6f 74 | 6f 2d 63 68 61 72 20 28 |    (got|o-char (|
|00002120| 70 6f 69 6e 74 2d 6d 69 | 6e 29 29 0a 58 20 20 20 |point-mi|n)).X   |
|00002130| 20 20 20 28 64 69 73 70 | 6c 61 79 2d 62 75 66 66 |   (disp|lay-buff|
|00002140| 65 72 20 28 70 72 6f 63 | 65 73 73 2d 62 75 66 66 |er (proc|ess-buff|
|00002150| 65 72 20 70 72 6f 63 65 | 73 73 29 29 29 29 0a 58 |er proce|ss)))).X|
|00002160| 20 20 28 73 65 74 71 20 | 70 72 6f 6f 66 2d 70 72 |  (setq |proof-pr|
|00002170| 6f 63 65 73 73 20 6e 69 | 6c 29 29 0a 58 09 0a 58 |ocess ni|l)).X..X|
|00002180| 28 64 65 66 75 6e 20 7a | 61 70 2d 6e 72 6f 66 66 |(defun z|ap-nroff|
|00002190| 2d 63 72 61 70 20 28 29 | 0a 58 20 20 28 67 6f 74 |-crap ()|.X  (got|
|000021a0| 6f 2d 63 68 61 72 20 28 | 70 6f 69 6e 74 2d 6d 69 |o-char (|point-mi|
|000021b0| 6e 29 29 0a 58 20 20 28 | 77 68 69 6c 65 20 28 73 |n)).X  (|while (s|
|000021c0| 65 61 72 63 68 2d 66 6f | 72 77 61 72 64 20 22 5c |earch-fo|rward "\|
|000021d0| 62 22 20 6e 69 6c 20 74 | 29 0a 58 20 20 20 20 28 |b" nil t|).X    (|
|000021e0| 6c 65 74 2a 20 28 28 70 | 72 65 63 65 64 69 6e 67 |let* ((p|receding|
|000021f0| 20 28 63 68 61 72 2d 61 | 66 74 65 72 20 28 2d 20 | (char-a|fter (- |
|00002200| 28 70 6f 69 6e 74 29 20 | 32 29 29 29 0a 58 09 20 |(point) |2))).X. |
|00002210| 20 20 28 66 6f 6c 6c 6f | 77 69 6e 67 20 28 66 6f |  (follo|wing (fo|
|00002220| 6c 6c 6f 77 69 6e 67 2d | 63 68 61 72 29 29 29 0a |llowing-|char))).|
|00002230| 58 20 20 20 20 20 20 09 | 20 20 20 20 3b 3b 20 78 |X      .|    ;; x|
|00002240| 5c 62 78 0a 58 20 20 20 | 20 20 20 28 63 6f 6e 64 |\bx.X   |   (cond|
|00002250| 20 28 28 3d 20 70 72 65 | 63 65 64 69 6e 67 20 66 | ((= pre|ceding f|
|00002260| 6f 6c 6c 6f 77 69 6e 67 | 29 09 0a 58 09 20 20 20 |ollowing|)..X.   |
|00002270| 20 20 28 64 65 6c 65 74 | 65 2d 63 68 61 72 20 2d |  (delet|e-char -|
|00002280| 32 29 29 0a 58 09 20 20 | 20 20 3b 3b 20 5f 5c 62 |2)).X.  |  ;; _\b|
|00002290| 0a 58 09 20 20 20 20 28 | 28 3d 20 70 72 65 63 65 |.X.    (|(= prece|
|000022a0| 64 69 6e 67 20 3f 5c 5f | 29 09 09 0a 58 09 20 20 |ding ?\_|)...X.  |
|000022b0| 20 20 20 28 64 65 6c 65 | 74 65 2d 63 68 61 72 20 |   (dele|te-char |
|000022c0| 2d 32 29 29 0a 58 09 20 | 20 20 20 3b 3b 20 5c 62 |-2)).X. |   ;; \b|
|000022d0| 5f 0a 58 09 20 20 20 20 | 28 28 3d 20 66 6f 6c 6c |_.X.    |((= foll|
|000022e0| 6f 77 69 6e 67 20 3f 5c | 5f 29 09 09 0a 58 09 20 |owing ?\|_)...X. |
|000022f0| 20 20 20 20 28 64 65 6c | 65 74 65 2d 72 65 67 69 |    (del|ete-regi|
|00002300| 6f 6e 20 28 31 2d 20 28 | 70 6f 69 6e 74 29 29 20 |on (1- (|point)) |
|00002310| 28 31 2b 20 28 70 6f 69 | 6e 74 29 29 29 29 29 29 |(1+ (poi|nt))))))|
|00002320| 29 0a 58 20 20 3b 3b 20 | 65 78 70 61 6e 64 20 5e |).X  ;; |expand ^|
|00002330| 47 20 6c 69 6e 65 73 0a | 58 20 20 28 67 6f 74 6f |G lines.|X  (goto|
|00002340| 2d 63 68 61 72 20 28 70 | 6f 69 6e 74 2d 6d 69 6e |-char (p|oint-min|
|00002350| 29 29 0a 58 20 20 28 77 | 68 69 6c 65 20 28 73 65 |)).X  (w|hile (se|
|00002360| 61 72 63 68 2d 66 6f 72 | 77 61 72 64 20 22 5c 43 |arch-for|ward "\C|
|00002370| 2d 67 22 20 6e 69 6c 20 | 74 29 09 0a 58 20 20 20 |-g" nil |t)..X   |
|00002380| 20 28 64 65 6c 65 74 65 | 2d 63 68 61 72 20 2d 32 | (delete|-char -2|
|00002390| 29 0a 58 20 20 20 20 28 | 77 68 69 6c 65 20 28 6e |).X    (|while (n|
|000023a0| 6f 74 20 28 65 6f 6c 70 | 29 29 0a 58 20 20 20 20 |ot (eolp|)).X    |
|000023b0| 20 20 28 69 6e 73 65 72 | 74 20 22 20 22 29 0a 58 |  (inser|t " ").X|
|000023c0| 20 20 20 20 20 20 28 66 | 6f 72 77 61 72 64 2d 63 |      (f|orward-c|
|000023d0| 68 61 72 20 31 29 29 29 | 0a 58 20 20 3b 3b 20 7a |har 1)))|.X  ;; z|
|000023e0| 61 70 20 45 73 63 2d 38 | 20 26 20 45 73 63 2d 39 |ap Esc-8| & Esc-9|
|000023f0| 20 76 65 72 74 69 63 61 | 6c 20 6d 6f 74 69 6f 6e | vertica|l motion|
|00002400| 73 0a 58 20 20 28 67 6f | 74 6f 2d 63 68 61 72 20 |s.X  (go|to-char |
|00002410| 28 70 6f 69 6e 74 2d 6d | 69 6e 29 29 0a 58 20 20 |(point-m|in)).X  |
|00002420| 28 77 68 69 6c 65 20 28 | 73 65 61 72 63 68 2d 66 |(while (|search-f|
|00002430| 6f 72 77 61 72 64 20 22 | 5c 65 22 20 6e 69 6c 20 |orward "|\e" nil |
|00002440| 74 29 0a 58 20 20 20 20 | 28 69 66 20 28 6f 72 20 |t).X    |(if (or |
|00002450| 28 3d 20 28 66 6f 6c 6c | 6f 77 69 6e 67 2d 63 68 |(= (foll|owing-ch|
|00002460| 61 72 29 20 3f 38 29 20 | 28 3d 20 28 66 6f 6c 6c |ar) ?8) |(= (foll|
|00002470| 6f 77 69 6e 67 2d 63 68 | 61 72 29 20 3f 39 29 29 |owing-ch|ar) ?9))|
|00002480| 0a 58 09 20 20 20 20 28 | 64 65 6c 65 74 65 2d 72 |.X.    (|delete-r|
|00002490| 65 67 69 6f 6e 20 28 31 | 2b 20 28 70 6f 69 6e 74 |egion (1|+ (point|
|000024a0| 29 29 20 28 31 2d 20 28 | 70 6f 69 6e 74 29 29 29 |)) (1- (|point)))|
|000024b0| 29 29 29 0a 58 0a 58 0a | 58 0a 58 0a 53 48 41 52 |))).X.X.|X.X.SHAR|
|000024c0| 5f 45 4f 46 0a 69 66 20 | 74 65 73 74 20 37 31 38 |_EOF.if |test 718|
|000024d0| 31 20 2d 6e 65 20 22 60 | 77 63 20 2d 63 20 3c 20 |1 -ne "`|wc -c < |
|000024e0| 27 66 6f 72 6d 61 74 2e | 65 6c 27 60 22 0a 74 68 |'format.|el'`".th|
|000024f0| 65 6e 0a 09 65 63 68 6f | 20 73 68 61 72 3a 20 22 |en..echo| shar: "|
|00002500| 65 72 72 6f 72 20 74 72 | 61 6e 73 6d 69 74 74 69 |error tr|ansmitti|
|00002510| 6e 67 20 27 66 6f 72 6d | 61 74 2e 65 6c 27 22 20 |ng 'form|at.el'" |
|00002520| 27 28 73 68 6f 75 6c 64 | 20 68 61 76 65 20 62 65 |'(should| have be|
|00002530| 65 6e 20 37 31 38 31 20 | 63 68 61 72 61 63 74 65 |en 7181 |characte|
|00002540| 72 73 29 27 0a 66 69 0a | 66 69 0a 65 78 69 74 20 |rs)'.fi.|fi.exit |
|00002550| 30 0a 23 09 45 6e 64 20 | 6f 66 20 73 68 65 6c 6c |0.#.End |of shell|
|00002560| 20 61 72 63 68 69 76 65 | 0a 5f 5f 0a 0a 52 6f 6e | archive|.__..Ron|
|00002570| 61 6c 64 20 46 6c 6f 72 | 65 6e 63 65 09 09 09 2e |ald Flor|ence....|
|00002580| 2e 2e 7b 68 73 69 2c 72 | 61 79 73 73 64 7d 21 6d |..{hsi,r|ayssd}!m|
|00002590| 6c 66 61 72 6d 21 72 6f | 6e 0a 0a 0a             |lfarm!ro|n...    |
+--------+-------------------------+-------------------------+--------+--------+