<br><div><span class="gmail_quote">On 10/16/06, <b class="gmail_sendername">Adam Chlipala</b> <<a href="mailto:adamc@hcoop.net">adamc@hcoop.net</a>> wrote:</span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I define "the web" to refer to HTTP and its variants, not the whole<br>Internet.</blockquote><div><br>Wikipedia agrees with you: "The term is often mistakenly used as a synonym for the internet itself, but the Web is actually something that is available
<i>via</i> the Internet, just like e-mail and many other Internet services."<br><br>Then again, "web" being a synonym for "net" it is not hard to see that a lot of people are confused. Is there any practical benifits of such confusing definitions? :)
<br></div></div><br>