$ od -c -N 50000 [eris]<Lisp>KOTO>LISPUSERS>Proofreader.TEDIT!1 0000000 X E R O X \t P R O O F R E A D E 0000020 R \r 2 \r \r 4 \r \r 1 \r \r P r o o f 0000040 r e a d e r \r 1 \r \r 4 \r \r B y : 0000060 M a x w e l l ( M a x w e 0000100 l l . p a ) \r U s e i n c o 0000120 n j u n c t i o n w i t h A 0000140 n a l y z e r , S p e l l i 0000160 n g A r r a y \r I N T R O D U C 0000200 T I O N \r T h e P r o o f r e 0000220 a d e r i n t e r a c t i v e 0000240 l y l o o k s f o r a n d 0000260 c o r r e c t s s p e l l i 0000300 n g e r r o r s i n a g 0000320 i v e n T E d i t d o c u m 0000340 e n t . T o u s e i t 0000360 , g o t o t h e T E d 0000400 i t m e n u a n d i n v o 0000420 k e t h e m e n u i t e m 0000440 l a b e l e d " P r o o f r 0000460 e a d " . T h i s w i l l 0000500 s i m u l t a n e o u s l y 0000520 a t t a c h a s p e c i a l 0000540 m e n u t o t h e s i d 0000560 e o f t h e d o c u m e n 0000600 t a n d s t a r t p r o o 0000620 f r e a d i n g f r o m w h 0000640 e r e e v e r t h e c a r e 0000660 t i s . I f a n e r r 0000700 o r i s f o u n d , i t 0000720 i s h i g h l i g h t e d w 0000740 i t h a p e n d i n g d e 0000760 l e t e s e l e c t i o n . 0001000 A t t h i s p o i n t , 0001020 y o u c a n e i t h e r t 0001040 y p e t h e c o r r e c t 0001060 w o r d i n , a s k f o r 0001100 a m e n u o f p o s s i 0001120 b l e c o r r e c t i o n s 0001140 ( w i t h t h e m e n u i 0001160 t e m l a b e l e d " C o r 0001200 r e c t " o n t h e a t t 0001220 a c h e d m e n u ) , i n s 0001240 e r t t h e w o r d i n 0001260 t h e P r o o f r e a d e r ' 0001300 s d i c t i o n a r y ( w i 0001320 t h t h e m e n u i t e m 0001340 l a b e l d " I n s e r t " 0001360 ) , o r s k i p t o t h 0001400 e n e x t m i s s p e l l e 0001420 d w o r d ( w i t h t h e 0001440 m e n u i t e m l a b e l 0001460 e d " P r o o f r e a d " ) . 0001500 T h e c y c l e c a n 0001520 t h e n b e r e p e a t e 0001540 d b y i n v o k i n g t h 0001560 e " P r o o f r e a d " m e 0001600 n u i t e m u n t i l y o 0001620 u r e a c h t h e e n d 0001640 o f t h e d o c u m e n t . 0001660 I t a t a n y p o i n 0001700 t y o u c l o s e t h e 0001720 a t t a c h e d m e n u , y 0001740 o u c a n g e t a n e w 0001760 o n e f r o m t h e T E 0002000 d i t m e n u . \r P R O O F R 0002020 E A D E R S U B - C O M M A N 0002040 D S \r U n d e r t h e T E 0002060 d i t P r o o f r e a d m e 0002100 n u i t e m t h e r e a r 0002120 e a n u m b e r o f s u 0002140 b - c o m m a n d s t h a t 0002160 t h e u s e r c a n i n v 0002200 o k e . T h e y a r e : \r 0002220 S e t P r o o f r e a d e r \r 0002240 G i v e s t h e u s e r a 0002260 m e n u o f p r o o f r e 0002300 a d e r s t o u s e f o r 0002320 p r o o f r e a d i n g . 0002340 I f t h e r e i s o n l y 0002360 o n e p r o o f r e a d e r 0002400 , t h i s i s a n o - o 0002420 p . \r S t o r e W o r d L i s t 0002440 \r A l l o w s t h e u s e 0002460 r t o s t o r e t h e w 0002500 o r d s a d d e d t o t h 0002520 e p r o o f r e a d e r w i 0002540 t h " I n s e r t " o n t o 0002560 a r e m o t e f i l e . 0002600 T h e w o r d s f r o m 0002620 a n e x i s t i n g v e r s 0002640 i o n o f t h e r e m o t 0002660 e f i l e w i l l b e r 0002700 e a d i n f i r s t a n d 0002720 t h e n a n e w f i l e 0002740 w i l l b e g e n e r a t 0002760 e d c o n s i s t i n g o f 0003000 t h e o l d f i l e p l 0003020 u s t h e n e w w o r d s 0003040 . A f t e r t h e f i l 0003060 e i s w r i t t e n , t h 0003100 e l i s t o f n e w l y 0003120 i n s e r t e d w o r d s i 0003140 s s e t t o N I L . \r L o 0003160 a d W o r d L i s t \r T h e 0003200 i n v e r s e o f S t o r e 0003220 W o r d L i s t . I f y o 0003240 u h a v e a f i l e t h 0003260 a t y o u w a n t t o l 0003300 o a d e v e r y t i m e y 0003320 o u u s e t h e p r o o f 0003340 r e a d e r , y o u c a n 0003360 a d d i t t o P r o o f r 0003400 e a d e r . A u t o L o a d , 0003420 a n d i t w i l l b e l 0003440 o a d e d w h e n t h e p 0003460 r o o f r e a d e r i s f i 0003500 r s t o p e n e d . P r o 0003520 o f r e a d e r . A u t o L o a 0003540 d c a n b e e i t h e r 0003560 a f i l e o r a l i s t 0003600 o f f i l e s . \r A u t o C 0003620 o r r e c t \r S e t s t h e 0003640 v a r i a b l e P r o o f r 0003660 e a d e r . A u t o C o r r e c 0003700 t s o t h a t t h e p r 0003720 o o f r e a d e r w i l l a 0003740 u t o m a t i c a l l y g e n 0003760 e r a t e a l i s t o f 0004000 c o r r e c t i o n s w h e n 0004020 e v e r i t f i n d s a 0004040 m i s s p e l l e d w o r d . 0004060 \r M a n u a l C o r r e c t 0004100 \r S e t s t h e v a r i a b 0004120 l e P r o o f r e a d e r . A 0004140 u t o C o r r e c t s o t h 0004160 a t t h e p r o o f r e a d 0004200 e r w i l l n o t g e n e 0004220 r a t e a l i s t o f c 0004240 o r r e c t i o n s u n l e s 0004260 s t h e u s e r a s k s 0004300 f o r i t . \r P R O O F R E A 0004320 D E R V A R I A B L E S \r T h 0004340 e r e a r e a c o u p l e 0004360 o f v a r i a b l e s t h 0004400 a t t h e u s e r c a n 0004420 s e t i n h i s i n i t 0004440 f i l e t o c h a n g e h 0004460 o w t h e p r o o f r e a d 0004500 e r w o r k s . T h e y 0004520 a r e : \r P r o o f r e a d e r 0004540 . A u t o L o a d \t [ V a r i a 0004560 b l e ] \r A f i l e o r l 0004600 i s t o f f i l e s t o 0004620 b e l o a d e d i n t o t 0004640 h e p r o o f r e a d e r e 0004660 v e r y t i m e t h a t t 0004700 h e p r o o f r e a d e r i 0004720 s i n i t i a l i z e d . \r P 0004740 r o o f r e a d e r . A u t o C 0004760 o r r e c t \t [ V a r i a b l e 0005000 ] \r A b o o l e a n t h a t 0005020 d e t e r m i n e s w h e t 0005040 h e r o r n o t a l i s 0005060 t o f c o r r e c t i o n s 0005100 i s a u t o m a t i c a l l 0005120 y g e n e r a t e d w h e n 0005140 e v e r t h e p r o o f r e 0005160 a d e r f i n d s a m i s 0005200 s p e l l e d w o r d . \r N O 0005220 T E S \r 377 377 \0 357 f 377 \0 T h e 0005240 p r o o f r e a d e r u s e s 0005260 a h e u r i s t i c t o 0005300 d e t e r m i n e w h e t h e 0005320 r o r n o t a w o r d 0005340 i s i n i t s w o r d l 0005360 i s t t h a t w i l l o c 0005400 c a s i o n a l l y w i l l 0005420 p r o d u c e f a l s e p o 0005440 s i t i v e s . T h i s i 0005460 s m o s t n o t i c e a b l 0005500 e w h e n t h e p r o o f 0005520 r e a d e r i s g e n e r a 0005540 t i n g c o r r e c t i o n s 0005560 f o r a m i s s p e l l e 0005600 d w o r d s . I d o n ' 0005620 t k n o w o f a n y w a 0005640 y t o e l i m i n a t e t 0005660 h i s p r o b l e m e x c e 0005700 p t t o u s e a d i f f 0005720 e r e n t a l g o r i t h m , 0005740 t h e f a s t e s t o f 0005760 w h i c h i s a t l e a s 0006000 t t w i c e a s s l o w . 0006020 H o p e f u l l y p e o p 0006040 l e w i l l f i n d i t 0006060 m o r e o f a n u i s a n 0006100 c e t h a n a r e a l p 0006120 r o b l e m . \r 377 377 \0 357 f 377 \0 0006140 T h e r e i s n o w a y 0006160 t o r e m o v e w o r d s 0006200 o n c e t h e y h a v e b 0006220 e e n i n s e r t e d i n t 0006240 o t h e l o c a l d i c t 0006260 i o n a r y . T h e o n l 0006300 y w a y t o g e t r i d 0006320 o f a b a d w o r d i 0006340 s t o r e l o a d t h e 0006360 d i c t i o n a r y . T h i 0006400 s c a n b e d o n e b y 0006420 r e l o a d i n g t h e S 0006440 p e l l i n g A r r a y f i l 0006460 e . I f a b a d w o r 0006500 d g e t s i n t o o n e 0006520 o f t h e r e m o t e f i 0006540 l e s , y o u c a n e d i 0006560 t t h e f i l e t o g e 0006600 t r i d o f i t . \r \0 \0 \0 0006620 \0 \0 003 ( L I S T ( ( P A G E 0006640 N I L ( F O L I O I N F O ( 0006660 A R A B I C ) S T A R T I N G 0006700 P A G E # 1 ) ( 0 0 6 1 0006720 2 7 9 2 ) ( ( F O L I O N 0006740 I L ( P A R A L O O K S ( Q 0006760 U A D C E N T E R E D ) C H 0007000 A R L O O K S ( S U P E R S C 0007020 R I P T 0 S I Z E 1 0 F 0007040 A M I L Y M O D E R N O V E 0007060 R L I N E O F F S T R I K E 0007100 O U T O F F U N D E R L I N 0007120 E O F F S L O P E R E G U 0007140 L A R W E I G H T M E D I U 0007160 M ) F O R M A T I N F O ( A 0007200 R A B I C ) ) ( 1 7 4 3 6 0007220 2 8 8 3 6 ) N I L ) ( H E 0007240 A D I N G N I L ( H E A D I 0007260 N G T Y P E R U N N I N G H E 0007300 A D ) ( 8 4 7 4 4 4 4 4 0007320 3 6 ) N I L ) ( T E X T N 0007340 I L N I L ( 8 4 9 6 4 5 0007360 6 6 0 0 ) N I L ) ) ) ( P 0007400 A G E N I L N I L ( 0 0 0007420 6 1 2 7 9 2 ) ( ( F O L I 0007440 O N I L ( P A R A L O O K S 0007460 ( Q U A D C E N T E R E D ) 0007500 C H A R L O O K S ( S U P E 0007520 R S C R I P T 0 S I Z E 1 0007540 0 F A M I L Y M O D E R N 0007560 O V E R L I N E O F F S T R 0007600 I K E O U T O F F U N D E R 0007620 L I N E O F F S L O P E R 0007640 E G U L A R W E I G H T M E 0007660 D I U M ) ) ( 2 8 2 4 2 7 0007700 2 3 6 ) N I L ) ( H E A D 0007720 I N G N I L ( H E A D I N G 0007740 T Y P E R U N N I N G H E A D 0007760 ) ( 8 4 7 4 4 4 4 4 3 6 0010000 ) N I L ) ( T E X T N I L 0010020 N I L ( 8 4 9 6 4 5 6 0010040 6 0 0 ) N I L ) ) ) ( P A G 0010060 E N I L N I L ( 0 0 6 0010100 1 2 7 9 2 ) ( ( F O L I O 0010120 N I L ( P A R A L O O K S ( 0010140 Q U A D C E N T E R E D ) C 0010160 H A R L O O K S ( S U P E R S 0010200 C R I P T 0 S I Z E 1 0 0010220 F A M I L Y M O D E R N O V 0010240 E R L I N E O F F S T R I K 0010260 E O U T O F F U N D E R L I 0010300 N E O F F S L O P E R E G 0010320 U L A R W E I G H T M E D I 0010340 U M ) ) ( 2 8 2 4 2 7 2 0010360 3 6 ) N I L ) ( H E A D I N 0010400 G N I L ( H E A D I N G T Y 0010420 P E R U N N I N G H E A D ) 0010440 ( 8 4 7 4 4 4 4 4 3 6 ) 0010460 N I L ) ( T E X T N I L N 0010500 I L ( 8 4 9 6 4 5 6 6 0 0010520 0 ) N I L ) ) ) ) ) \0 \0 \0 \0 \0 0010540 005 \0 006 \0 ( \0 \0 \0 \0 001 310 \0 021 \0 \0 \0 0010560 004 002 003 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0010600 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 1 \0 \0 \0 0010620 \0 001 310 \0 \v \0 \0 \0 004 003 004 \0 \0 002 \0 \0 0010640 001 001 310 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0010660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 ( \0 212 0010700 \0 212 001 8 \0 006 \0 \0 \0 004 002 003 \0 \0 \0 \0 0010720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0010740 \0 \0 \0 \0 \0 ( \0 \0 \0 \0 001 310 \0 \v \0 \0 0010760 \0 004 002 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0011000 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 ( \0 212 0011020 \0 212 001 8 \0 \0 \0 \0 \0 004 002 004 \0 \0 \0 \0 0011040 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0011060 \0 \0 \0 \0 \0 D \0 \0 \0 \0 001 310 \0 \0 \0 \0 0011100 \0 \0 003 004 \0 \0 001 001 310 001 \0 \0 \0 \0 \0 \0 0011120 \0 \v P A G E H E A D I N G \0 \v R 0011140 U N N I N G H E A D \0 \0 \0 \0 \0 \0 0011160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \b 0011200 \0 024 \0 006 M O D E R N \0 \n \0 \0 \0 \0 0011220 \0 \0 \0 \0 \0 026 \0 \b T E R M I N A L 0011240 \0 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 027 \0 \t H E 0011260 L V E T I C A \0 \n \0 \0 \0 \0 \0 \0 \0 0011300 \0 \0 024 \0 006 M O D E R N \0 \n \0 \0 \0 0011320 \0 \0 \0 002 \0 \0 024 \0 006 M O D E R N \0 0011340 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 024 \0 006 M O D 0011360 E R N \0 \f \0 \0 \0 \0 \0 \0 002 \0 \0 024 \0 0011400 006 M O D E R N \0 006 \0 \0 \0 \0 \0 \0 \0 0011420 \0 \0 022 \0 004 L O G O \0 030 \0 \0 \0 \0 \0 0011440 \0 \0 \0 \0 \0 \0 \0 \0 002 \0 006 \0 \0 \0 005 \0 0011460 \0 \0 \0 \b \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0 0011500 \f \0 \0 \0 \0 001 \0 \0 \0 \0 \0 002 \0 006 \0 \0 0011520 \0 002 \0 001 \0 \v H R U L E . G E T F 0011540 N 001 \0 024 \0 006 M O D E R N \0 \n \0 \0 0011560 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 \0 \0 \0 \0 001 \0 0011600 \0 \0 \0 \0 002 \0 005 \0 \0 \0 002 \0 001 \0 \v H 0011620 R U L E . G E T F N 001 \0 024 \0 006 M 0011640 O D E R N \0 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 0011660 \0 \0 001 \0 \0 \0 \0 001 \0 \0 \0 \0 \0 002 \0 005 0011700 \0 \0 \0 002 \0 001 \0 \v H R U L E . G E 0011720 T F N 001 \0 024 \0 006 M O D E R N \0 \n 0011740 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 \0 \0 \0 \0 0011760 001 \0 \0 \0 \0 \0 002 \0 003 \0 \0 \0 \f \0 \0 \0 0012000 \0 006 \0 \0 \0 \0 \0 002 \0 003 \0 \0 \0 002 \0 001 0012020 \0 \v H R U L E . G E T F N 001 \0 024 0012040 \0 006 M O D E R N \0 \f \0 \0 \0 \0 \0 \0 0012060 002 \0 \0 \0 \0 001 \0 \0 \0 \0 006 \0 \0 \0 \0 \0 0012100 002 \0 005 \0 \0 \0 002 \0 001 \0 \v H R U L E 0012120 . G E T F N 001 \0 024 \0 006 M O D E R 0012140 N \0 \f \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0 0012160 \0 \0 \0 006 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 032 0012200 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 0012220 1 \0 \0 \0 \0 001 \0 \0 \0 \0 \0 002 \0 004 \0 \0 0012240 \0 \f \0 \0 \0 \0 004 \0 \0 \0 001 \0 \0 \0 \0 005 0012260 \0 \0 \0 \0 \0 002 \0 004 \0 \0 003 205 \0 \0 \0 \0 0012300 005 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 031 \0 \0 \0 0012320 \0 004 \0 \0 \0 001 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 0012340 002 \0 004 \0 \0 \0 k \0 \0 \0 \0 005 \0 \0 \0 001 0012360 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 0012400 017 \0 \0 \0 \0 004 \0 \0 \0 001 \0 \0 \0 \0 005 \0 0012420 \0 \0 \0 \0 002 \0 004 \0 \0 \0 s \0 \0 \0 \0 005 0012440 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 016 \0 \0 \0 \0 0012460 004 \0 \0 \0 001 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 0012500 \0 004 \0 \0 001 L \0 \0 \0 \0 005 \0 \0 \0 \0 \0 0012520 002 \0 004 \0 \0 \0 \r \0 \0 \0 \0 004 \0 \0 \0 001 0012540 \0 \0 \0 \0 001 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 0012560 017 \0 \0 \0 \0 005 \0 \0 \0 \r \0 \0 \0 \0 004 \0 0012600 \0 \0 b \0 \0 \0 \0 005 \0 \0 \0 024 \0 \0 \0 \0 0012620 002 \0 \0 \0 ? \0 \0 \0 \0 005 \0 \0 \0 024 \0 \0 0012640 \0 \0 002 \0 \0 \0 * \0 \0 \0 \0 005 \0 \0 \0 \0 0012660 \0 002 \0 004 \0 \0 \0 \f \0 \0 \0 \0 004 \0 \0 \0 0012700 001 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 004 \0 \0 0012720 \0 022 \0 \0 \0 \0 005 \0 \0 \0 027 \0 \0 \0 \0 002 0012740 \0 \0 \0 p \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 0012760 004 \0 \0 \0 017 \0 \0 \0 \0 004 \0 \0 \0 001 \0 \0 0013000 \0 \0 005 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 022 \0 0013020 \0 \0 \0 005 \0 \0 \0 027 \0 \0 \0 \0 002 \0 \0 \0 0013040 ^ \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 004 \0 \0 0013060 \0 026 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 004 \0 0013100 \0 \0 v \0 \0 \0 \0 005 \0 \0 \0 001 \0 \0 \0 \0 0013120 004 \0 \0 \0 \0 \0 002 \0 002 \0 \0 \0 024 \0 \0 \0 0013140 \0 002 \0 \0 \0 001 \0 \0 \0 \0 003 \0 \0 \0 \v \0 0013160 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 002 \0 \0 \0 j 0013200 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 002 \0 \0 \0 0013220 027 \0 \0 \0 \0 002 \0 \0 \0 001 \0 \0 \0 \0 003 \0 0013240 \0 \0 \v \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 002 0013260 \0 \0 \0 214 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 0013300 002 \0 \0 \0 006 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 0013320 \0 002 \0 \0 \0 005 \0 \0 002 \0 005 \0 \0 001 277 \0 0013340 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 002 \0 \0 \0 005 0013360 \0 \0 002 \0 005 \0 \0 001 / \0 \0 \0 \0 005 \0 \0 0013400 \0 001 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 002 \0 0013420 \0 \r 215 \0 c z 272 0013427