Return to README CVS log

Up to [CSRG BSD Unix] / 43BSD / contrib / B / doc

Annotation of 43BSD/contrib/B/doc/README, revision 1.1.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.