@set UPDATED 7 December 2003
@set UPDATED-MONTH December 2003
@set EDITION 0.13.1
@set VERSION 0.13.1
