Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-02-25 20:02:49 -0800 (Tue, 25 Feb 2003)
Revision: 4130
Log message:

      Modified CPS conversion slightly to enclose the entire program
      in a function.
      

Changes	Path
Deleted	metaprl/filter/phobos/phobos_parser.mli
+14 -1	metaprl/theories/experimental/compile/m_cps.ml
+1 -1	metaprl/theories/experimental/compile/m_prog.ml
+11 -11	metaprl/theories/experimental/compile/m_test.ml
+16 -7	metaprl/theories/tactic/base_dform.ml