Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-05 18:25:45 -0700 (Sat, 05 Jul 2003)
Revision: 89
Log message:

      This is partial progress toward abstract vars.  This is a
      branch commit.
      
      I am giving up on this for a moment.  Unfortunately, string
      hacking on variable names is everywhere, not cleanly isolated,
      and not clearly specified.  This makes a port to abstract
      var names either 1) hard, because all this code has to be cleaned
      up, or 2) nonsense, because of the need to covert back and forth
      between strings all the time.
      
      I still think it is a good idea, but it will take a fair amount of
      effort.
      

Changes  Path
+2 -0 libmojave-branches/abstract_vars/stdlib/OMakefile
+51 -5 libmojave-branches/abstract_vars/stdlib/lm_set.ml
+3 -0 libmojave-branches/abstract_vars/stdlib/lm_set.mli
+31 -0 libmojave-branches/abstract_vars/util/lm_symbol.ml
+11 -0 libmojave-branches/abstract_vars/util/lm_symbol.mli