Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-09 01:08:27 -0700 (Wed, 09 Jul 2003)
Revision: 108
Log message:

      - Got rid of the LIBMOJAVE parameted in mk/config (just always use $(ROOT)/libmojave)
      - Converted the theories/experimental/compile to be compatible with the current
      incarnation of libmojave
      

Changes	Path
+2 -0	libmojave/util/lm_symbol_matrix.mli