I have modified them to use the tree-version of the current
tree by default unless called with an prefix arg.  I always
use the tree-version for "tla missing" except when working
merging from others, but then I use bookmarks ...

Robert

Reply via email to