*** UNIX MANUAL PAGE BROWSER ***

PROOF(9.1) PROOF(9.1) NAME proof - troff output interpreter for 5620 SYNOPSIS proof [ -ffonts ] [ file ] DESCRIPTION Proof reads troff(1) intermediate language from file or standard input and simulates the resulting pages on the screen. If no file name is given and standard input is a terminal, proof terminates immediately leaving a `proof layer'. By invoking proof in a proof layer you can avoid download time. Fonts are loaded as required. The usual mux(9.1) font, defont, is used for unknown fonts. Option -f preloads fonts. Names are given relative to and are separated by commas. The most-used fonts are After a layer's worth of text is displayed, proof pauses for a command from keyboard or mouse button 3. The typed versions of commands are: newline Go on to next portion of text. (Button 3 equivalent: q Quit, leaving a proof layer. x Exit and restart the regular terminal program. (Equivalent to followed by see term(9.1)). pn Print page n. An out-of-bounds page number means the end nearer to that number; a missing number means page 0; a signed number means an offset to the current page. Button 1 gets a scroll box, which represents a full page of text. An interior rectangle shows what part of the page is now visible. The in- terior rectangle moves with the mouse, causing the layer to scroll both vertically and horizontally. Button 2 gets a speedometer. The bar of the speedometer moves with the mouse to control the rate at which new information is displayed. EXAMPLES troff -ms memo | proof Format a memo and display it. (eqn memo | troff -ms) 2>diags | proof Display a memo with equations. Avoid sending diagnostics to the screen; see BUGS. FILES fonts list of referenced but unconverted fonts SEE ALSO lp(1), font(6), reader(9.7), psi(9.1) Brian W. Kernighan, A Typesetter-independent Troff BUGS Proof breaks if other messages are directed to its layer. In particu- lar, unredirected troff diagnostics will break the pipeline Windowing can get confused if the troff output is not approximately sorted in ascending y-order. A proof layer imitates not mux. Among other difficulties, it will not be reusable if downloaded across the network. PROOF(9.1)