Return to proof.9 CVS log

Up to [Research Unix] / researchv10dc / man / adm / man9

Annotation of researchv10dc/man/adm/man9/proof.9, revision 1.1

1.1     ! root        1: .TH PROOF 9.1
        !             2: .CT 1 writing_output
        !             3: .SH NAME
        !             4: proof \- troff output interpreter for 5620
        !             5: .SH SYNOPSIS
        !             6: .B proof
        !             7: [
        !             8: .BI -f fonts
        !             9: ]
        !            10: [
        !            11: .I file
        !            12: ]
        !            13: .SH DESCRIPTION
        !            14: .I Proof
        !            15: reads
        !            16: .IR troff (1)
        !            17: intermediate language from
        !            18: .I file
        !            19: or standard input
        !            20: and simulates the resulting pages on the screen.
        !            21: If no file name is given and standard input is a terminal,
        !            22: proof terminates immediately leaving a `proof layer'.
        !            23: By invoking
        !            24: .I proof
        !            25: in a proof layer you can avoid download time.
        !            26: .PP
        !            27: Fonts are loaded as required.
        !            28: The usual 
        !            29: .IR mux (9.1)
        !            30: font,
        !            31: .BR defont ,
        !            32: is used for unknown fonts.
        !            33: Option
        !            34: .B -f
        !            35: preloads fonts.
        !            36: Names are given relative to
        !            37: .F /usr/jerq/font
        !            38: and are separated by commas.
        !            39: The most-used fonts are 
        !            40: .LR -fR.10,I.10,B.10,S.10 .
        !            41: .PP
        !            42: After a layer's worth of text is displayed,
        !            43: .I proof
        !            44: pauses for a command from keyboard or mouse button 3.
        !            45: The typed versions of commands are:
        !            46: .TP \w'newline\ 'u
        !            47: newline
        !            48: Go on to next portion of text.
        !            49: (Button 3 equivalent: 
        !            50: .LR more .)
        !            51: .TP
        !            52: .B q
        !            53: Quit, leaving a proof layer.
        !            54: .TP
        !            55: .B x
        !            56: Exit and restart the regular terminal program.
        !            57: (Equivalent to 
        !            58: .L q
        !            59: followed by
        !            60: .LR "term mux" ;
        !            61: see
        !            62: .IR term (9.1)).
        !            63: .TP
        !            64: .BI p n
        !            65: Print page
        !            66: .I n.
        !            67: An out-of-bounds page number means the end nearer to that number;
        !            68: a missing number means page 0;
        !            69: a signed number means an offset to the current page.
        !            70: .PP
        !            71: Button 1 gets a scroll box, which represents a full page of text.
        !            72: An interior rectangle shows what part of the page is now visible.
        !            73: The interior rectangle moves with the mouse, causing the layer to
        !            74: scroll both vertically and horizontally.
        !            75: Button 2 gets a speedometer.
        !            76: The bar of the speedometer moves with the mouse
        !            77: to control the rate at which new information is displayed.
        !            78: .SH EXAMPLES
        !            79: .TP
        !            80: .L
        !            81: troff -ms memo | proof
        !            82: Format a memo and display it.
        !            83: .TP
        !            84: .L
        !            85: (eqn memo | troff -ms) 2>diags | proof
        !            86: Display a memo with equations.
        !            87: Avoid sending diagnostics to the screen; see
        !            88: .SM BUGS.
        !            89: .SH FILES
        !            90: .TF /usr/jerq/font/.missing
        !            91: .TP
        !            92: .F /usr/jerq/font/*
        !            93: fonts
        !            94: .TP
        !            95: .F /usr/jerq/font/.missing
        !            96: list of referenced but unconverted fonts
        !            97: .SH SEE ALSO
        !            98: .IR lp (1), 
        !            99: .IR font (6),
        !           100: .IR reader (9.7),
        !           101: .IR psi (9.1)
        !           102: .br
        !           103: Brian W. Kernighan,
        !           104: .I A Typesetter-independent Troff
        !           105: .SH BUGS
        !           106: .I Proof
        !           107: breaks if other messages are directed to its layer.
        !           108: In particular, unredirected
        !           109: .I troff 
        !           110: diagnostics will break the pipeline
        !           111: .LR "troff | proof" .
        !           112: .br
        !           113: Windowing can get confused if the
        !           114: .I troff
        !           115: output is not approximately
        !           116: sorted in ascending
        !           117: .IR y -order.
        !           118: .br
        !           119: A proof layer imitates
        !           120: .LR "term 33" ,
        !           121: not
        !           122: .IR mux .
        !           123: Among other difficulties, it will not be reusable if downloaded
        !           124: across the network.

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.