Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-17 17:17:59 -0700 (Thu, 17 Jun 2004)
Revision: 5920
Log message:
1) This makes a major change in how the relative addresses are handled
in proof editing. Now the Proof.proof type is just a Proof.extract and
proofs no longer keep the subaddress (relative address) internaly.
Instead, the relative address is kept by the shell and is passed functionally
to all the edit_* functions that need it.
The only module that keeps its own copy of the relative address is Shell_fs
(should be easy to fix, but I wanted to leave this up to Jason).
Undo/Redo functions now explicitly return the new (or old, depending on
how you look at it) relative address.
2) Minor proof updates in itt_list2