Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-08-24 20:08:59 -0700 (Tue, 24 Aug 2004)
Revision: 491
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
+1 -3	libmojave/stdlib/lm_rformat.ml