Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-10-07 20:02:02 -0700 (Fri, 07 Oct 2005)
Revision: 7875
Log message:

      Renaming Lm_symbol to Lm_symbol_hash as a temporary performance
      hack.
      

Changes  Path
Deleted libmojave-branches/omake_0_9_7_pre7/util/lm_symbol.ml
Deleted libmojave-branches/omake_0_9_7_pre7/util/lm_symbol.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_symbol_hash.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_symbol_hash.mli