Saxon 7.0 is available at http://saxon.sf.net/
This is an experimental implementation of the new XSLT 2.0 and XPath 2.0
working drafts, published today; it is not intended to replace Saxon 6.5,
which you should continue to use for production applications. There are some
summary notes on the new instructions, expressions, and functions in the
documentation pages, but for full detail you'll need to read the W3C specs.
Resources permitting, I hope to continue fixing any critical bugs in 6.5
until such time as XSLT 2.0 is finalized; at that time Saxon 7.x will become
mainstream. (But as always, I never make any commitments...)
Saxon 7.0 depends on JDK 1.2 or later, so the Instant Saxon build, which
relied on the Microsoft JVM, is no longer available.
Note that I've taken the opportunity to change the Java package names, the
namespace URI, etc: so read the changes.html file carefully.