Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-11 13:14:30 -0800 (Tue, 11 Nov 2003)
Revision: 5088
Log message:

      MetaPRL now compiles with OCaml 3.07
      

Changes	Path
+3 -3	metaprl-branches/ocaml_3_07/filter/filter/filter_prog.ml
+42 -185	metaprl-branches/ocaml_3_07/support/shell/mptop.ml
+4 -32	metaprl-branches/ocaml_3_07/support/shell/shell_state.ml