Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-19 02:37:23 -0700 (Thu, 19 May 2005)
Revision: 7297
Log message:

      Print "empty" variables as "_".
      

Changes	Path
+7 -6	metaprl/refiner/reflib/dform.ml
+9 -4	metaprl/refiner/reflib/simple_print.ml
+4 -0	metaprl/refiner/reflib/simple_print.mli
+8 -7	metaprl/support/display/base_dform.ml
+4 -4	mpcompiler/mmc/test/mmc_tests_out.previous