use traversal routine in FrontEnd.Rename
use traversal routine in FrontEnd.Rename

darcs-hash:20060408013246-1a7c6-f4c7b058e2c5c698f286ce7088cc9b6e95058932

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc