mailing-list for TeXmacs Users

["David G. Wonnacott" <address@hidden>]

I've been using TeXmacs to write more and more of the materials for my
courses, since this is more convenient than writing some of them with
something else and then converting the file when I decide I want to
add an equation or something else I'd rather do in TeXmacs.

I also put most of these materials on our web site, and try to keep
the web site HTML valid according to the W3C HTML validator at w3c.org.

Sadly, the HTML generated by "export HTML" in TeXmacs 1.0.5 on MacOS X
is not getting past this validator. For example the result of validating

   http://www.cs.haverford.edu/courses/cmsc350/Syllabus.html

is 12 errors as can be seen at

   
http://validator.w3.org/check?uri=http%3A%2F%2Fwww.cs.haverford.edu%2Fcourses%2Fcmsc350%2FSyllabus.html

I have come to expect this sort of thing from most wysiwyg HTML
editors and HTML exports from most word processors, but I had hoped
for better luck with TeXmacs.

Is there some other validator that I should be using? Has there been
any serious effort at validation of TeXmacs-exported HTML? Or should
I go back to writing web sites with Amaya (which I should also check)
and everything else with TeXmacs?

Dave W