Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2004-12-07 00:10:43 -0800 (Tue, 07 Dec 2004) Revision: 671 Log message:
Minor documentation fix.