Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-07 17:07:11 -0700 (Mon, 07 Jul 2003)
Revision: 101
Log message:

      Changed the string representation of variables.  The Lm_symbol.add
      function will now try to parse a numeric suffix correctly.
      The bindings in Filter_util now use strings instead of variables.
      

Changes  Path
+4 -4 libmojave-branches/abstract_vars/Makefile
+1 -1 libmojave-branches/abstract_vars/stdlib/Makefile
+1 -1 libmojave-branches/abstract_vars/util/Makefile
+27 -24 libmojave-branches/abstract_vars/util/lm_symbol.ml
+1 -7 libmojave-branches/abstract_vars/util/lm_symbol.mli