Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-19 20:46:20 -0700 (Tue, 19 Aug 2003)
Revision: 141
Log message:

      - Unification should now give something slightly resembling meaningful error messages.
      - Minor clean-ups of recently committed code.
      

Changes	Path
+2 -0	libmojave/util/lm_symbol.ml
+12 -11	libmojave/util/lm_symbol.mli