man(1) Manual page archive


     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 `-fR.10,I.10,B.10,S.10'.

          After a layer's worth of text is displayed, proof pauses for
          a command from keyboard or mouse button 3.  The typed ver-
          sions of commands are:

          newline Go on to next portion of text.  (Button 3 equiva-
                  lent: `more'.)

          q       Quit, leaving a proof layer.

          x       Exit and restart the regular terminal program.
                  (Equivalent to `q' followed by `term mux'; 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 cur-
                  rent 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 interior rectangle moves with the mouse,
          causing the layer to scroll both vertically and horizon-
          tally.  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

     PROOF(9.1)                                             PROOF(9.1)

               Display a memo with equations.  Avoid sending diagnos-
               tics 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 particular, unredirected troff diagnostics will break the
          pipeline `troff | proof'.
          Windowing can get confused if the troff output is not
          approximately sorted in ascending y-order.
          A proof layer imitates `term 33', not mux. Among other dif-
          ficulties, it will not be reusable if downloaded across the
          network.