Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-14 00:47:12 -0700 (Fri, 14 Oct 2005)
Revision: 7910
Log message:
- My previous commit had an off-by-one error, fixing.
- A little more debugging in "-debug-shell".
- Regenerated some documentation.