@set UPDATED 29 April 2002
@set UPDATED-MONTH April 2002
@set EDITION 0.25.0
@set VERSION 0.25.0
