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