K 10
svn:author
V 5
simon
K 8
svn:date
V 27
2004-07-12T20:24:41.000000Z
K 7
svn:log
V 89
Retire the WITH_GLOSSARY option and enable the Glossary by default.

No objections:	-doc

END