Return to README CVS log

Up to [CSRG BSD Unix] / 43BSDTahoe / new / B / doc

Annotation of 43BSDTahoe/new/B/doc/README, revision 1.1

1.1     ! root        1: Here are the sources for the documents. All documents are:
        !             2: 
        !             3: Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984.
        !             4: 
        !             5: The documents are:
        !             6: 
        !             7:        Bproject:
        !             8:                aim and status of the B project;
        !             9:        BugReport:
        !            10:                example bug report form;
        !            11:        Description*:
        !            12:                description of the B programming language;
        !            13:        QuickRef:
        !            14:                quick reference card for the B system;
        !            15:        UsersGuide.ms:
        !            16:                users guide for the B programming language;
        !            17: 
        !            18: To reproduce all documents, type 'make print'.  Individual documents can be
        !            19: printed with e.g. 'make usersguide', without capitals, and without suffix.
        !            20: 
        !            21: Except for Bproject and BugReport they all use a special B font, for B
        !            22: programming text.  Such text appears between the string brackets <: and
        !            23: :>, e.g. \*(<:PUT a IN b\*(:>.  In the file bfont.def these strings are
        !            24: defined such as to use the constant width CW font as the B font.  If
        !            25: your installation doesn't support this font, ask your local typeset
        !            26: guru whether there is any other constant width font around.  Check that
        !            27: all the following characters are on the font:
        !            28: 
        !            29:         !"#$%&'()*+,-./0123456789:;<=>?
        !            30:        @ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_
        !            31:        `abcdefghijklmnopqrstuvwxyz{|}~
        !            32: 
        !            33: Otherwise you will have to do with just roman \fR.
        !            34: 
        !            35: Instead of printing the documents yourself, you can order them from the
        !            36: CWI.  See the OrderForm in this directory, which points to other documents
        !            37: on B as well.

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