Re: revision library pruning

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?
>