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.