@set UPDATED 10 November 2007
@set UPDATED-MONTH November 2007
@set EDITION 0.13.0
@set VERSION 0.13.0
