Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-20 22:14:33 -0700 (Sun, 20 Jul 2003)
Revision: 4764
Log message:

      - apply_all (that expand_all, status_all, etc) use should actually chdir
      into each item before attempting to interact with it.
      - taugh JProver not to mess with free context bindings. The way I did it
      might be a little inefficient and hackish, but compared to other hacks in
      JProver, this is not too bad IMO.
      

Changes  Path
+45 -47 metaprl-branches/bound_contexts/refiner/reflib/jall.ml
+1 -0 metaprl-branches/bound_contexts/refiner/refsig/term_man_sig.ml
+8 -0 metaprl-branches/bound_contexts/refiner/term_ds/term_man_ds.ml
+8 -0 metaprl-branches/bound_contexts/refiner/term_gen/term_man_gen.ml
+20 -18 metaprl-branches/bound_contexts/support/shell/shell.ml