Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-13 12:42:33 -0800 (Mon, 13 Dec 2004)
Revision: 688
Log message:

      Minor documentation syntax fix.
      

Changes  Path
+1 -1 omake/Pervasives.src
+1 -1 omake/lib/Pervasives.om