home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / b / b.lha / B / doc / README < prev    next >
Encoding:
Text File  |  1988-11-24  |  1.3 KB  |  38 lines
  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.
  38.