Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-13 12:42:21 -0800 (Sat, 13 Mar 2004)
Revision: 5455
Log message:

      Partial support for fully qualified resource names.
      

Changes	Path
+14 -9	metaprl/filter/filter/filter_prog.ml
+1 -1	metaprl/refiner/reflib/mp_resource.ml
+2 -2	metaprl/theories/experimental/compile/m_cps.ml