diff options
Diffstat (limited to 'htdocs/docs/users.html')
| -rwxr-xr-x | htdocs/docs/users.html | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/htdocs/docs/users.html b/htdocs/docs/users.html index bf4815c..f90bd70 100755 --- a/htdocs/docs/users.html +++ b/htdocs/docs/users.html @@ -1,5 +1,5 @@ -<!--#set var="revision" value="\$Id: users.html,v 1.13 2002-11-19 14:45:05 link Exp $" ---><!--#set var="date" value="\$Date: 2002-11-19 14:45:05 $" +<!--#set var="revision" value="\$Id: users.html,v 1.14 2002-11-25 01:12:44 ot Exp $" +--><!--#set var="date" value="\$Date: 2002-11-25 01:12:44 $" --><!--#set var="title" value="User Documentation for The W3C MarkUp Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> @@ -282,7 +282,11 @@ This site uses "comma tools", as does <a href="http://www.w3.org/,tools">W3C</a> and other sites. This means you can append a string (starting with a comma, hence the name) to the URI (address) of any page on the site and trigger - a few administrative or technical tools for this page. + a few administrative or technical tools for this page. </p> + + <p> + <strong>These tools are still under test, and reportedly do not work yet when + appended to a validation result page.</strong> </p> <table class="comma"> |