[HCoop-Help] Domtool help please...?

[Franklin Gordon Bynum]

El vie, 20-06-2008 a las 13:47 -0400, Adam Chlipala escribió:
> I just noticed that the page you referenced begins with a bold-faced 
> warning that it is out-of-date.  I'll be really sad if I have to delete 
> the page just to keep people from getting confused after "searching."  

I'm not prepared to debate the merits of keeping documentary cruft on
the wiki.  I am prepared to offer you and the list my apologies for
this.

> (I'm a big opponent of overuse of "searching.")

This is a danger that heretofore was unknown to me, but I see the
problem.