peterm
committed
on 04 Dec 02
merging the dotlrn-1-0 branch down onto HEAD (the trunk)