PROOF(1) PROOF(1) NAME proof - troff output interpreter SYNOPSIS proof [ -mmag ] [ -/nview ] [ -F dir ] [ -d ] [ file ] DESCRIPTION Proof reads troff(1) intermediate language from file or standard input and simulates the resulting pages on the screen. After a page of text is displayed, proof pauses for a com- mand from the keyboard. The typed commands are: newline Go on to next page of text. - Go back to the previous page. q Quit. pn Print page n. An out-of-bounds page number means the end nearer to that number; a missing number means the current page; a signed number means an offset to the current page. n Same as pn. c Clear the screen, then wait for another command. mmag Change the magnification at which the output is printed. Normally it is printed with magnifica- tion .9; mag=.5 shrinks it to half size; mag=2 doubles the size. xval Move everything val screen pixels to the right (left, if val is negative). yval Move everything val screen pixels down (up, if val is negative). /nview Split the window into nview pieces. The current page goes into the rightmost, bottommost piece, and previous pages are shown in the other pieces. -F dir Use dir for fonts instead of /lib/font/bit. d Toggle the debug flag. These commands are also available, under slightly different form, from a menu on button 3. The pan menu item allows PROOF(1) PROOF(1) arbitrary positioning of the page: after selecting pan, press the mouse button again and hold it down while moving the page to the desired location. The page will be redis- played in its entirety when the button is released. The m, x, y, F, /, and d commands are also available as com- mand line options. FILES /lib/font/bit/* fonts /lib/font/bit/MAP how to convert troff output fonts and character names into screen fonts and character numbers SOURCE /sys/src/cmd/proof SEE ALSO lp(1), gs(1) J. F. Ossanna and B. W. Kernighan, ``Troff User's Manual''