@set UPDATED 7 May 2001
@set UPDATED-MONTH May 2001
@set EDITION 0.10
@set VERSION 0.10
