Apologies if you get this announcement on more than one list.
Saxon 8.0 is now available, in two versions:
* as an open-source product (Saxon-B) from http://saxon.sf.net/
* as a commercial product (Saxon-SA) from http://www.saxonica.com/
Saxon-B aims to conform to the XSLT 2.0 definition of a "basic XSLT
processor", Saxon-SA to the definition of a "schema-aware XSLT processor".
Both products also have XPath and XQuery support.
The coverage of schema processing is fairly comprehensive. It allows you to
validate your source and result documents against a schema, and to use the
type information derived from schema processing in XPath expressions and
match patterns. I've become quite keen on the ability to validate the output
on-the-fly - it means that many stylesheet errors get reported and located
to the line where the code is wrong, rather than simply producing output
that doesn't validate.
It's not actually possible to purchase Saxon-SA yet (the shop isn't quite
finished), but you can get a free 30-day evaluation license.