Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-11-16 11:32:52 -0800 (Fri, 16 Nov 2007)
Revision: 12601
Log message:

      Regenerated the documentation using the latest HeVeA version (version 1.10).
     Unfortunately, this version (as always) produces files that differ (in various
     minor ways) from the ones produced by the previous versions. This means that
     we should try to all use the same version of HeVeA to avoid committing changes
     that go back and forth.