Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-21 05:04:28 -0700 (Wed, 21 May 2003)
Revision: 4619
Log message:

      Now the MetaPRL top-loop has a real type system!
      

Changes	Path
+9 -12	metaprl/Makefile
+13 -52	metaprl/editor/ml/shell_mp.ml
+40 -64	metaprl/filter/filter/filter_prog.ml
+9 -11	metaprl/refiner/reflib/ml_term.ml
+1 -1	metaprl/refiner/reflib/mp_resource.ml
+1 -1	metaprl/support/shell/Makefile
+267 -292	metaprl/support/shell/mptop.ml
+10 -41	metaprl/support/shell/mptop.mli
+1 -1	metaprl/support/shell/shell.ml
+48 -2	metaprl/support/shell/shell_sig.mlz
+5 -22	metaprl/support/shell/shell_state.ml