]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/ls2html.xsl
Control panel added to CIC window
[helm.git] / helm / on-line / xslt / ls2html.xsl
index 4521eaaf46069aa55aa0d71ad576e87eb45d253c..606d750f827ba4fdd83ce6816c9e70fae8657f1f 100644 (file)
@@ -66,6 +66,7 @@
   <head>
    <title>Index of <xsl:value-of select="$uri"/></title>
    <xsl:copy-of select="document(concat($interfaceURL,'/javascript/control.js_xml'))" />
+   <xsl:copy-of select="document(concat($interfaceURL,'/javascript/utils.js_xml'))" />
   </head>
   <body bgcolor="#ffffff" text="#000000">
    <table>