Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-01-29 09:26:31 -0800 (Mon, 29 Jan 2007)
Revision: 9987
Log message:

      Fixed a small flaw in Pervasives documentation (thanks to Erick Tryzelaar,
      erickt at dslextreme.com, for reporting it) and regenerated the documentation.