K 10
svn:author
V 6
glewis
K 8
svn:date
V 27
2004-06-25T13:54:29.000000Z
K 7
svn:log
V 120
. Add an OPTION to compile with high optimisation.

PR:		66965
Submitted by:	Ronald Klop <ronald@cs.vu.nl> (maintainer)

END