Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-24 09:43:52 -0700 (Sat, 24 Apr 2004)
Revision: 5713
Log message:

      This should remove the final vestige of Lm_format in the omake
      part of libmojave.
      

Changes  Path
+77 -127 metaprl/mllib/debug_tables.ml
+38 -38 metaprl/refiner/reflib/supinf.ml
+50 -49 metaprl/refiner/reflib/supinf.mli
+1 -1 metaprl/refiner/reflib/term_eq_table.ml
+1 -0 metaprl/theories/experimental/compile/m_ra_live.ml
+1 -0 metaprl/theories/experimental/compile/m_ra_main.ml
+1 -0 metaprl/theories/experimental/compile/m_x86_backend.ml
+1 -0 metaprl/theories/experimental/compile/m_x86_coalesce.ml
+639 -630 metaprl/theories/itt/itt_supinf.ml
+1 -1 metaprl/theories/tptp/tptp_prove.ml