3 proof \- troff output interpreter
26 intermediate language from
29 and simulates the resulting pages on the screen.
31 After a page of text is displayed,
33 pauses for a command from the keyboard.
34 The typed commands are:
35 .TP \w'newline\ \ \ 'u
37 Go on to next page of text.
40 Go back to the previous page.
48 An out-of-bounds page number means the end nearer to that number;
49 a missing number means the current page;
50 a signed number means an offset to the current page.
57 Clear the screen, then wait for another command.
60 Change the magnification at which the output is printed.
61 Normally it is printed with magnification .9;
63 shrinks it to half size;
70 screen pixels to the right (left, if
77 screen pixels down (up, if
84 pieces. The current page goes into the rightmost, bottommost piece,
85 and previous pages are shown in the other pieces.
94 Toggle the debug flag.
97 These commands are also available, under slightly different form,
98 from a menu on button 3. The
100 menu item allows arbitrary positioning of the page:
103 press the mouse button again and hold it down while moving
104 the page to the desired location. The page will be redisplayed
105 in its entirety when the button is released.
106 Mouse button 1 also pans, without the need for selecting from a menu.
116 commands are also available as command line options.
118 .TF \fL/lib/font/bit/MAP
124 how to convert troff output fonts and character names
125 into screen fonts and character numbers
127 .B /sys/src/cmd/proof
133 J. F. Ossanna and B. W. Kernighan,
134 ``Troff User's Manual''