Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-07-27 15:32:59 -0700 (Thu, 27 Jul 2000)
Revision: 3037
Log message:

      Threat other "serious" exceptions from Pervasives in the same way as Invalid_argument.
      

Changes	Path
+6 -5	metaprl/doc/htmlman/developer-guide/exceptions.html