Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-02-19 19:43:23 -0800 (Wed, 19 Feb 2003)
Revision: 4095
Log message:

      Please remember this:
      
      *** All ML files in an application have to have different names ***
      
      Please, do not add files to MetaPRL named set.ml for instance.  It is
      not possible to compile MetaPRL if you do so.
      

Changes  Path
+2 -2 metaprl/filter/phobos/Files
Deleted metaprl/filter/phobos/map.ml
Deleted metaprl/filter/phobos/map.mli
Added metaprl/filter/phobos/mc_map.ml
Properties metaprl/filter/phobos/mc_map.ml
Added metaprl/filter/phobos/mc_map.mli
Properties metaprl/filter/phobos/mc_map.mli
Added metaprl/filter/phobos/mc_set.ml
Properties metaprl/filter/phobos/mc_set.ml
Added metaprl/filter/phobos/mc_set.mli
Properties metaprl/filter/phobos/mc_set.mli
+0 -0 metaprl/filter/phobos/phobos_lexer.ml
+16 -16 metaprl/filter/phobos/phobos_type.ml
+16 -16 metaprl/filter/phobos/phobos_type.mli
Deleted metaprl/filter/phobos/set.ml
Deleted metaprl/filter/phobos/set.mli
+12 -12 metaprl/filter/phobos/smap.ml