Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-01 20:39:05 -0700 (Tue, 01 Jun 2004)
Revision: 5846
Log message:

      Fixing bug 221 - made the Phobos pp functionality more consistent.
      

Changes	Path
+1 -1	metaprl/filter/phobos/phobos_main.ml
+1 -0	metaprl/filter/phobos/phobos_print.ml
+0 -14	metaprl/filter/phobos/phobos_util.ml
+49 -76	metaprl/filter/phobos/phobos_util.mli