Yes, that would be a great idea in increasing tla's usability.  I will look into this; a contrib directory would be a place to include tla-tools.

Andy

On 1/23/06, Alfred M. Szmidt <[EMAIL PROTECTED]> wrote:
   However, incorporating some kind of *configurable* pruning logic
   within tla might be beneficial to some users, at least from a
   marketing viewpoint: no need to look for third-party scripts to do
   the job.

How about distributing tla-prune-revlib with tla?  And maybe the rest
of tla-tools?

_______________________________________________
Gnu-arch-users mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/gnu-arch-users

GNU arch home page:
http://savannah.gnu.org/projects/gnu-arch/

Reply via email to