K 10 svn:author V 5 chern K 8 svn:date V 27 2001-08-31T00:47:35.000000Z K 7 svn:log V 116 Accident, forgot to describe previous commit: * Convert itemizedlist of options into variablelist and describe it. END