Re: <ISINDEX> obsolete?

Tony Sanders (sanders@BSDI.COM)
Tue, 14 Jun 1994 11:33:21 -0500 writes:
> belong into HTTP, but it's simply is not a _document_ property. A file is a
> file is a file, whether or not it is inside some index is nothing the author
> should need to consider when writing the file - right? Should we have such
> an element?
You mean like

Yes, that's what it's for (just like ``Public: SPACEJUMP'' is to ISMAP).

And I'll again argue that this is the wrong header to put this information.
It should be a seperate header from Public.

Of course, no browsers currently accept this anyway (that I know of).