Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-12 20:47:53 -0700 (Mon, 12 May 2003)
Revision: 4589
Log message:

      Stated migrating the toploop commands in Shell module from an ad-hoc mechanism
      to the "topval" one.
      

Changes	Path
+1 -1	metaprl/editor/ml/shell_mp.ml
+1 -1	metaprl/editor/ml/shell_mp.mli
+2 -2	metaprl/editor/ml/x.ml
+41 -40	metaprl/filter/filter/filter_prog.ml
+13 -10	metaprl/support/shell/shell.ml
+5 -0	metaprl/support/shell/shell.mli
+2 -2	metaprl/support/tactics/auto_tactic.ml
+1 -1	metaprl/support/tactics/auto_tactic.mli
+1 -1	metaprl/support/tactics/top_conversionals.ml
+1 -1	metaprl/support/tactics/top_conversionals.mli
+1 -1	metaprl/support/tactics/top_tacticals.ml
+1 -1	metaprl/support/tactics/top_tacticals.mli
+1 -1	metaprl/theories/base/base_meta.ml
+1 -1	metaprl/theories/base/base_meta.mli
+1 -1	metaprl/theories/base/base_theory.mlz
+1 -1	metaprl/theories/phobos/phobos_base.ml
+1 -1	metaprl/theories/phobos/phobos_base.mli