Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-08-24 20:08:59 -0700 (Tue, 24 Aug 2004)
Revision: 6133
Log message:

      - Added a simple framework for annotating refiner error messages with
        better explanaitions. For now, only RewriteFreeSOVar is annotated.
      - Very minor code simplification in lm_rformat
      

Changes	Path
+20 -1	metaprl/refiner/reflib/refine_exn.ml