Stavros Macrakis <macrakis at alum.mit.edu> wrote:
Steve, I must not have expressed myself clearly. My point was that
there is no reason to *distribute* tags files with Maxima
distributions (because they're very easy to build), not that there is
no reason to have one or more tags files -- I use them all the time
myself.
OK, good. I read your earlier message to imply that selecting the right
group of files was a significant problem, but we apparently agree it is
not: There is benefit in supporting multiple TAGS files with contents
selected for specific purposes. Saves numerous false hits.