]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/xslt/metadataControl.xsl
Major interface improvements.
[helm.git] / helm / on-line / xslt / metadataControl.xsl
1 <?xml version="1.0"?>
2
3 <xsl:stylesheet version="1.0"
4  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
5  xmlns:subst="http://www.cs.unibo.it/helm/subst">
6
7 <xsl:output 
8         method="xml"
9         encoding="iso-8859-1" 
10         media-type="text/html"
11         doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
12         doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" />
13
14 <xsl:include href="metadataLib.xsl"/>
15
16 </xsl:stylesheet>