Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-24 21:06:04 -0700 (Thu, 24 Apr 2003)
Revision: 4488
Log message:

      Minor updates (that provide a good demanstration of some bugs in MetaPRL
      text output mechanisms).
      

Changes	Path
+12 -12	metaprl/theories/experimental/compile/m_closure.ml
+6 -6	metaprl/theories/experimental/compile/m_cps.ml