Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-12-16 18:21:45 -0800 (Tue, 16 Dec 2003)
Revision: 5181
Log message:

      Merged shell_rule and shell_rewrite into a single module that does both.
      

Changes  Path
+0 -1 metaprl/support/shell/Makefile
+0 -1 metaprl/support/shell/OMakefile
+5 -6 metaprl/support/shell/shell.ml
+0 -1 metaprl/support/shell/shell.mli
Deleted metaprl/support/shell/shell_rewrite.ml
Deleted metaprl/support/shell/shell_rewrite.mli
+129 -50 metaprl/support/shell/shell_rule.ml
+15 -3 metaprl/support/shell/shell_rule.mli