Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-20 23:24:58 -0700 (Mon, 20 Oct 2003)
Revision: 5015
Log message:

      Killing a number of unneeded 'open' directives.
      

Changes  Path
+0 -3 metaprl/editor/ml/tests/prop-pigeon.ml
+0 -2 metaprl/filter/phobos/phobos_header.ml
+0 -2 metaprl/filter/phobos/phobos_header.mli
+0 -1 metaprl/refiner/rewrite/rewrite_compile_redex.ml
+0 -1 metaprl/support/display/nuprl_font.ml
+0 -24 metaprl/theories/itt/itt_quotient_group.ml
+0 -19 metaprl/theories/itt/itt_quotient_group.mli
+1 -9 metaprl/theories/itt/itt_rat.ml
+1 -17 metaprl/theories/itt/itt_rat.mli
+0 -5 metaprl/theories/itt/itt_test.ml
+0 -1 metaprl/theories/itt/itt_test.mli
+19 -12 metaprl/util/clean-opens
+0 -1 metaprl/util/ocamldep.mll
+0 -3 mpcompiler/mmc/core/mmc_core_type_infer.ml
+0 -1 mpcompiler/mmc/extensions/ext_arithmetic.ml
+0 -3 mpcompiler/mmc/extensions/ext_boolean.ml