Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-23 20:26:21 -0700 (Fri, 23 Apr 2004)
Revision: 5710
Log message:

      Remove some references to Lm_format.
      

Changes  Path
+1 -0 metaprl/refiner/reflib/dform.ml
+1 -1 metaprl/refiner/reflib/refine_exn.ml
+1 -0 metaprl/refiner/reflib/simple_print.ml
+1 -1 metaprl/support/shell/shell.ml
+1 -0 metaprl/support/shell/shell_state.ml
+1 -0 metaprl/tactics/proof/proof_boot.ml