Re: submission to you-know-what

From: Dan Connolly (
Date: 09/12/01

"Peter F. Patel-Schneider" wrote:
> The problem is that the html must pass the W3C filters.

It seems like the filter you're talking about is the W3C HTML
validation service

yes, we require that our tech reports are conforming HTML documents;
the validator can help check HTML conformance.

We have another tool, HTML tidy, that can help clean up
non-conforming HTML documents.

I put a little CGI wrapper around it so you can run
it as a web service without installing it...

>  When I ran the
> axiomatization through the filter, it generated thousands of errors.

Yup; that's what I see too...

>  From: Deborah McGuinness <>
> Subject: Re: submission to you-know-what
> Date: Wed, 12 Sep 2001 15:17:58 -0700
> > I hacked up a version of the html version of the axiomatic semantics following the
> > format that you have the other html text versions in.
> > It is available at:
> >
> >

indeed... bzillions of errors in there...

hmm... I can't seem to get the online tidy service to do anything
useful with it.

Dan Connolly, W3C

This archive was generated by hypermail 2.1.4 : 04/02/02 EST