[xslt] Problems with validation and xslt

[Alberto Sáez Torres <ast gbt tfo upm es>]

Hello.
I've some help with libxslt and xsltproc.

I have been working with saxon 7.2, and now I need to sure than the xsl 
stylesheet is cross-plataform.

I have 2 problems.

+first: xsltproc doesn't validate against a dtd.



+ second: with the next code:
(...)
  <xsl:when test="element-available('xsl:result-document')"> 

     <xsl:result-document href="{$Nombre_Fichero}"  format="xml">
     <xsl:fallback/>
       <xsl:copy-of select="$Nodo"/>
     </xsl:result-document>
  </xsl:when>
(...)
I get the error message:
compilation error: file ../base/curso2lecHTML.xsl line 34 element stylesheet
xsl:version: only 1.0 features are supported
compilation error: file ../base/general.xsl line 605 element result-document
xsltStylePreCompute: unknown xsl:result-document

Why?? I use element-avaiable and fallback; What is the problem??

Thanks a lot for your help

I have another question:

The xslt 2.0 spec is great. Why only saxon implements it ? (yes, I know 
that the spec isn't read yet, )