full-text seach engine for the exfamily.org Pubs archive
I noticed that while exfamily.org has recently added a large number of COG/TF publications to their archive, apparently they have not yet been indexed in their site search engine.
As a temporary solution, I have indexed their archive using htdig
The search engine is available at Edit:
(URL removed because it doesn't work anymore)