Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-02-23 20:35:43 -0800 (Sun, 23 Feb 2003)
Revision: 4115
Log message:

      ***Notice***
      
      I changed the MetaPRL formatter.  If you have problems with it let me
      know and I will try to fix them.
      
      The objective of this fix was to get indentation working again.
      An unrelated change was to remove specially-coded line formatting,
      since the formatter already has line zones.
      
      On the CPS end, I added the code to convert function applications
      and conditionals.
      

Changes  Path
+183 -230 metaprl/refiner/reflib/rformat.ml
+1 -1 metaprl/refiner/reflib/rformat.mli
+12 -1 metaprl/theories/experimental/compile/m_cps.ml
+40 -8 metaprl/theories/experimental/compile/m_ir.ml
+11 -0 metaprl/theories/experimental/compile/m_ir.mli
+10 -0 metaprl/theories/experimental/compile/m_test.ml