CHANGELOG

KRoC/Linux Change-log (most recent first)
=========================================

26/03/2008	frmb	version up to 1.5.0-pre4
17/11/2007	cgr	fixes for some mobile process issues
16/11/2007	cgr	various CCSP updates
16/11/2007	ats	various updates to sdlraster, raster and occade
14/11/2007	frmb	tagged and released 1.5.0-pre3
14/11/2007	frmb	version-up to 1.5.0-pre3, added some sdlraster examples (using miniraster)
14/11/2007	frmb	restructured source packages into a single tree
13/11/2007	cgr	various updates, merged MP branch into trunk
31/10/2007	frmb	put 1.5.0-pre2 together (MP version, auto-detected)
31/10/2007	frmb	various build script updates
28/10/2007	frmb	version up to 1.5.0-pre2, added David Wood's robot programs
28/10/2007	frmb	small fix for remembering UDC build option
28/10/2007	frmb	moved source code repository to CSProjects, http://projects.cs.kent.ac.uk/
23/09/2007	frmb	version-up to 1.5.0 pre-releases
21/09/2007	ats	restructured distribution tree
21/09/2007	cgr	various updates
25/07/2007	ats	various restructuring of the source tree
14/07/2007	cgr	some work towards darwin support (for Mac OS X on Intel)
12/07/2007	frmb	put 1.4.1-pre6 together
11/07/2007	ats	added occSDL library and occade to the distribution
19/06/2007	ats	various package updates for module mechanism
19/06/2007	ats	updates to KRoC wrapper script
18/06/2007	ats	added -C option to tranx86 to dump #PRAGMA COMMENTs
17/06/2007	frmb	minor updates for NOCC
14/04/2007	cgr	CCSP fixes for RMoX
04/04/2007	ats	occam-doc updates and mechanical occam-doc-ifying of inmos libraries
06/03/2007	frmb	added NOCC path to build configuration (passed to kroc script configure)
06/03/2007	frmb	various tranx86 updates
14/02/2007	ats	occamdoc updates
03/02/2007	phw	updates to course sort-pump examples
19/01/2007	frmb	fixed a small bug in occ21 (ack to db99 for spotting it)
18/01/2007	ats	occamdoc updates
28/12/2006	frmb	added MoinMoin Wiki occam-pi parser to the distribution (in doc/)
20/12/2006	frmb	added occam-pi adventure game to the distribution
16/12/2006	frmb	put 1.4.1-pre5 together
01/12/2006	frmb	various updates to occamdoc and some packages
08/09/2006	frmb	partial updates to support building on 64-bit AMD Opteron / Linux machines
02/09/2006	frmb	various updates to tranx86 and CCSP
20/08/2006	frmb	added MySQL occam API (moa) to the contrib area
15/05/2006	ats	occamdoc moved within repository, build script updated
15/05/2006	frmb	put 1.4.1-pre4 together
15/05/2006	frmb	merged in Adam's occamdoc tool
14/05/2006	frmb	fixed some of the interfacing code in CCSP, normalised a bit
09/05/2006	frmb	added some priority-free calls to CCSP
08/05/2006	frmb	more changes to the run-time interface, CIF updates to use it
02/05/2006	frmb	changed the run-time interface mechanism (mostly)
13/04/2006	frmb	added --svn-user option to the build script
11/04/2006	ats	added command-line option handling to the file library
11/04/2006	ats	small fix for a memory leak in blocking sys-calls handling
10/04/2006	frmb	put 1.4.1-pre3 together
10/04/2006	ats	various updates/fixes for pony
10/04/2006	frmb	added the "cluster DX viewer" to contributed software
10/04/2006	frmb	added Adrian Cockcroft's formatted output library to contributed software
10/04/2006	frmb	put in mechanisms to handle contributed software
10/04/2006	frmb	put 1.4.1-pre2 together
09/04/2006	frmb	added the pony/kroc-net infrastructure to the distribution (experimental)
09/04/2006	frmb	follow-up fix for a related bug
08/04/2006	frmb	fixed a PLACED array bug in occ21, ack to Sergiu Dumitriu for spotting it
06/04/2006	frmb	more interface changes, more multi-processor code
06/04/2006	frmb	fixed a small bug in occ21 (dynamic mobile arrays)
04/04/2006	frmb	changed interface mechanism for some run-time kernel calls
04/04/2006	frmb	fixed a small register colouring problem in tranx86
02/04/2006	frmb	some tidy-ups, more multi-processor code
02/04/2006	frmb	separated out top-level interface processes into libkrocif
02/04/2006	frmb	changed bug-reporting address to kroc-bugs@kent.ac.uk (RT queue)
29/03/2006	frmb	various CCSP tidy-ups, removed old keyboard support
28/03/2006	frmb	started adding some support for multi-processor machines
27/03/2006	frmb	started removing support for scheduler-structures (for a better way)
26/03/2006	frmb	a couple more fixes for pony
25/03/2006	frmb	added some checks in CCSP for invalid mobile processes
25/03/2006	frmb	various updates for pony
22/03/2006	frmb	small fix for compiler crash with missing parameter types, ack to Christian/CO631-students for spotting it
22/03/2006	frmb	fix for a missing check in mobile channel-end communication, ack to Adam for spotting it
21/03/2006	frmb	fixed some more bugs in the usage checker and undefinedness checker
19/03/2006	frmb	fixed a small bug in the undefinedness checker, ack to Adam for finding it
18/03/2006	frmb	put 1.4.1-pre1 together
18/03/2006	frmb	fixed some UDO bugs in the compiler, tidied up other code
18/03/2006	frmb	minor compiler fixes/updates in error paths
18/03/2006	frmb	fixed a type-check bug with anonymous channel-types and protocol inheritance
14/03/2006	frmb	added --linkcc option to kroc wrapper
14/03/2006	frmb	small fix to mixed input/output in arrays of mobile channel-ends passed as parameters
14/03/2006	frmb	small fix to CIF assembler code (.string to .asciz)
13/03/2006	frmb	small fix for -X6 option (extended single-tag inputs)
26/02/2006	frmb	compiler fix disallowing PROTOCOLs to be used as variable types
08/02/2006	frmb	small fix for KRoC.net/pony network CLAIMs
05/02/2006	frmb	various fixes for channel-type type descriptions
01/02/2006	frmb	fixed a small memory-leak in non-freeing of dynamic channel types
22/01/2006	frmb	multiway sync support in the run-time (not for regular occam-pi yet)
14/01/2006	frmb	support for ENROLL instead of BARRIER for doing PAR barrier extension
14/01/2006	frmb	added checks for null mobile barriers on sync/enroll/resign
14/01/2006	frmb	put 1.4.0 together
14/01/2006	frmb	minor updates to the compiler and translator
13/01/2006	frmb	various updates to SDLRaster
12/01/2006	frmb	fix to FORKed mobilespace, ack to Carl Ritson for spotting it
04/01/2006	frmb	some small MOBILE.CHAN fixes
30/12/2005	frmb	added kroc configuration options to extra build config, kroc manpage update
30/12/2005	frmb	put 1.4.0-final2 together
30/12/2005	frmb	various manpage updates, added kroc.conf manpage
29/12/2005	frmb	rolled versions over to 1.4.0-final2, various minor updates for cygwin
29/12/2005	frmb	churned out 1.4.0-final
29/12/2005	frmb	minor SDLRaster examples fix for FreeBSD
29/12/2005	frmb	put 1.4.0-final together (first cut)
23/12/2005	frmb	various updates for NOCC
20/12/2005	frmb	more updates to SDLRaster to support control-keys
19/12/2005	frmb	added support in CCSP for outputting ALTs (used by CIF)
19/12/2005	frmb	modified SDLRaster to use CIF instead of user-defined channels
14/12/2005	frmb	moved occ21 version to 1.4.0
14/12/2005	frmb	fixed a small problem with -o argument to occ21 w/ ETC output (ack to Carl Ritson
			for spotting it)
07/12/2005	frmb	various small changes to support RMoX
07/12/2005	frmb	fixed a small bug with empty arrays in channel-parameter checking, ack to Adam for spotting it
06/12/2005	frmb	small change to the build script so it skips the config menu
			if --prefix/--install-dir is given, --reconf overrides
06/12/2005	frmb	fixed missing distclean action on doc/ sub-dir (configured stuff escaped in 1.4.0-pre3)
06/12/2005	frmb	fixed FPU initialisation problem on i386 (still more to do possibly)
06/12/2005	frmb	updated tranx86 and KRoC to 1.4.0 versions in the source tree
05/12/2005	frmb	rolled over to 1.4.0-final (next to 1.4.0-final2)
05/12/2005	frmb	tidied up AUTHORS file, copied old stuff to OLD-AUTHORS
05/12/2005	frmb	put 1.4.0-pre3 together
05/12/2005	frmb	removed DXRaster from the distribution (superseded by SDLRaster)
05/12/2005	frmb	restructured install layout for KRoC 1.4.0, moved manpages into source packages
04/12/2005	frmb	added a kroc run-time configuration file, "kroc.conf"
02/12/2005	frmb	did a bit more support for floating-point on PowerPC
01/12/2005	frmb	added support for sin/cos instructions where the hardware supports it
29/11/2005	frmb	added entry-points for deep mobile type handling (under construction)
27/11/2005	frmb	fixed a small bug in the ProcFork() code
25/11/2005	frmb	added some mobile process support to CIF
20/11/2005	frmb	added more support for process groups, including a couple of builtins
17/11/2005	frmb	initial support for mobile process library loading and unloading
14/11/2005	frmb	small bug fix for non-PAR mobile processes, support for serialising flat dynamic mobile arrays
14/11/2005	frmb	initial support for object-space in serialised mobile processes
13/11/2005	frmb	fixed a small bug with small constant constructors assigned to mobiles (ack
			to Carl Ritson for spotting it)
13/11/2005	frmb	additional checking in mobile process deserialisation
12/11/2005	frmb	updated support for process groups, made mobile-process code more RMoX friendly
12/11/2005	frmb	more MOBILE.PROC support in the compiler (comms and assignment)
12/11/2005	frmb	mostly working support for mobile-process serialise and deserialise
12/11/2005	frmb	small bug-fix with hidden-types in compiler back-end
10/11/2005	frmb	more updates to mobile-process serialisation
09/11/2005	frmb	updated SUSPEND implementation with workspace and code mapping information
08/11/2005	frmb	disabled CC-checks in tranx86 when debugging is enabled (checks get complex)
08/11/2005	frmb	fixed a small bug with CC-related code in tranx86 (ack to Mario for spotting it)
07/11/2005	frmb	compiler updates for code-map generation and corresponding tranx86 support
06/11/2005	frmb	various updates for mobile processes
04/11/2005	frmb	more PowerPC code, simple programs now work ok (libraries wonky, cgtests bust)
02/11/2005	frmb	small fix to new control split/join handling in tranx86
01/11/2005	ats	fixed a couple of small bugs in CCSP (related to broken debugging)
31/10/2005	frmb	fixed a small bug in occ21 preventing variable constructor assignment to dynamic mobile
			arrays (ack to Adam for spotting it)
31/10/2005	frmb	fixed CONTRJOIN/CONTRSPLIT handling in tranx86, was a bit broken.  Ack to Adam
			for pinning the bug down.
30/10/2005	frmb	various compiler updates for KRoC.net/pony
30/10/2005	frmb	made tranx86 more condition-code aware, needed for correct PowerPC code-gen (and Sparc too really)
29/10/2005	frmb	small fix for broken CHAN of MOBILE proc-type checking (ack to Allan McInnes for spotting it)
25/10/2005	frmb	fixed a small bug related to FORKed process parameter checking (ack to Adam for finding it)
25/10/2005	frmb	some minor Sparc updates
25/10/2005	frmb	fixed a small bug in FIXED handling for separate compilation
25/10/2005	frmb	initial framework for PowerPC target in CCSP and tranx86
25/10/2005	frmb	improved support for getting code from the subversion repository
24/10/2005	frmb	put 1.4.0-pre2 together
24/10/2005	frmb	updated the build script to support live-updates from the subversion repository
23/10/2005	frmb	support for CLAIM-ing mobile arrays of mobile channel-ends
23/10/2005	frmb	added manpage for SDLRaster
19/10/2005	frmb	some small updates to the SDLRaster library (also on-line documentation)
10/10/2005	frmb	fixed a small bug related to type-checks on forward-declared channel-types
10/10/2005	frmb	fixed DEFINED operator bug with MOBILE.CHANs (ack to Mario for finding)
10/10/2005	frmb	fixed a small bug with allocation of zero-sized dynamic arrays of mobile
			channels (ack to Mario for finding it)
30/09/2005	frmb	put 1.4.0-pre1 together
30/09/2005	frmb	fixed one or C mishaps in occ21 (old gcc fails to compile them, ack
			to Sourav Guchhait for spotting it)
30/09/2005	frmb	semi-fixed small bug in back-end related to CASE generation (ack to clj)
16/09/2005	frmb	more tranx86 updates for NOCC (arithmetic instructions)
06/09/2005	frmb	changed default path separator to ':' (OCSEARCH + ISEARCH environment vars)
04/09/2005	frmb	more tranx86 updates for NOCC
12/07/2005	frmb	kroc wrapper option for NOCC (--nocc), experimental
11/07/2005	frmb	tranx86 updates for NOCC
09/07/2005	frmb	put 1.4.0-pre0 together
08/07/2005	frmb	added SDLRaster to the distribution (very much like DXRaster)
08/07/2005	frmb	small compiler fix for counted-array protocols inside CHAN TYPEs
08/07/2005	frmb	made pthreads the default for Linux  (may break on older systems)
07/07/2005	frmb	various CIF fixes
06/07/2005	frmb	added a direct-to-malloc allocator to assist valgrind'ing of code
06/07/2005	frmb	small fix in pthreads blocking sys-call code
06/07/2005	frmb	small change to tranx86 i386 FPU initialisation
03/07/2005	frmb	minor scheduler fixes
02/06/2005	frmb	more CIF updates, fixed small bug in occ21 code-gen (type-descs for CLONE'd params)
30/05/2005	frmb	small fix in type-check
02/05/2005	frmb	some CIF updates
22/04/2005	frmb	more MOBILE.CHAN handling when channel-type descriptions are enabled
21/04/2005	frmb	channel-type descriptions used for MOBILE.CHAN hashes (when enabled)
17/04/2005	frmb	better type-check for MOBILE.CHANs
17/04/2005	frmb	fixed a couple of separate compilation bugs with MOBILE.CHANs and BARRIERs
14/04/2005	frmb	fixed a missing type-check in some inner MOBILE types
13/04/2005	frmb	made "kroc --cflags" produce something a bit more useful
04/04/2005	frmb	minor Makefile updates
04/04/2005	frmb	put 1.3.4-pre8 together
04/04/2005	frmb	fix for anonymous channel-type type descriptions
04/04/2005	frmb	added -zctknsf flag for KRoC.net channel-type state field and semaphore
03/04/2005	frmb	minor updates to KRoC.net specific code
03/04/2005	frmb	undefinedness checker fix for DEFINED operator
02/04/2005	frmb	fixed a problem with RESULT SHARED channel-type parameters
02/04/2005	frmb	updated support for channel-type type descriptions and hooks
02/04/2005	frmb	minor fix to MOBILE BARRIER FORK parameter-passing
02/04/2005	frmb	CIF updates
31/03/2005	frmb	initial support for channel-type type descriptions and hooks
24/03/2005	frmb	fixed PROTOCOL.HASH() for MOBILE.CHANs
21/03/2005	frmb	documentation updates
21/03/2005	frmb	updates to the game in the better-bar demo
20/03/2005	frmb	support for MOBILE.CHAN assignment
20/03/2005	frmb	MOBILE.CHAN updates
19/03/2005	frmb	various updates to the better-bar demo
18/03/2005	frmb	initial support for MOBILE.CHAN parameter passing
16/03/2005	frmb	added Jonathan Whiting's dining philosophers to the distribution
14/03/2005	frmb	put 1.3.4-pre7 together
14/03/2005	frmb	small fix in type-check for constant folding
13/03/2005	frmb	added basic mobile channel-type support to CIF (incl. shared claim/release)
13/03/2005	frmb	added dynamic mobile communication and extended input support to CIF
13/03/2005	frmb	updated barrier documentation (incorporating mobile barriers)
13/03/2005	frmb	made resign before PAR end (-zrpe) default operation for barriers
13/03/2005	frmb	BARRIER and MOBILE BARRIER tidy-ups, extra checks
12/03/2005	frmb	modified BARRIER handling slightly: BARRIER decls and "PAR BARRIER" extends
12/03/2005	frmb	various updates in type/usage checks for MOBILE BARRIERs
10/03/2005	frmb	initial MOBILE BARRIER support
09/03/2005	frmb	small fix to SHARED top-level channels (after change to chan-type structure)
06/03/2005	frmb	fixed type-check bug for mobile process allocation (ack to Dyke Stiles)
06/03/2005	frmb	support for BARRIER resign before PAR end (-zrpe flag)
05/03/2005	frmb	support for MOBILE.CHAN declarations and channel i/o
05/03/2005	frmb	moved mobile-channel ref-count field to bottom of structure
04/03/2005	frmb	minor update to preconfigure in build
28/02/2005	frmb	usage-check fixes for barriers
28/02/2005	frmb	combined BARRIER declaration/extension, repl-PAR barrier fixes
27/02/2005	frmb	minor compiler bug-fixes (ack to Adam Sampson)
27/02/2005	frmb	multiple barrier declaration/extension support
26/02/2005	frmb	keyboard handler updates
26/02/2005	frmb	various fixes for scheduler-structure support (enabled in the
			presence of a known good gcc, 3.3.4 and 3.3.5 so far)
24/02/2005	frmb	put 1.3.4-pre6 together
24/02/2005	frmb	output cursor-visible VT220 escape sequence before exiting
24/02/2005	frmb	fixed a small bug signal handling bug for posix threads (resulting in a
			non-sane tty state when terminated)
24/02/2005	frmb	small fix to mobile process codemap support (ack to Dyke Stiles)
24/02/2005	frmb	disabled scheduler-structure support temporarily
20/02/2005	frmb	support for replicated PAR barriers
20/02/2005	frmb	updated BARRIER support, parameters, RESIGN, PAR EXTENDs
19/02/2005	frmb	various course examples updates (ack to Peter Welch)
19/02/2005	frmb	small compiler fix for gcc 2.95 (ack to Peter Welch)
17/02/2005	frmb	initial BARRIER support
13/02/2005	frmb	compiler support for parse-tree output in XML
12/02/2005	frmb	option'd variable indentation support (-vi or #OPTION "I")
12/02/2005	ats	variable indentation support
11/02/2005	frmb	small type-check fix in compiler (ack to Adam Sampson)
09/02/2005	frmb	small compiler fix
07/02/2005	frmb	tidied up failing DXRaster building
07/02/2005	frmb	put 1.3.4-pre5 together
07/02/2005	frmb	various scheduler tidyings
07/02/2005	frmb	various fixes to nested mobile handling
06/02/2005	frmb	some parser fixes for nested mobile protocols (ack to Mario Schweigler)
06/02/2005	frmb	minor fixes to the undefinedness checker (nested state)
06/02/2005	frmb	integrated DXRaster into the distribution (moderately experimental)
05/02/2005	frmb	fixed a small bug in the user-defined BARRIER and SEMAPHORE code
03/02/2005	frmb	fixed a register colouring bug in tranx86 (ack to Carl Ritson)
31/01/2005	frmb	various MOBILE.CHAN updates (partial support for variables)
30/01/2005	ats	various RMoX related fixes in CCSP (memory allocator)
29/01/2005	frmb	fixed a small bug with nested constructor checking (ack to Carl Ritson)
22/01/2005	frmb	fixed a bug with segments taken from nested mobile arrays (ack to Alan Grover)
21/01/2005	frmb	changed "ANY CHAN TYPE" to "MOBILE.CHAN", added support for restrictions
19/01/2005	frmb	fixed CHANs of nested MOBILE types as parameters
19/01/2005	frmb	minor documentation updates
19/01/2005	frmb	support for CHAN ANY CHAN TYPE with variant inputs
17/01/2005	frmb	small fix to FIXED analysis
17/01/2005	frmb	fixed type-check bug with nested mobile declarations
15/01/2005	frmb	fixed small bug in the build script (ack to Adam Sampson)
14/01/2005	frmb	put 1.3.4-pre4 together
10/01/2005	frmb	improved PLACED [..]PORT handling and allowance for INT16 addresses
09/01/2005	frmb	minor updates, automake update (from 1.6 to 1.9)
09/01/2005	frmb	put 1.3.4-pre3 together
09/01/2005	frmb	small fixes to pthreads and new timer code
09/01/2005	frmb	fixed small FORKed mobilespace allocation bug (in light of new run-time allocator)
09/01/2005	frmb	minor fixes to the undefinedness checker and type checker
08/01/2005	frmb	more pthreads updates to the run-time system
07/01/2005	frmb	minor documentation updates
06/01/2005	frmb	small fix to blocking-syscalls termination code when using pthreads
06/01/2005	frmb	updates to memory debugger and timer code, more RMoX updates
05/01/2005	frmb	update to FORKING usage check
04/01/2005	frmb	various autoconf fixes (arg enabling/disabling)
04/01/2005	frmb	integrated new dmem allocator into runtime kernel
03/01/2005	frmb	various RMoX updates
01/01/2005	frmb	timer optimisation
30/12/2004	frmb	better MOBILE abbreviation handling
23/12/2004	frmb	documentation updates
23/12/2004	frmb	added initial analysis for mobile movement
23/12/2004	frmb	fixed parsing of mobile channel abbreviations
22/12/2004	frmb	inmoslibs updates
22/12/2004	frmb	put 1.3.4-pre2 together
22/12/2004	frmb	added checks for fixed tag-values in nested/inherited protocols
21/12/2004	frmb	various fixes for compiling on FreeBSD (bug-report ack to Ian Bugeja)
21/12/2004	frmb	compiler now outputs type-hash for named types in DESCRIPTOR lines
20/12/2004	frmb	added compiler flags to indicate complex DIV/REM code-gen
20/12/2004	frmb	minor tranx86 update for code-maps
20/12/2004	frmb	fixed various separate compilation bugs (bug-report ack to Dyke Stiles)
19/12/2004	frmb	fixed anonymous channel-types in PROC TYPE declarations bug
14/11/2004	frmb	minor random updates
31/10/2004	frmb	minor fix in tranx86 for mobile process code-map output
30/10/2004	frmb	small compiler type-check fix (ack to azz for finding it)
23/10/2004	ats	reading /proc/cpuinfo for clock speed + minor fix
10/10/2004	frmb	cygwin fix for text-mounts (ack to Roman Belenov)
30/09/2004	frmb	minor updates
13/09/2004	frmb	added support for specifying tag values
12/09/2004	frmb	basic parser support for TRACES on channel-types
04/09/2004	frmb	put 1.3.4-pre1 together
03/09/2004	frmb	fixed SHARED chan-type type-checking
01/09/2004	frmb	more PROC TYPE updates (tranx86 / run-time)
29/08/2004	frmb	"big-endian transputer" support in the compiler
28/08/2004	frmb	initial Solaris/Sparc support
28/08/2004	frmb	various PROC TYPE updates and fixes
22/08/2004	frmb	array-constructor segment bug fixed
20/08/2004	frmb	more compiler fixes (type-checker, tran, back-end)
19/08/2004	frmb	various minor occ21 bug fixes
15/08/2004	frmb	more cygwin updates, build script updates
14/08/2004	frmb	more support for posix threads and cygwin
13/08/2004	frmb	various minor bug-fixes
13/08/2004	frmb	support for external name prefixing
12/08/2004	frmb	initial cygwin support
10/08/2004	frmb	more support for mobile processes
30/07/2004	frmb	released KRoC/Linux 1.3.3 (final)
30/07/2004	frmb	minor last minute fixes (CIF examples)
30/07/2004	frmb	demos/ directory left out of distribution tarball
30/07/2004	frmb	put 1.3.3-pre99 together (slightly artificial release)
30/07/2004	frmb	minor updates to the undefinedness checker
30/07/2004	frmb	added blocking syscalls interface to CIF
29/07/2004	frmb	fixed CIF external-call code (and examples) to work with pthreads
22/07/2004	frmb	some updates to the build script
21/07/2004	frmb	fixed minor compilation problem in CCSP
19/07/2004	frmb	added fairly bare manpages for blocking sys-calls libraries
18/07/2004	frmb	various additions for mobile processes
17/07/2004	frmb	added some manual pages for the INMOS libraries
16/07/2004	frmb	added better-bar animation to the distribution
16/07/2004	frmb	put 1.3.3-pre27 together
16/07/2004	frmb	updates to the undefinedness checker for deep state
15/07/2004	frmb	various minor bugfixes
11/07/2004	frmb	more support for mobile process CLONE
10/07/2004	frmb	various mobile process fixes
01/07/2004	frmb	miscellaneous minor bugfixes
01/07/2004	frmb	fixed a small bug in the socket library
30/06/2004	frmb	initial support for POSIX threads
29/06/2004	frmb	various CCSP code cleanups
27/06/2004	frmb	initial support for mobile process CLONE
26/06/2004	frmb	initial support for recovering "dead" process resources
22/06/2004	frmb	initial support for workspace-maps
12/06/2004	frmb	fixed a fairly serious mobile-space bug introduced in pre26
09/06/2004	frmb	documentation updates
06/06/2004	frmb	added mkoccdeps to the distribution
05/06/2004	frmb	fixed a small channel type type-check bug
05/06/2004	frmb	documentation updates
31/05/2004	frmb	put 1.3.3-pre26 together
31/05/2004	frmb	run-time memory stats now selected with -ds to tranx86
31/05/2004	frmb	replicated PAR fixes for FORK-barrier / mobile-processes
31/05/2004	frmb	fixed FORK barrier bug
30/05/2004	frmb	fixed occ21 to compile under gcc-2.95
29/05/2004	frmb	more minor fixes, cleaned up CCSP compilation under gcc-3.3
22/05/2004	frmb	some parser fixes
20/05/2004	frmb	fixed support for 16-bit code-gen
03/05/2004	frmb	put 1.3.3-pre25 together
03/05/2004	frmb	more mobile process support (parallel SUSPENDs)
01/05/2004	frmb	indirection support for channel parameters (mobile processes)
26/04/2004	frmb	minor changes to PROTOCOL.HASH
26/04/2004	frmb	make mobile process support experimental (-X7 to kroc)
26/04/2004	frmb	more undefinedness checker fixes
22/04/2004	frmb	various compiler fixes (back-end, undefinedness checking)
21/04/2004	frmb	tranx86/CCSP updates for global FORK barrier
20/04/2004	frmb	added FORKING barrier hidden parameter, various SC updates/fixes
19/04/2004	frmb	initial SUSPEND support for MOBILE PROCs
18/04/2004	frmb	initial support for PROC TYPEs and MOBILE processes
16/04/2004	frmb	updates to the undefinedness checker for subscripts/segments
15/04/2004	frmb	various fixes for nested MOBILEs
14/04/2004	frmb	fixes to nested MOBILE array subscripting
13/04/2004	frmb	fixes to nested MOBILE channel-types
10/04/2004	frmb	minor bug-fixes to code in the socket library (kroc.net related)
10/04/2004	frmb	modified kroc script to abort on file-not-found
09/04/2004	frmb	various compiler front-end bug-fixes for bad syntax
09/04/2004	frmb	more undefinedness checking for RECORD types
05/04/2004	frmb	put 1.3.3-pre24 together
05/04/2004	frmb	initial support for `go' channel to DECODE.CHANNEL
04/04/2004	frmb	BYTESIN fix for dynamic mobiles
04/04/2004	frmb	better support for DECODE.DATA
04/04/2004	frmb	updates/fixes for partially defined RECORDs
30/03/2004	frmb	basic implementation of DECODE.DATA added
30/03/2004	frmb	fixed a small bug in nested dynamic mobile array handling
29/03/2004	frmb	some fixes to multi-dimensional dynamic array handling
23/03/2004	frmb	put 1.3.3-pre23 together
23/03/2004	frmb	added compiler test suite (cgtests) to the distribution
22/03/2004	frmb	improved undefinedness checker support for RECORD types
13/03/2004	frmb	small fix to REALRESULT handling in tranx86
11/03/2004	frmb	undefindness checker support for RECORD types
08/03/2004	frmb	put 1.3.3-pre22 together
08/03/2004	frmb	added some more example dining-philosopher solutions
08/03/2004	frmb	small fix to DECODE.CHANNEL for multi-dim dynamic mobile arrays
07/03/2004	frmb	added KRoC.net related PROCs to the (blocking syscall) socket library
23/02/2004	frmb	slight change to the type/protocol hash algorithm to ignore names
05/01/2004	frmb	added support for tag-less inherited protocols
05/01/2004	frmb	put 1.3.3-pre21 together
05/01/2004	frmb	minor documentation updates
04/01/2004	frmb	more protocol inheritance support
04/01/2004	frmb	added a working implementation of protocol inheritance
03/01/2004	frmb	put 1.3.3-pre20 together
02/01/2004	frmb	fixed minor nested-mobile FORK bug
01/01/2004	frmb	fixed some minor pre-processing and type-check bugs
30/12/2003	frmb	added support for forward declarations of channel-types
29/12/2003	frmb	various nested-mobile fixes
28/12/2003	frmb	fixed some channel-type abbreviation problems
27/12/2003	frmb	fixed small bug in dynamic mobile array CLONE
19/12/2003	frmb	put 1.3.3-pre19 together
19/12/2003	frmb	merged in more MIPS code from Christian
19/12/2003	frmb	fixed minor problem with PROC renaming and FORK
18/12/2003	frmb	fixed RESCHEDULE() bug, enhanced ALT enabling and
			ALT pre-enabling now enabled by default.  (all cgtests pass)
18/12/2003	frmb	updated occ21-extensions.html file
17/12/2003	frmb	fixed some nested MOBILE problems, various compiler tidyings
17/12/2003	frmb	added ELF load support to the run-time debugger
16/12/2003	frmb	added load checking to the run-time memory debugger
14/12/2003	frmb	put 1.3.3-pre18 together
14/12/2003	frmb	found and fixed FORK bug
14/12/2003	frmb	added a minimal run-time memory debugging capability
13/12/2003	frmb	updated the dynamic memory allocator
07/12/2003	frmb	put 1.3.3-pre17 together
25/10/2003	frmb	merged in MIPS port so far (experimental)
25/10/2003	frmb	fixed a small bug in the socket library (fullread, etc.)
19/10/2003	frmb	some MOBILE bug fixes
19/10/2003	frmb	tty state now fixed when kroc_clock not found
15/08/2003	frmb	fixed some parsing bugs
09/08/2003	frmb	some more support for nested MOBILEs
05/08/2003	frmb	fixed a small bug with reversing replicators
04/08/2003	frmb	fixed various PORT related bugs
22/07/2003	frmb	put 1.3.3-pre16 together
21/07/2003	frmb	minor other bug-fixes
21/07/2003	frmb	fixed various MOBILE related bugs
20/07/2003	frmb	more ENCODE/DECODE support
15/07/2003	frmb	temporarily disabled enhanced ALT-enabling (pending bugfix)
13/07/2003	frmb	fixed nested replicated ALT pre-enabling bug
13/07/2003	frmb	more things in the socket library (and updated docs)
12/07/2003	frmb	more bits for the C interface.  basic CIF commstime ~217ns (p3-800)
07/06/2003	frmb	fixed PROTOCOL.HASH() deficiencies
15/04/2003	frmb	sorted STOP error mode out.  -S switch to KRoC to enable.
04/04/2003	frmb	optimised RESCHEDULE handling
23/03/2003	frmb	some minor INITIAL bug-fixes (found by clj)
22/03/2003	frmb	various ENCODE/DECODE fixes
21/03/2003	frmb	minor kroc script bug fixed
20/03/2003	frmb	put 1.3.3-pre15 together
20/03/2003	frmb	tidied up pre-processor some more (added comparisons to #IF/#ELIF)
20/03/2003	frmb	added DEFINED operator support for dynamic MOBILE types
19/03/2003	frmb	better MOBILE []CHAN.TYPE! support
18/03/2003	frmb	optimised SHARED handling somewhat (for mobile chan-types)
17/03/2003	frmb	fixed use of recursive parameters in the undefinedness checker
16/03/2003	frmb	added more run-time checks for mobile chan-types
11/03/2003	frmb	tidied up the pre-processor
10/03/2003	frmb	more ENCODE.CHANNEL/DECODE.CHANNEL fiddling
09/03/2003	frmb	some minor (gcc 2.95 breaking) fixes (gen10.c blowout)
08/03/2003	frmb	put 1.3.3-pre14 together
08/03/2003	frmb	various bugs fixed, more chan-type array support (incomplete)
07/03/2003	frmb	fixed n-replicated PAR bug
06/03/2003	frmb	tidied up kroc script a bit, pre-enabling + extended rendevous now default
06/03/2003	frmb	fixed bug causing loss of temporaries in occ21
06/03/2003	frmb	preliminary support for dynamic arrays of channel-types added
06/03/2003	frmb	fixed one or two tranx86 bugs
04/03/2003	frmb	added various compiler pre-defines to the pre-processor
03/03/2003	frmb	added support for priority run-queue manipulation (SAVEH, STHF, STHF)
02/03/2003	frmb	added file.num.args and file.nth.args to the (bsyscall) filelib
01/03/2003	frmb	fixed one or two bugs in tranx86
28/02/2003	frmb	fixed CIF to work with gcc-3.2 (and 3.0)
22/02/2003	frmb	fixed a minor replicated ALT bug
19/02/2003	frmb	fixed minor anonymous CHAN TYPE bug
17/02/2003	frmb	added ALT pre-enabling sequence, fixed some new ALTy bugs
13/02/2003	frmb	added empty array support: []
10/02/2003	frmb	unused variable loopend optimisation
01/02/2003	frmb	fixed small MOBILE output bug for CLONE'd outputs
28/01/2003	frmb	added check (error) for RETYPES/RESHAPES to MOBILE
28/01/2003	frmb	some more minor INITIAL fixes, mobile-size-field bug fix
28/01/2003	frmb	finished off, mostly, ENCODE.CHANNEL and DECODE.CHANNEL
27/01/2003	frmb	added support for SHARED! and SHARED? anon chan-types
27/01/2003	frmb	some channel-direction specifier / mobile channel-type fixes
20/01/2003	frmb	added auto-mobilisation for non-mobile/mobile outputs
20/01/2003	frmb	fixed a MOBILE type-checker bug (didn't check comms correctly)
20/01/2003	frmb	fixed longstanding problem with (a,b) = 2 type expressions
20/01/2003	frmb	added support for non-local and free FORKs
19/01/2003	frmb	some more FORK and undefinedness checker fixes
18/01/2003	frmb	fixed bug with FORKed/recursive access to free vars
17/01/2003	frmb	put 1.3.3-pre13 together
17/01/2003	frmb	fixed some compiler bugs, found some others
16/01/2003	frmb	fixed minor bug in INITIAL declarations
14/01/2003	frmb	merged in another filelib patch (for lstat)
04/01/2003	frmb	merged in Christian's filelib patches (directory handling, etc.)
10/12/2002	frmb	put 1.3.3-pre12 together
07/12/2002	frmb	fixed some more missing channel direction-specifier checks
29/11/2002	frmb	put 1.3.3-pre11 together
29/11/2002	frmb	ENCODE.CHANNEL and DECODE.CHANNEL partially working, along with some others
23/11/2002	frmb	some compiler changes and fixes
22/11/2002	frmb	fixed minor bug in course library (out.hex)
20/11/2002	frmb	put 1.3.3-pre10 together
19/11/2002	frmb	merged in the C interface (CIF) stuff
16/11/2002	frmb	fixed bug when PROC renaming happens on external C., B., BX., or KR. calls
07/11/2002	frmb	fixed range-error causing bug in keyboard handler (when suspending/resuming)
28/10/2002	frmb	minor undefinedness-checker fix
27/10/2002	frmb	put 1.3.3-pre9 together
27/10/2002	frmb	fixed FORK bug with separately compiled PROCs
24/10/2002	frmb	more things for the pre-processor, fixed freebsd preconfigure problem
24/10/2002	frmb	put 1.3.3-pre8 together
24/10/2002	frmb	added pretty basic pre-processing capability
23/10/2002	frmb	some dynamic MOBILE channel undefined checking fixes (incomplete)
22/10/2002	frmb	fixed some MOBILE and RESULT checking bugs, found by Adam Sampson
19/10/2002	frmb	corrected ALT rescheduling for enhanced ALT enabling
18/10/2002	frmb	added GUY/ASM checking to the undefined checker
17/10/2002	frmb	fixed I64TOREAL translation and various compiler bugs
14/10/2002	frmb	added -es output to tranx86 (assembler and object)
13/10/2002	frmb	put 1.3.3-pre7 together
13/10/2002	frmb	various bug-fixes in tranx86 -- all CG-tests working again now
12/10/2002	frmb	tidying up in some parts of the usage-checker
12/10/2002	frmb	added enhanced ALT enabling sequence (ENBC3, ENBT3, ENBS3 instructions)
07/10/2002	frmb	put 1.3.3-pre6 together
07/10/2002	frmb	various fixes/updates to undefinedness checker and external descs
06/10/2002	frmb	fixed FORK related mobilespace bug
02/10/2002	frmb	put 1.3.3-pre5 together
01/10/2002	frmb	fixed some channel-type bugs in occ21
30/09/2002	frmb	put 1.3.3-pre4 together
29/09/2002	frmb	fixed various FORK-related bugs and some minor dynamic mobile bugs
23/09/2002	frmb	fixed bug with multi-dim dynamic mobile input/output (ccsp)
04/09/2002	frmb	put 1.3.3-pre3 together
03/09/2002	frmb	bug fixed in dynamic MOBILE array declarations.  RECURSIVE channel-types.
03/09/2002	frmb	lexer update, various fixes to parsing channel-types
01/09/2002	frmb	fixed FORK bug causing mysterious crashes
31/08/2002	frmb	fixed various chan-type bugs (PROTOCOL components, output CLONEs)
29/08/2002	frmb	put 1.3.3-pre2 together
29/08/2002	frmb	fixed bug preventing sensible anonymous channel-type use, minor others
29/08/2002	frmb	put 1.3.3-pre1 together (slowly stabilising)
28/08/2002	frmb	other minor fixes, multi-decl anon chan-types
27/08/2002	frmb	large VAL parameters for FORKed PROCs
26/08/2002	frmb	anonymous (shared) channel types sorted out
21/08/2002	frmb	bug fixes for CHAN TYPEs (RETYPE problems)
05/08/2002	frmb	highly experimental 1.3.3-pre0 released (local only)
30/07/2002	frmb	added unary plus operator
15/07/2002	frmb	more bug fixes, version number updated to 1.3.3-pre0 (no release yet)
06/07/2002	frmb	fixed bug in channel RETYPE direction specifying
05/07/2002	frmb	finished implementing -xtag flag in compiler to do extended input on
			CASE/tagged inputs where empty tags aren't handled
04/07/2002	frmb	added pragas.txt to doc/ sub-directory and Adam Sampson's dining-phils
			solution to the course/answers.  Various bug-fixes and updates
30/06/2002	frmb	CHAN TYPEs mostly all there now, FORKING and FORK well on the way
22/05/2002	frmb	some fixes to multi-dimensional dynamic MOBILEs
20/05/2002	frmb	updated autoconf/automake files (was breaking on some RH 7.1)
13/05/2002	frmb	basic channel types (experimental)
21/04/2002	frmb	some minor bug fixes and put 1.3.2-3 together
20/04/2002	frmb	inline ENBC fix in tranx86, MOBILE parameter fix in occ21 object writer
19/04/2002	frmb	added interrupt support to CCSP (OOS builds only)
18/04/2002	frmb	more dynamic MOBILE fixes, removed various bits of cruft
14/04/2002	frmb	fixed compiler-bug for non-cpu-timer platforms.  Spotted by Peter Silvester.
08/04/2002	frmb	changed default handling for external channels (UDC) to disabled, enabled
			with the "-e" flag to KRoC.
07/04/2002	frmb	various updates/fixes to code and documentation
07/04/2002	frmb	change to semaphore handling in blocking sys-calls
06/04/2002	frmb	added support for mobile-size-fields and implemented MOBILE UDC handling
03/04/2002	frmb	initial support for multi-dimensional dynamic MOBILE arrays
31/03/2002	frmb	changed allocation syntax for dynamic MOBILEs (now requires MOBILE keyword)
28/03/2002	frmb	refactored some more stuff, updated tranx86/occ21 a bit
25/03/2002	frmb	support for alternate-endian constant generation in occ21 (-be flag)
20/03/2002	frmb	put 1.3.2-2 together
20/03/2002	frmb	turned off vectorspace in a bit of hostsp (time.occ), updated hostio.txt
			in the doc/ directory.  Thanks to Kazuto Matsui for pointing this bug out.
19/03/2002	frmb	improved crash-handling of dynamic processes
09/03/2002	frmb	put 1.3.2-1 together
08/03/2002	frmb	fixed dynamic process fault handling (doesn't kill whole thing anymore)
08/03/2002	frmb	fixed bug with scoping for array-constructors, screen flush fixes
07/03/2002	frmb	top-level proc interface check fixes + command-line force option
06/03/2002	frmb	various documentation updates
04/03/2002	frmb	put 1.3.2 together
02/03/2002	frmb	various BSD fixes, priority tidying, added manpage installation
01/03/2002	frmb	put 1.3.2-pre9 together
28/02/2002	frmb	fixed single-PROC recursion and added mobile-space support
26/02/2002	frmb	added kroc manual page to doc/ directory
26/02/2002	frmb	updated strict usage checking, fixed top-level-process interface checking,
			fixed channel direction specifier bugs (mostly in array slice handling)
25/02/2002	frmb	fixed various MOBILE bugs in occ21 (dynamic array handling, dynamic
			channel array handling, N-replicated PAR mobilespace initialisation)
23/02/2002	frmb	fixed various bugs in tranx86 (rescheduling, resched-on-jump)
21/02/2002	frmb	fixed bug in replicated-PAR undefined checking (broken merge, thanks
			to Brian d'Auriol for pointing it out)
20/02/2002	frmb	added very primitive IOSPACE support (for i386 port access from occam)
14/02/2002	frmb	added better reschedule-on-loopend handling (-P, --pause flags to kroc)
09/02/2002	frmb	fixes/updates to bits and bobs, some dynamic process work
04/02/2002	frmb	added priority handling to CCSP.  Fixed various bugs here and there
03/02/2002	frmb	PLACED array types at run-time computed addresses
28/01/2002	frmb	priority/info slot added to process workspace
27/01/2002	frmb	added OOS build support to ccsp
23/01/2002	frmb	fixed usage-checker errors with dynamic replicated PARs, now warns
23/01/2002	frmb	experimental support for linux cspdriver added
22/01/2002	frmb	refactored the ccsp layout and moved to version 1.6
21/01/2002	frmb	fixed problem causing redhat users grief.  Thanks to Matthew Slowe for
			providing an account on a machine with the problem.  GCC optimisation
			problem causing stack underflow.
16/01/2002	frmb	fixed screen-flush on exit
14/01/2002	frmb	put 1.3.2-pre2 together
14/01/2002	frmb	udc sub-directory built into distribution proper, with working examples
13/01/2002	frmb	updated occ21-extensions.html with reversed ALT stuff
11/01/2002	frmb	put ALT support into user-defined channels
10/01/2002	frmb	fixed up reversed ALT, some minor, but serious, bugs
07/01/2002	frmb	more work on user-defined channels, built into source tree
06/01/2002	frmb	put 1.3.2-pre1 together, testing update mechanism
06/01/2002	frmb	minor fix to XMIN64, reversed ALT disable now enabled per default
06/01/2002	frmb	added -nd (no dynamic memory) flag to kroc
05/01/2002	frmb	fixed problems which were breaking cgtest19
04/01/2002	frmb	put 1.3.2-pre0 together, still needs some work
03/01/2002	frmb	added update support to build script
02/01/2002	frmb	added basic user-defined channels
22/12/2001	frmb	NDISC, NDIST and NDISS instructions added
20/12/2001	frmb	minor fix for SKIP-in-ALT checking, nested tagged protocols
19/12/2001	frmb	fixed (silly) bug with RESULT parameters
18/12/2001	frmb	added extended rendezvous to the compiler
10/12/2001	frmb	added UNDEFINED pragma, tidied up some stuff
08/12/2001	frmb	added Richard Braun's dining philosophers
30/11/2001	frmb	basic RECURSIVE PROCs/FUNCTIONs working
30/11/2001	frmb	channel direction specifiers in actual channel parameters
29/11/2001	frmb	renamed some conversion routines in course.lib (conflict with convert.lib)
28/11/2001	frmb	empty SEQ, PAR, IF and ALT warnings
22/11/2001	frmb	dynamic MOBILE []CHAN arrays implemented
19/11/2001	frmb	checking for SKIP as last guard in PRI ALT, emits warning (error with -s)
17/11/2001	frmb	SKIP guards in ALTs without "TRUE &", emits warning (error with -s)
15/11/2001	frmb	better dynamic MOBILE handling
09/11/2001	frmb	added --strict compiler option (-s to kroc script)
08/11/2001	frmb	added basic RESULT parameters (and relevant stuff in undefined parameters)
08/11/2001	frmb	added check for correct top-level PROC in tranx86
07/11/2001	frmb	added channel direction specifies to TCOFF output
06/11/2001	frmb	fixed bug in tranx86 (bad assumption in optimiser)
31/10/2001	frmb	put 1.3.1 together
31/10/2001	frmb	channel direction specifiers in channel abbreviations
29/10/2001	frmb	fixed some problems with the hostio library and build script
23/10/2001	frmb	added channel direction specifiers and optional OFs
09/10/2001	frmb	delayed timer input undefined check fix
08/10/2001	frmb	fixed array constructor problems
07/10/2001	frmb	check for sys/sendfile.h in bsclib
05/10/2001	frmb	sorted out basic array constructors
01/10/2001	frmb	put 1.3.0 together
30/09/2001	frmb	fixed some replicated PAR mobilespace allocation bugs
25/09/2001	frmb	added dynamic (count) replicated parallel processes
19/09/2001	frmb	put 1.3.0-pre9 together (close to a non-pre release now)
08/09/2001	frmb	added -X5 flag to enable MOBILEs, and -mobiles occ21 flag
07/09/2001	frmb	more undefinedness cures to occ21, added DEFINED pragma
02/09/2001	frmb	cured some oddities in the socket library, updated bsclib.ps
21/08/2001	frmb	more Fptr/Bptr fixes and some experimental inlining (-E1 -E2 to tranx86)
13/08/2001	frmb	clobbered 1.3.0-pre8 together
12/08/2001	frmb	turned Fptr/Bptr into registers and changed various associated stuffs
11/08/2001	frmb	clobbered 1.3.0-pre7 together
10/08/2001	frmb	sorted dynamic _static_ mobilespace allocation
08/08/2001	frmb	various tidyings up in places
03/08/2001	frmb	clobbered 1.3.0-pre6 together
03/08/2001	frmb	fixed problem with mobilespace mapping during replicated PARs
01/08/2001	frmb	fixed various undiscovered bugs
27/05/2001	frmb	clobbered 1.3.0-pre5 together
26/05/2001	frmb	MOBILEs working in the basic sense (include dynamic MOBILEs)
05/05/2001	frmb	fixed register allocation bug in tranx86
03/04/2001	frmb	fixed some undiscovered STEP usage-checking bugs
31/03/2001	frmb	MOBILEs coming along nicely (still lots to do..)
10/03/2001	frmb	put 1.3.0-pre4 together
06/03/2001	frmb	fixed bug in screen output code
06/03/2001	frmb	added warnings about missing escapes on ' and "
05/03/2001	frmb	fixed NORMALISE()
05/03/2001	frmb	put 1.3.0-pre3 together
04/03/2001	frmb	number of bug-fixed: FMUL instruction now works, workspace
			initialised to MINT, some translation bugs fixed, floating-
			point debugging now works properly.
02/03/2001	frmb	change to crew_test.occ
01/03/2001	frmb	changes to course library (*.number -> *.int)
11/02/2001	frmb	put 1.3.0-pre2 together
10/02/2001	frmb	fixed various bugs (dangling references, input reading,
			systems where -ldl doesn't exist, tranx86 niggles)
04/02/2001	frmb	put 1.3.0-pre1 together
03/02/2001	frmb	fixed CPU speed calculation for non /proc/cpuinfo setups
02/02/2001	frmb	singular dynamic procs now suspend/resume/save/restore OK
01/02/2001	frmb	removed FUNCTIONs from dynamic procs
30/01/2001	frmb	fixed comments in macros in occ21 (const1.c)
26/01/2001	frmb	released 1.3.0-pre0
20/01/2001	frmb	adjusted Makefiles to generate .so libraries rather than .a
18/01/2001	frmb	fixed memory leaks (from stack) and dynamic processes
10/12/2000	frmb	started putting KRoC/Linux 1.2.0-pre0 together
17/12/2000	frmb	more bug-fixes (dynamic proc problems, plus B/BX/KR inlining
			bug in tranx86)
17/12/2000	frmb	added HTTP lib (basic)
16/12/2000	frmb	got dynamic procs working :) -- libraries on the way to .so
13/12/2000	frmb	various optimisations (few more ns off commstime)
12/12/2000	frmb	fixed various bugs: deadlock detection problem; dubious
			gcc optimisation in sched.c; stub-import inlining problem.
10/12/2000	frmb	changed screen and error channel handling, along with
			a new keyboard process when blocking-syscalls is enabled
15/11/2000	frmb	sorted out optimisation in tranx86 (passes cgtests)
12/11/2000	frmb	inlined DISC, ALTWT, STLF and STLB instructions
05/11/2000	frmb	inlined ENBC instruction in tranx86
04/11/2000	frmb	added MNEW, MFREE, MALLOC and MRELEASE instructions
			for dynamic memory management from occam
16/10/2000	frmb	added STEP to replicators in occ21 (and 2 new
			loop-end instructions)
28/08/2000	frmb	tranx86 passes cgtest suite :)
10/08/2000	frmb	inlined LDTIMER in tranx86 (needs CPU timers)
28/07/2000	frmb	sorted post-mortem debugging in tranx86
21/07/2000	frmb	fixed various things in tranx86
19/06/2000	frmb	CPU timer support for pentium machines done
19/06/2000	frmb	fixed bugs (static_tranpc + #define problem in sched.c)
			bug-find credit to Nayef Baker
14/06/2000	frmb	dynamic processes interface changed
10/06/2000	frmb	release 1.2.3 put together
09/06/2000	frmb	updated various documentation, put together bsclib
06/06/2000	frmb	split run-time kernel() into little bits
05/06/2000	frmb	fixed nasty bug in blocking-system-calls (possibility
			for a "kill -9 -1" type thing)
25/05/2000	frmb	started work on the CPU timer handling