Hi --

Sorry for sending everyone this small thing, but you might want to save time
for newbies by saying in section 9 to run the `default' command from the OS
X / unix command line.

Thanks,

Joanna

-- 
Joanna Bryson
http://www.cs.bath.ac.uk/~jjb/

	[[alternative HTML version deleted]]

