The down-loaded installation file is a compressed archive; use the
Unix facilities gunzip to uncompress and tar to extract the files.

After unpacking, a READ_ME script containing full installation instructions
is provided. At this point, full hypertext documentation is available in the
BHELP sub-directory, and may be viewed using any html browser e.g. Netscape:
start with the file BHELP/Installation.html or BHELP/Index.html or
BHELP/Contents.html.

The executable files reside in the BKIT sub-directory.

The installed suite of software requires the environment variable $BKIT
to be set to the full path of the installed BKIT directory; it further
requires a valid be installed.

This licence may be either:

• A hardware licence: see Evaluation Licences, or

• A software licence: comprising the BToolkitd Licence Daemon (a component of
  the B-Toolkit Release) together with a licence file obtained directly from B-Core

To Invoke the B-Toolkit

• Creata new directory and cd to that directory; alternatively recursively
  copy a directory in $BKIT/BDEMO into your filespace and cd

• Ensure that you have write permission in that development directory!

• Invoke: $BKIT/BToolkit .