I've implemented revlib-tree in xtla-core.el. You use it like archive-tree.
Advantages: 1. "L ", the indicator standing for "in-library" is disable by default because it took longer time to be shown. Now it takes shorter time, I hope. 2. tla-browse will be able to show your library in tree style. The implementation is ugly. But I cannot find another way to do it.
