Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-06 10:34:43 -0700 (Wed, 06 Apr 2005)
Revision: 7158
Log message:

      Changed the names
         arithmetic -> arith
         integer -> int
         boolean -> bool
      
      Normally, I like the longer descriptive names.  However, in this case
      the shorter names are actually more widely known and used, and it
      is more consistent to use them.
      

Changes  Path
+1 -1 mpcompiler/mmc/extensions/array/mmc_ext_array.ml
+3 -3 mpcompiler/mmc/extensions/bool/Files
+1 -1 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+1 -1 mpcompiler/mmc/extensions/bool/mmc_ext_bool.mli
Deleted mpcompiler/mmc/extensions/bool/mmc_ext_boolean_x86.ml
Deleted mpcompiler/mmc/extensions/bool/mmc_ext_boolean_x86.mli
+1 -1 mpcompiler/mmc/extensions/bool/mmc_opt_bool.ml
+1 -1 mpcompiler/mmc/extensions/bool/mmc_x86_bool.ml
+3 -3 mpcompiler/mmc/extensions/int/Files
+10 -9 mpcompiler/mmc/extensions/int/mmc_ext_int.ml
+4 -2 mpcompiler/mmc/extensions/int/mmc_ext_int.mli
+1 -1 mpcompiler/mmc/extensions/int/mmc_opt_int.ml
+1 -1 mpcompiler/mmc/extensions/int/mmc_x86_int.ml
+1 -1 mpcompiler/mmc/extensions/loop/mmc_ext_loop.ml
+1 -1 mpcompiler/mmc/extensions/operator/Files
+1 -1 mpcompiler/mmc/extensions/operator/mmc_ext_operator.mli
+1 -1 mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.ml
+1 -2 mpcompiler/mmc/mk/make_config
+1 -2 mpcompiler/poplmark/pmc/mk/make_config