            Notes about some of the commands
	     by Martin Richards, 5 Jan 2020

bbcbcpl  Attempts to compile BBC BCPL to 16 bit BBC Cintcode

bbcbcpl32 Compiles BBC BCPL to 32 bit modern Cintcode
          This command will be removed since it is better to
	  use bbc2bcpl

bbc2bcpl  This command converts BBC BCPL to BCPL suitable for
          compilation using the modern BCPL Cintcode compiler.
	  With the default settings it capitalises all reserved
	  and makes the capitalisation of identifiers to agree
	  with their first occurrences. Several reserved words
	  are replaced by symbols, for example LOGAND, LOGOR,
	  EQ and LE are replaced by &, |, =, and <=. || is
	  replaced by // and dots in identifiers are replaced
	  by underlines. To see all the other modifications
	  see bbc2bcpl.b. The main purpose of this command
	  is to possibly aid the reconstruction of the BBC
	  Domesday Project that ran on BBC Microcomputers
	  around 1986. Much of the source code has recently
	  been discovered.


	  