Fergus Henderson, you write: > Hi, > > Tom, can you please review this one? > > doc/reference_manual.texi: > A few corrections to the "committed choice nondeterminism" section. > Those changes look fine. -- Thomas Conway <conway at cs.mu.oz.au> Nail here [] for new monitor. )O+